Trace number 4308649

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)107644 2520.09 2454.63

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"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.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 143288657
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
6.32/2.81	c Parsing done, starting first complete search...
9.37/4.36	o 205239
9.37/4.36	o 205238
9.37/4.37	o 205229
9.37/4.37	o 205228
9.37/4.38	o 204339
9.37/4.38	o 204338
9.37/4.39	o 204328
9.37/4.39	o 203218
9.57/4.40	o 203217
9.57/4.40	o 203117
9.57/4.41	o 203017
9.57/4.42	o 201917
9.57/4.44	o 201118
9.57/4.44	o 201018
9.57/4.44	o 200918
9.57/4.46	o 200818
9.57/4.47	o 199828
9.57/4.48	o 199728
9.57/4.48	o 199718
9.86/4.50	o 199632
9.86/4.50	o 199629
9.86/4.51	o 199628
9.86/4.51	o 199618
9.86/4.54	o 199507
9.86/4.57	o 199506
10.04/4.62	o 199505
10.04/4.64	o 199417
10.04/4.65	o 199416
10.04/4.66	o 199406
10.04/4.67	o 199405
10.20/4.72	o 199396
10.20/4.73	o 199395
10.51/5.02	o 198608
10.51/5.03	o 198607
10.51/5.03	o 198507
10.51/5.03	o 198407
10.51/5.07	o 198406
10.51/5.08	o 198396
10.51/5.08	o 198395
10.83/5.33	o 198193
10.83/5.35	o 197193
10.83/5.37	o 197183
10.93/5.40	o 197108
10.93/5.41	o 197098
10.93/5.41	o 197096
10.93/5.41	o 197095
10.93/5.41	o 197094
10.93/5.47	o 196395
10.93/5.47	o 196298
10.93/5.47	o 196295
10.93/5.48	o 196294
10.93/5.49	o 196195
10.93/5.49	o 196194
10.93/5.49	o 196094
11.20/5.61	o 196093
11.20/5.62	o 196074
11.20/5.62	o 196073
11.60/6.00	o 195182
11.60/6.01	o 195181
11.60/6.01	o 195177
11.60/6.02	o 195176
11.60/6.02	o 195175
11.60/6.02	o 195165
11.60/6.02	o 195163
11.60/6.02	o 195162
11.60/6.03	o 195161
11.60/6.06	o 195072
12.88/7.22	o 194972
12.88/7.22	o 193972
13.00/7.34	o 193971
13.00/7.35	o 193970
13.00/7.35	o 193950
20.07/14.14	c First complete search done, starting ALNS search...
20.42/14.31	o 193503
20.42/14.32	o 193493
20.72/14.57	o 193483
21.20/14.97	o 193423
21.20/14.98	o 193413
21.20/14.99	o 193323
21.31/15.00	o 193313
21.31/15.01	o 193312
21.31/15.03	o 193303
21.31/15.04	o 193302
21.31/15.05	o 193222
21.31/15.06	o 193212
21.31/15.07	o 193202
21.31/15.09	o 193201
21.31/15.10	o 193122
21.43/15.11	o 193112
21.43/15.12	o 193111
21.43/15.13	o 193102
21.43/15.14	o 193101
21.43/15.16	o 193092
21.43/15.17	o 193012
21.43/15.18	o 193002
21.43/15.20	o 192992
21.53/15.21	o 192991
21.53/15.27	o 192983
21.53/15.28	o 192982
21.62/15.30	o 192972
21.62/15.32	o 192971
21.62/15.36	o 192970
21.62/15.39	o 192962
21.76/15.40	o 192961
21.76/15.42	o 192960
21.76/15.43	o 192959
21.76/15.46	o 192952
21.76/15.47	o 192951
21.76/15.48	o 192950
21.76/15.50	o 192949
21.86/15.53	o 192948
21.86/15.58	o 192947
21.96/15.60	o 192942
21.96/15.61	o 192941
21.96/15.62	o 192940
21.96/15.63	o 192939
21.96/15.64	o 192938
21.96/15.66	o 192932
21.96/15.67	o 192931
21.96/15.68	o 192930
21.96/15.70	o 192929
22.07/15.71	o 192928
22.07/15.75	o 192927
22.07/15.76	o 192921
22.07/15.77	o 192920
22.07/15.78	o 192919
22.07/15.79	o 192918
22.17/15.81	o 192917
22.17/15.85	o 192916
22.17/15.87	o 192912
22.17/15.88	o 192911
22.17/15.89	o 192910
22.29/15.90	o 192909
22.29/15.92	o 192908
22.29/15.93	o 192902
22.29/15.94	o 192901
22.29/15.95	o 192900
22.29/15.96	o 192899
22.29/15.98	o 192898
22.29/15.99	o 192897
22.39/16.03	o 192891
22.39/16.04	o 192890
22.39/16.05	o 192889
22.39/16.07	o 192888
22.39/16.08	o 192887
22.39/16.09	o 192886
22.81/16.46	o 192885
23.00/16.65	o 192881
23.00/16.66	o 192880
23.00/16.67	o 192871
23.00/16.69	o 192870
23.10/16.70	o 192869
23.10/16.72	o 192868
23.10/16.73	o 192861
23.10/16.74	o 192860
23.10/16.76	o 192859
23.10/16.77	o 192858
23.10/16.79	o 192851
23.20/16.80	o 192850
23.20/16.81	o 192849
23.20/16.82	o 192848
23.20/16.84	o 192847
23.20/16.86	o 192846
23.20/16.88	o 192845
23.31/16.91	o 192412
23.42/17.05	o 191511
23.42/17.09	o 191501
23.53/17.12	o 191500
23.53/17.14	o 191499
23.53/17.17	o 191498
23.64/17.24	o 191412
23.64/17.24	o 191411
23.64/17.25	o 191410
23.64/17.26	o 191409
23.64/17.26	o 191402
24.58/17.80	o 191401
24.58/17.81	o 191400
24.58/17.83	o 191399
24.58/17.84	o 191391
24.58/17.85	o 191390
24.58/17.85	o 191389
24.58/17.86	o 191201
24.58/17.87	o 191200
24.58/17.87	o 191199
24.58/17.89	o 190202
24.58/17.89	o 190201
24.68/17.90	o 190200
24.68/17.91	o 190199
24.68/17.92	o 189212
24.68/17.93	o 189211
24.68/17.93	o 189210
24.68/17.94	o 189202
24.68/17.95	o 189201
24.68/17.96	o 189200
27.52/20.48	o 189199
27.52/20.49	o 189198
27.52/20.49	o 189197
27.75/20.50	o 189196
27.75/20.52	o 189195
27.75/20.54	o 189194
27.75/20.55	o 189193
27.75/20.56	o 189190
27.75/20.56	o 189189
27.75/20.58	o 189188
27.75/20.59	o 189187
27.90/20.60	o 189186
27.90/20.61	o 189185
27.90/20.63	o 189184
27.90/20.64	o 189183
27.90/20.65	o 189182
27.90/20.67	o 189181
27.90/20.69	o 189180
28.00/20.71	o 189179
28.68/21.30	o 189090
28.68/21.31	o 189089
28.68/21.32	o 189080
28.68/21.33	o 189079
28.68/21.34	o 189070
28.68/21.35	o 189069
28.68/21.35	o 189060
28.68/21.36	o 189059
28.68/21.37	o 189049
28.68/21.38	o 189048
28.68/21.39	o 189047
28.78/21.40	o 189046
28.78/21.41	o 189037
28.78/21.42	o 189036
28.78/21.44	o 188298
28.78/21.45	o 188288
28.78/21.47	o 188278
28.78/21.47	o 188268
28.78/21.49	o 188267
28.88/21.50	o 188266
28.88/21.51	o 188265
28.88/21.52	o 188190
28.88/21.54	o 188180
28.88/21.55	o 188170
28.88/21.56	o 188160
28.88/21.57	o 188159
28.88/21.58	o 188158
28.88/21.60	o 188148
28.98/21.61	o 188147
28.98/21.62	o 188146
28.98/21.63	o 188137
28.98/21.64	o 188136
28.98/21.69	o 188135
29.08/21.72	o 188134
29.08/21.74	o 188091
29.08/21.75	o 188090
29.08/21.76	o 188089
29.08/21.76	o 188088
29.08/21.77	o 188081
29.25/21.81	o 188080
29.25/21.82	o 188079
29.25/21.82	o 188078
29.25/21.83	o 188069
29.25/21.84	o 188068
29.25/21.85	o 188059
29.25/21.85	o 188058
29.25/21.86	o 188049
29.25/21.87	o 188048
29.25/21.88	o 188038
29.25/21.89	o 188037
29.38/21.91	o 188036
29.38/21.92	o 188035
29.38/21.95	o 187191
29.38/21.95	o 187181
29.38/21.96	o 187180
29.38/21.97	o 187171
29.38/21.98	o 187170
29.38/21.99	o 187161
29.38/21.99	o 187160
29.48/22.00	o 187150
29.48/22.01	o 187149
29.48/22.03	o 187148
29.48/22.04	o 187147
29.48/22.05	o 187146
29.48/22.06	o 187138
29.48/22.07	o 187137
29.48/22.08	o 187136
29.48/22.09	o 187135
29.59/22.11	o 187101
29.59/22.12	o 187091
29.59/22.13	o 187090
29.59/22.14	o 187089
29.59/22.15	o 187088
29.59/22.16	o 187081
29.59/22.17	o 187080
29.59/22.17	o 187071
29.59/22.18	o 187070
29.59/22.19	o 187069
29.59/22.20	o 187068
29.69/22.21	o 187060
29.69/22.22	o 187059
29.69/22.23	o 187058
29.69/22.24	o 187057
29.69/22.25	o 186201
29.69/22.25	o 186191
29.69/22.27	o 186181
29.69/22.27	o 186171
29.69/22.28	o 186170
29.69/22.29	o 186160
29.78/22.31	o 186159
29.78/22.32	o 186158
29.78/22.33	o 186157
29.78/22.34	o 186156
29.78/22.35	o 186148
29.78/22.36	o 186147
29.78/22.37	o 186146
29.78/22.38	o 186145
29.88/22.40	o 186000
29.88/22.42	o 185999
29.88/22.43	o 185990
29.88/22.44	o 185989
29.88/22.45	o 185980
29.88/22.46	o 185970
29.88/22.47	o 185969
29.88/22.48	o 185968
29.88/22.48	o 185959
29.88/22.49	o 185958
29.98/22.50	o 185957
29.98/22.51	o 185956
29.98/22.53	o 185100
29.98/22.54	o 185090
29.98/22.56	o 185089
29.98/22.57	o 185080
29.98/22.57	o 185070
29.98/22.59	o 185069
30.09/22.60	o 185059
30.09/22.61	o 185058
30.09/22.63	o 185057
30.09/22.64	o 185056
30.09/22.66	o 185001
30.09/22.67	o 185000
30.09/22.68	o 184991
30.09/22.69	o 184990
30.21/22.70	o 184981
30.21/22.71	o 184980
30.21/22.72	o 184971
30.21/22.73	o 184970
30.21/22.74	o 184960
30.21/22.75	o 184959
30.21/22.76	o 184958
30.21/22.77	o 184957
30.21/22.78	o 184101
30.21/22.79	o 184081
30.33/22.80	o 184080
30.33/22.81	o 184071
30.33/22.82	o 184070
30.33/22.83	o 184060
30.33/22.85	o 184059
30.33/22.86	o 184058
30.33/22.87	o 184057
30.33/22.89	o 184056
30.43/22.90	o 184055
30.43/22.91	o 184048
30.43/22.92	o 184047
30.43/22.93	o 184046
30.43/22.94	o 184045
30.43/22.97	o 184000
30.43/22.98	o 183999
30.43/22.99	o 183998
30.53/23.00	o 183997
30.53/23.01	o 183980
30.53/23.02	o 183979
30.53/23.03	o 183978
30.53/23.04	o 183977
30.53/23.06	o 183970
30.53/23.06	o 183969
30.53/23.07	o 183968
30.53/23.08	o 183967
30.53/23.10	o 183966
30.64/23.11	o 183959
30.64/23.11	o 183958
30.64/23.12	o 183957
30.64/23.13	o 183956
30.64/23.15	o 183950
30.64/23.16	o 183949
30.64/23.17	o 183948
30.64/23.17	o 183947
30.64/23.19	o 183001
30.64/23.19	o 183000
30.64/23.20	o 182999
30.74/23.21	o 182991
30.74/23.22	o 182990
30.74/23.23	o 182989
30.74/23.25	o 182988
30.74/23.26	o 182980
30.74/23.26	o 182979
30.74/23.28	o 182978
30.74/23.29	o 182977
30.84/23.30	o 182971
30.84/23.31	o 182970
30.84/23.32	o 182969
30.84/23.33	o 182968
30.84/23.34	o 182967
30.84/23.35	o 182960
30.84/23.36	o 182959
30.84/23.37	o 182958
30.84/23.38	o 182957
30.94/23.40	o 182956
30.94/23.42	o 182955
30.94/23.42	o 182948
30.94/23.43	o 182947
30.94/23.44	o 182946
30.94/23.45	o 182945
30.94/23.47	o 182901
30.94/23.48	o 182900
30.94/23.49	o 182891
31.04/23.50	o 182890
31.04/23.51	o 182880
31.04/23.52	o 182879
31.04/23.53	o 182871
31.04/23.54	o 182870
31.04/23.55	o 182860
31.04/23.56	o 182859
31.04/23.57	o 182858
31.04/23.58	o 182857
31.04/23.59	o 182856
31.14/23.61	o 182855
31.14/23.62	o 182854
31.14/23.63	o 182848
31.14/23.64	o 182847
31.14/23.65	o 182846
31.14/23.66	o 182845
31.14/23.67	o 182844
31.14/23.69	o 182837
31.24/23.70	o 182836
31.24/23.71	o 182835
31.24/23.72	o 182834
31.34/23.80	o 182833
31.34/23.81	o 182832
31.34/23.82	o 182831
31.34/23.85	o 182000
31.34/23.86	o 181999
31.34/23.87	o 181998
31.34/23.88	o 181990
31.34/23.88	o 181989
31.34/23.89	o 181988
31.44/23.90	o 181987
31.44/23.91	o 181900
31.44/23.92	o 181899
31.44/23.93	o 181890
31.44/23.94	o 181889
31.44/23.95	o 181888
31.44/23.95	o 181887
31.44/23.97	o 181886
31.44/23.98	o 181879
31.44/23.99	o 181878
31.54/24.00	o 181877
31.54/24.01	o 181876
31.54/24.02	o 181875
31.54/24.03	o 181868
31.54/24.04	o 181867
31.54/24.05	o 181866
31.54/24.06	o 181865
31.54/24.07	o 181864
31.54/24.08	o 181859
31.54/24.09	o 181858
31.54/24.10	o 181857
31.66/24.11	o 181856
31.66/24.12	o 181855
31.66/24.13	o 181848
31.66/24.14	o 181847
31.66/24.15	o 181846
31.66/24.16	o 181845
31.66/24.17	o 181844
31.66/24.19	o 181843
31.66/24.20	o 181842
31.76/24.23	o 181836
31.76/24.24	o 181835
31.76/24.25	o 181834
31.76/24.26	o 181833
31.76/24.28	o 181832
31.85/24.39	o 181780
31.95/24.40	o 181779
31.95/24.41	o 181778
31.95/24.42	o 181777
31.95/24.44	o 181769
31.95/24.45	o 181768
31.95/24.46	o 181767
31.95/24.47	o 181766
31.95/24.48	o 181759
31.95/24.49	o 181758
32.05/24.50	o 181757
32.05/24.52	o 181756
32.05/24.53	o 181750
32.05/24.54	o 181749
32.05/24.55	o 181748
32.05/24.56	o 181747
32.05/24.57	o 181746
32.05/24.58	o 181739
32.05/24.59	o 181738
32.15/24.60	o 181737
32.15/24.61	o 181736
32.15/24.68	o 181735
32.15/24.69	o 181734
32.39/24.70	o 181733
32.39/24.72	o 181728
32.39/24.73	o 181727
32.39/24.74	o 181726
32.39/24.75	o 181725
32.39/24.76	o 181724
32.39/24.77	o 181723
32.39/24.79	o 181722
32.50/24.80	o 181716
32.50/24.81	o 181715
32.50/24.82	o 181714
32.50/24.83	o 181713
32.50/24.85	o 181712
32.60/24.99	o 181106
32.70/25.01	o 181096
32.70/25.02	o 181095
32.70/25.03	o 181085
32.70/25.05	o 181084
32.70/25.06	o 181076
32.70/25.08	o 181075
32.70/25.09	o 181065
32.70/25.10	o 181064
32.81/25.12	o 181063
32.81/25.14	o 181062
32.81/25.17	o 180986
32.81/25.18	o 180985
32.81/25.19	o 180976
32.81/25.20	o 180975
39.12/31.25	o 180093
39.12/31.27	o 180092
39.12/31.29	o 180091
45.94/37.57	o 180002
45.94/37.58	o 179992
45.94/37.59	o 179991
46.05/37.60	o 179982
46.05/37.61	o 179981
46.05/37.64	o 179901
46.05/37.64	o 179891
46.05/37.65	o 179890
46.15/37.70	o 179202
46.15/37.71	o 179192
46.15/37.72	o 179182
46.15/37.73	o 179181
46.15/37.74	o 179002
46.15/37.75	o 178992
46.15/37.76	o 178991
46.15/37.77	o 178982
46.15/37.78	o 178981
46.15/37.79	o 178901
46.25/37.80	o 178891
46.25/37.81	o 178890
46.25/37.82	o 178882
46.25/37.83	o 178881
46.35/37.93	o 178871
46.35/37.95	o 178870
46.45/38.00	o 177982
46.45/38.01	o 177972
46.45/38.02	o 177962
46.45/38.04	o 177881
46.45/38.05	o 177871
46.45/38.06	o 177870
46.45/38.08	o 177862
46.45/38.08	o 177861
46.56/38.13	o 177780
46.56/38.14	o 177770
46.56/38.18	o 177761
46.76/38.30	o 177680
46.76/38.32	o 177670
46.76/38.37	o 177661
46.96/38.56	o 177660
47.06/38.62	o 177651
50.26/41.84	o 177181
50.26/41.85	o 177171
50.26/41.86	o 177170
50.26/41.87	o 177080
50.26/41.89	o 177070
50.36/41.93	o 176981
50.36/41.94	o 176971
50.36/41.94	o 176970
50.36/41.95	o 176880
50.36/41.97	o 176870
50.46/42.04	o 176861
51.26/42.84	o 176780
51.26/42.85	o 176770
51.26/42.87	o 176760
51.37/42.98	o 176751
57.97/49.48	o 176742
57.97/49.49	o 176741
58.11/49.50	o 175752
58.11/49.51	o 175751
58.11/49.53	o 175742
58.11/49.54	o 175741
58.11/49.55	o 174752
58.11/49.57	o 174751
59.23/50.65	o 174744
59.34/50.71	o 174743
59.34/50.76	o 174735
59.46/50.80	o 174734
59.46/50.83	o 174733
59.56/50.92	o 174725
59.56/50.95	o 174724
59.56/50.99	o 174723
59.66/51.04	o 174714
59.66/51.08	o 174713
59.87/51.23	o 174705
59.87/51.26	o 174704
59.87/51.29	o 174703
60.96/52.37	o 174702
62.36/53.72	o 173955
62.36/53.78	o 173954
62.46/53.84	o 173953
62.56/53.90	o 173952
62.56/53.96	o 173854
62.66/54.02	o 173853
62.66/54.07	o 173852
62.66/54.10	o 173851
62.77/54.16	o 173754
62.77/54.18	o 173753
62.77/54.21	o 173752
62.87/54.23	o 173751
62.96/54.30	o 173735
62.96/54.32	o 173734
62.96/54.34	o 173733
62.96/54.36	o 173732
62.96/54.38	o 173731
63.06/54.45	o 173725
63.06/54.47	o 173724
63.06/54.49	o 173723
63.16/54.51	o 173722
63.16/54.53	o 173721
63.16/54.59	o 173715
63.26/54.61	o 173714
63.26/54.63	o 173713
63.26/54.65	o 173712
63.26/54.67	o 173711
63.36/54.74	o 173705
63.36/54.76	o 173704
63.36/54.77	o 173703
63.36/54.79	o 173702
63.46/54.81	o 173701
63.56/54.91	o 173654
63.56/54.97	o 173653
63.66/55.03	o 173652
63.66/55.10	o 173645
63.77/55.16	o 173644
63.87/55.22	o 173643
63.87/55.28	o 173642
63.96/55.34	o 173634
64.06/55.40	o 173633
64.06/55.46	o 173632
64.16/55.52	o 173625
64.16/55.58	o 173624
64.26/55.64	o 173623
64.26/55.69	o 173622
64.36/55.76	o 173615
64.46/55.82	o 173614
64.46/55.87	o 173613
64.56/55.93	o 173612
64.56/56.00	o 173604
64.66/56.05	o 173603
64.77/56.11	o 173602
64.77/56.14	o 173601
64.87/56.21	o 173594
64.87/56.27	o 173593
64.96/56.33	o 173592
64.96/56.35	o 173591
65.06/56.45	o 172955
65.06/56.48	o 172954
65.16/56.53	o 172855
65.16/56.55	o 172854
65.26/56.61	o 172835
65.26/56.64	o 172834
65.26/56.69	o 172825
65.36/56.72	o 172824
65.36/56.74	o 172823
65.36/56.76	o 172822
65.46/56.82	o 172815
65.46/56.84	o 172814
65.46/56.86	o 172813
65.46/56.88	o 172812
65.56/56.94	o 172805
65.56/56.97	o 172804
65.56/56.98	o 172803
65.66/57.00	o 172802
65.66/57.06	o 172754
65.77/57.12	o 172744
65.77/57.18	o 172734
65.87/57.24	o 172724
65.96/57.30	o 172723
65.96/57.37	o 172715
66.06/57.42	o 172714
66.06/57.48	o 172713
66.16/57.50	o 172712
66.16/57.56	o 172705
66.16/57.58	o 172704
66.26/57.60	o 172703
66.26/57.62	o 172702
66.26/57.64	o 172701
66.36/57.73	o 172654
66.36/57.76	o 172653
66.36/57.78	o 172652
66.46/57.85	o 172644
66.46/57.87	o 172643
66.46/57.89	o 172642
68.57/59.81	o 172641
68.57/59.84	o 172541
68.57/59.87	o 172540
68.82/59.96	o 171642
68.82/59.98	o 171542
68.92/60.00	o 171541
68.92/60.05	o 171540
71.66/62.72	o 170664
71.66/62.77	o 170564
71.76/62.83	o 170563
71.86/62.91	o 170562
71.86/62.98	o 170561
72.06/63.13	o 170560
72.17/63.21	o 170559
72.66/63.73	o 170554
72.66/63.78	o 170553
72.76/63.83	o 170552
72.76/63.89	o 170551
72.86/63.99	o 170550
72.96/64.10	o 170549
73.84/64.81	o 170548
74.04/65.01	o 170544
74.04/65.07	o 170543
74.15/65.12	o 170542
74.15/65.18	o 170541
74.25/65.23	o 170540
74.34/65.31	o 170539
74.44/65.43	o 170538
75.55/66.58	o 170534
75.65/66.66	o 170533
75.75/66.72	o 170532
75.85/66.80	o 170531
75.85/66.86	o 170530
75.95/66.96	o 170529
76.05/67.08	o 170528
77.16/68.14	o 170523
77.16/68.18	o 170522
77.26/68.25	o 170521
77.35/68.32	o 170520
77.45/68.41	o 170519
77.55/68.52	o 170518
77.65/68.66	o 170517
78.16/69.12	o 170463
78.16/69.17	o 170462
78.26/69.22	o 170461
78.26/69.28	o 170453
78.35/69.33	o 170452
78.35/69.38	o 170451
78.45/69.44	o 170450
78.45/69.49	o 170443
78.55/69.55	o 170442
78.55/69.59	o 170441
78.65/69.64	o 170440
78.75/69.71	o 170433
78.75/69.75	o 170432
78.85/69.80	o 170431
78.85/69.85	o 170430
78.95/69.93	o 170422
78.95/69.98	o 170421
79.05/70.03	o 170420
79.05/70.10	o 170419
79.16/70.16	o 170418
79.26/70.25	o 170417
79.35/70.38	o 170416
80.75/71.69	o 170415
82.96/73.81	o 170414
83.07/73.91	o 170413
83.07/73.99	o 170404
83.49/74.37	o 170400
83.59/74.46	o 170399
83.69/74.56	o 170398
83.79/74.69	o 170397
83.99/74.81	o 170396
84.10/74.96	o 170395
84.31/75.12	o 170394
84.41/75.24	o 170393
84.60/75.41	o 170392
102.25/92.46	o 170272
102.35/92.52	o 170270
102.85/93.07	o 170081
102.96/93.11	o 170079
102.96/93.15	o 169272
102.96/93.18	o 169270
107.90/98.01	o 169250
107.90/98.05	o 169248
130.10/120.14	o 169212
130.79/120.87	o 169202
130.99/121.06	o 169201
131.10/121.13	o 169200
131.20/121.28	o 169112
131.29/121.34	o 169102
131.39/121.41	o 169101
131.59/121.68	o 169092
131.69/121.75	o 169091
132.39/122.45	o 169082
132.49/122.54	o 169081
133.00/123.05	o 169080
134.00/124.09	o 169079
134.21/124.25	o 169071
134.30/124.33	o 169070
134.40/124.42	o 169069
134.50/124.60	o 169012
134.60/124.66	o 169002
134.70/124.74	o 168992
134.80/124.83	o 168982
134.90/124.92	o 168981
135.00/125.01	o 168980
138.13/128.17	o 168890
138.62/128.67	o 168889
138.92/128.90	o 168880
138.92/128.95	o 168879
142.54/132.53	o 168878
142.54/132.56	o 168877
147.06/137.00	o 167890
147.06/137.05	o 167880
147.06/137.10	o 167879
149.86/139.84	o 167878
149.86/139.88	o 167877
156.23/146.15	o 167876
156.43/146.32	o 167866
156.43/146.35	o 167865
156.53/146.40	o 167864
156.53/146.47	o 167863
156.63/146.59	o 167856
156.79/146.62	o 167855
156.79/146.68	o 167845
159.10/148.85	o 167745
159.20/148.95	o 166844
159.20/148.99	o 166744
182.34/171.92	o 166730
182.44/172.10	o 166729
182.55/172.19	o 166720
182.65/172.27	o 166719
182.74/172.36	o 166718
182.85/172.49	o 166717
184.45/174.03	o 166350
184.56/174.11	o 166349
184.56/174.18	o 166250
184.66/174.26	o 166249
184.75/174.33	o 166248
184.85/174.44	o 166240
184.95/174.51	o 166239
184.95/174.58	o 166238
185.15/174.71	o 166231
185.15/174.78	o 166230
185.35/174.91	o 166221
185.45/175.00	o 166220
185.56/175.13	o 166150
185.67/175.23	o 166149
185.76/175.34	o 166148
185.86/175.44	o 166147
185.97/175.53	o 166140
186.07/175.60	o 166139
186.17/175.70	o 166138
186.27/175.80	o 166137
186.37/175.91	o 166131
186.37/175.98	o 166130
186.47/176.08	o 166129
186.57/176.17	o 166121
186.67/176.24	o 166120
186.77/176.34	o 166119
186.87/176.47	o 166118
186.97/176.58	o 166049
187.07/176.67	o 166048
187.17/176.78	o 166047
187.28/176.89	o 166039
187.38/176.98	o 166038
187.47/177.08	o 166037
187.68/177.21	o 166030
187.78/177.31	o 166029
187.88/177.42	o 166020
187.98/177.52	o 166019
188.18/177.71	o 165949
188.28/177.81	o 165948
188.38/177.93	o 165947
188.47/178.03	o 165939
188.59/178.14	o 165938
188.69/178.24	o 165937
188.78/178.38	o 165936
188.88/178.49	o 165930
188.98/178.57	o 165920
189.08/178.69	o 165919
189.28/178.81	o 165918
189.38/178.95	o 165849
189.48/179.03	o 165839
189.59/179.15	o 165838
189.69/179.27	o 165837
189.88/179.40	o 165830
189.88/179.48	o 165829
189.98/179.57	o 165820
190.10/179.65	o 165819
190.20/179.77	o 165818
190.40/179.93	o 165749
190.50/180.04	o 165748
190.60/180.12	o 165739
190.70/180.22	o 165738
190.80/180.33	o 165737
191.00/180.56	o 165730
191.10/180.65	o 165720
191.20/180.73	o 165719
191.30/180.87	o 165718
199.58/189.07	o 165717
199.89/189.34	o 165707
200.29/189.71	o 165697
200.39/189.82	o 165696
200.39/189.87	o 165695
243.06/231.85	o 164815
243.16/231.90	o 164805
243.16/231.96	o 164795
243.57/232.35	o 164785
244.50/233.24	o 164586
244.50/233.26	o 164585
244.70/233.45	o 163897
244.70/233.47	o 163896
244.70/233.49	o 163895
244.80/233.54	o 163696
244.80/233.57	o 163695
257.84/246.35	o 163692
258.04/246.51	o 163682
258.14/246.69	o 163672
258.34/246.88	o 163662
258.55/247.10	o 163652
258.86/247.31	o 163642
260.28/248.71	o 163641
260.48/248.98	o 163633
260.70/249.15	o 163632
260.89/249.30	o 163631
264.15/252.50	o 163621
265.89/254.24	o 163620
267.76/256.01	o 163618
268.27/256.54	o 163617
268.37/256.69	o 163608
268.57/256.83	o 163598
268.89/257.15	o 163517
268.99/257.29	o 163507
269.18/257.41	o 163497
269.28/257.57	o 163487
269.39/257.68	o 163477
270.09/258.37	o 163467
271.32/259.57	o 162948
271.42/259.67	o 162938
271.52/259.78	o 162837
271.62/259.89	o 162827
271.83/260.01	o 162826
271.94/260.14	o 162825
272.24/260.45	o 162735
272.34/260.57	o 162725
272.64/260.89	o 162715
273.08/261.29	o 162705
273.25/261.43	o 162695
273.77/261.96	o 162685
274.79/262.94	o 162646
274.89/263.06	o 162636
275.10/263.28	o 162626
275.19/263.38	o 162616
275.70/263.88	o 162606
276.92/265.03	o 162327
277.03/265.15	o 162317
277.13/265.28	o 162227
277.33/265.40	o 162217
277.63/265.78	o 161327
277.73/265.88	o 161317
277.83/265.97	o 161227
277.93/266.07	o 161217
278.34/266.49	o 161207
278.55/266.63	o 161197
279.16/267.21	o 161187
280.78/268.81	o 161177
280.89/269.00	o 161167
282.82/270.84	o 161157
284.76/272.79	o 161156
288.74/276.62	o 161046
289.46/277.38	o 160946
289.86/277.75	o 160945
290.06/277.91	o 160944
290.16/278.01	o 160943
290.27/278.13	o 160934
290.37/278.24	o 160933
290.47/278.31	o 160932
305.48/293.11	o 160930
305.68/293.32	o 160929
305.88/293.54	o 160928
306.08/293.74	o 160927
306.39/294.04	o 160926
306.69/294.36	o 160925
307.09/294.70	o 160924
307.50/295.15	o 160923
308.00/295.66	o 160922
308.91/296.59	o 160921
310.32/297.91	o 160920
313.16/300.71	o 160704
314.78/302.34	o 160694
319.36/306.80	o 160685
319.46/306.90	o 160684
319.67/307.20	o 160585
321.71/309.11	o 160575
321.71/309.16	o 160565
343.33/330.35	o 160564
343.33/330.39	o 160563
343.43/330.47	o 160562
343.53/330.57	o 159564
343.63/330.62	o 159563
344.51/331.34	o 159482
344.61/331.40	o 159472
344.71/331.52	o 159471
344.85/331.63	o 159470
344.95/331.75	o 159469
345.15/331.92	o 159468
345.36/332.15	o 159462
345.36/332.18	o 159461
345.56/332.35	o 159460
345.76/332.52	o 159459
345.86/332.69	o 159458
346.17/332.97	o 159457
346.47/333.22	o 159456
347.07/333.80	o 159455
347.27/334.09	o 159375
347.48/334.23	o 159374
349.40/336.14	o 159373
350.19/336.96	o 159364
350.29/337.02	o 159363
350.60/337.38	o 159344
350.70/337.42	o 159334
350.80/337.52	o 159333
351.00/337.77	o 159332
351.20/337.91	o 159273
351.20/337.96	o 159272
351.42/338.11	o 159263
351.42/338.18	o 159262
351.61/338.34	o 159243
351.71/338.40	o 159242
351.71/338.46	o 159233
351.81/338.52	o 159232
351.91/338.67	o 159231
352.01/338.79	o 159182
352.12/338.84	o 159181
352.32/339.00	o 159172
352.32/339.07	o 159171
352.53/339.23	o 159152
352.53/339.29	o 159151
352.62/339.35	o 159142
352.72/339.41	o 159141
354.73/341.45	o 159133
354.93/341.64	o 159123
355.13/341.85	o 159122
355.33/342.03	o 159113
355.54/342.21	o 159112
357.65/344.38	o 157925
357.85/344.56	o 157915
358.05/344.74	o 157825
358.25/344.91	o 157815
358.96/345.67	o 157814
359.87/346.57	o 157807
360.07/346.75	o 157806
360.27/346.93	o 157797
360.37/347.09	o 157796
361.59/348.24	o 157715
361.68/348.39	o 157714
361.88/348.53	o 157705
361.98/348.68	o 157704
362.18/348.85	o 157615
362.39/349.03	o 157605
362.50/349.19	o 157604
362.99/349.62	o 157597
363.09/349.78	o 157596
363.29/349.95	o 157587
363.50/350.11	o 157586
366.91/353.55	o 157507
367.11/353.70	o 157506
367.21/353.85	o 157497
367.41/354.00	o 157496
367.52/354.16	o 157407
367.71/354.33	o 157397
367.91/354.50	o 157396
372.75/359.38	o 157387
372.85/359.48	o 157386
373.15/359.76	o 157377
373.25/359.85	o 157376
373.35/359.97	o 157367
373.45/360.07	o 157366
377.71/364.19	o 157265
377.90/364.31	o 157255
378.01/364.41	o 156165
378.01/364.48	o 156155
378.11/364.58	o 156075
378.21/364.63	o 156065
378.31/364.74	o 156054
378.41/364.83	o 155964
378.51/364.92	o 155954
378.82/365.22	o 155155
378.82/365.29	o 155065
378.92/365.38	o 154954
379.42/365.81	o 154953
380.24/366.62	o 154942
380.44/366.89	o 154931
381.87/368.24	o 154930
381.96/368.35	o 154835
382.06/368.40	o 154834
382.06/368.46	o 154833
382.16/368.52	o 154832
382.16/368.58	o 154831
382.26/368.66	o 154830
382.37/368.76	o 153935
382.47/368.82	o 153934
382.47/368.89	o 153933
382.57/368.95	o 153932
382.67/369.01	o 153931
382.67/369.08	o 153835
382.77/369.14	o 153834
382.77/369.18	o 153833
382.88/369.24	o 153832
382.88/369.29	o 153831
387.73/374.10	o 153743
387.95/374.27	o 153742
388.14/374.45	o 153741
388.34/374.64	o 153733
388.54/374.82	o 153732
388.74/375.04	o 153731
388.95/375.28	o 152834
389.15/375.46	o 152833
389.35/375.64	o 152832
389.55/375.82	o 152824
389.66/375.99	o 152823
389.87/376.18	o 152822
390.27/376.52	o 152813
390.47/376.72	o 152803
392.09/378.36	o 152722
392.29/378.57	o 152712
393.31/379.56	o 151813
393.51/379.75	o 151803
394.63/380.88	o 151793
396.36/382.58	o 151729
396.56/382.79	o 151719
396.87/383.05	o 151709
397.09/383.29	o 151629
397.38/383.50	o 151619
397.58/383.77	o 151609
398.10/384.25	o 150820
398.30/384.44	o 150810
398.60/384.71	o 150800
398.81/384.96	o 150720
399.02/385.13	o 150710
399.22/385.38	o 150700
400.65/386.76	o 150699
400.95/387.00	o 150689
401.16/387.22	o 150609
401.26/387.38	o 150599
401.56/387.62	o 150589
404.52/390.48	o 150490
404.72/390.60	o 150489
404.93/390.88	o 150488
405.95/391.82	o 149469
405.95/391.88	o 149468
406.05/391.97	o 149369
406.16/392.02	o 149368
407.58/393.44	o 148568
407.68/393.53	o 148468
412.15/397.94	o 147477
412.15/397.99	o 147467
412.56/398.34	o 147466
413.44/399.13	o 147465
413.75/399.46	o 147461
413.75/399.48	o 147460
413.85/399.52	o 147459
414.62/399.89	o 147458
414.93/400.02	o 147457
415.04/400.15	o 147450
415.14/400.23	o 147449
415.23/400.35	o 147448
415.34/400.47	o 147447
415.54/400.65	o 147446
415.74/400.86	o 147445
416.15/401.27	o 146437
416.25/401.32	o 146436
428.14/413.13	o 146435
429.04/414.09	o 146425
429.15/414.19	o 146416
429.25/414.29	o 146415
429.44/414.46	o 146414
429.54/414.58	o 146406
429.64/414.69	o 146405
432.57/417.50	o 146355
432.67/417.68	o 146354
432.87/417.87	o 146345
433.08/418.06	o 146344
433.29/418.27	o 146335
433.48/418.46	o 146334
433.78/418.73	o 146325
433.98/418.92	o 146324
434.08/419.10	o 146315
434.30/419.27	o 146314
434.49/419.48	o 146306
434.69/419.67	o 146305
443.97/428.81	o 146295
466.03/450.54	o 146285
471.47/455.86	o 146195
484.23/468.34	o 145779
484.43/468.52	o 145769
484.53/468.68	o 145759
484.84/468.90	o 145758
485.05/469.12	o 145757
485.35/469.42	o 145750
485.45/469.58	o 145749
485.76/469.81	o 145748
485.96/470.08	o 145747
505.65/489.34	o 145740
507.61/491.25	o 145738
508.82/492.46	o 145737
518.42/501.81	o 145736
526.78/510.07	o 145735
526.89/510.15	o 145726
526.99/510.22	o 145725
527.08/510.37	o 145716
527.28/510.51	o 145715
527.69/510.98	o 144725
527.91/511.18	o 144715
528.10/511.38	o 144714
528.42/511.67	o 144705
528.62/511.85	o 143725
528.72/511.99	o 143715
529.03/512.24	o 143714
531.48/514.54	o 143713
531.88/514.94	o 143712
532.70/515.79	o 143622
533.41/516.41	o 143523
534.52/517.59	o 143512
535.02/518.03	o 143423
535.24/518.27	o 143412
536.44/519.45	o 143313
536.54/519.51	o 143312
536.64/519.68	o 143311
537.15/520.18	o 143301
538.86/521.87	o 143291
539.19/522.16	o 143290
540.08/523.01	o 142302
540.08/523.06	o 142301
540.19/523.13	o 142300
553.78/536.56	o 142201
553.87/536.63	o 142200
554.50/537.28	o 142199
554.69/537.43	o 141220
554.69/537.46	o 141219
554.69/537.49	o 141210
554.79/537.55	o 141209
554.90/537.61	o 141200
554.90/537.68	o 141199
598.25/580.17	o 141185
598.36/580.26	o 141163
598.45/580.37	o 141143
601.87/583.64	o 141142
602.28/584.03	o 141043
602.28/584.04	o 141042
603.10/584.85	o 141034
603.20/584.96	o 141033
603.41/585.18	o 140144
603.52/585.28	o 140143
603.61/585.36	o 140134
603.71/585.46	o 140133
604.12/585.86	o 140132
604.53/586.26	o 140044
604.63/586.37	o 140034
604.73/586.49	o 140033
606.57/588.22	o 139134
606.66/588.34	o 139034
606.78/588.48	o 139024
606.98/588.61	o 139023
607.08/588.80	o 138045
607.18/588.80	o 138044
607.18/588.83	o 138043
607.18/588.87	o 138035
607.18/588.88	o 138034
607.30/588.90	o 138033
616.97/598.50	o 138032
628.01/609.28	o 138022
628.10/609.39	o 138012
629.04/610.29	o 137993
629.33/610.52	o 137992
630.27/611.47	o 137990
630.37/611.56	o 136990
630.47/611.66	o 136091
630.57/611.77	o 135990
631.39/612.57	o 135980
631.70/612.84	o 135979
632.12/613.28	o 135978
635.77/616.85	o 135170
635.97/617.02	o 135070
636.08/617.17	o 135069
636.38/617.40	o 135068
636.79/617.83	o 135060
636.89/617.97	o 135059
637.10/618.17	o 135058
637.70/618.73	o 134970
637.92/618.96	o 134969
638.13/619.20	o 134968
641.70/622.65	o 134898
642.01/622.93	o 134897
642.21/623.16	o 134888
642.41/623.38	o 134887
643.33/624.23	o 134797
643.42/624.36	o 134787
643.62/624.51	o 134786
643.82/624.76	o 134776
645.85/626.70	o 134766
645.96/626.80	o 134756
646.27/627.15	o 134755
646.37/627.25	o 134754
646.77/627.62	o 133886
646.87/627.73	o 133876
648.81/629.64	o 133875
649.02/629.80	o 133874
650.65/631.49	o 133865
650.74/631.56	o 133767
650.84/631.66	o 133766
650.94/631.77	o 133765
657.79/638.45	o 133710
658.30/638.96	o 133700
658.52/639.20	o 133690
658.92/639.57	o 133610
659.13/639.72	o 133600
659.23/639.87	o 133590
659.65/640.24	o 133589
660.15/640.70	o 133579
660.25/640.86	o 133569
662.39/642.92	o 133568
662.50/643.07	o 133558
667.08/647.54	o 133557
670.66/651.08	o 133556
672.81/653.18	o 133546
673.74/654.05	o 133536
675.09/655.32	o 133526
675.41/655.62	o 133525
675.71/655.97	o 133516
676.12/656.31	o 133515
676.43/656.65	o 133426
676.74/656.99	o 133416
677.25/657.47	o 133415
678.27/658.43	o 132556
678.58/658.77	o 132546
679.00/659.14	o 132545
679.40/659.50	o 132536
679.70/659.84	o 132535
680.02/660.16	o 132426
680.42/660.52	o 132416
680.83/660.90	o 132415
681.15/661.21	o 132326
681.44/661.58	o 132316
681.85/661.95	o 132315
682.57/662.63	o 132306
682.88/662.99	o 132305
689.53/669.44	o 130666
689.83/669.78	o 130665
690.13/670.09	o 130656
690.44/670.38	o 130655
690.85/670.74	o 130646
691.15/671.01	o 130645
691.46/671.36	o 130556
691.77/671.65	o 130555
692.18/672.02	o 130546
692.48/672.30	o 130545
692.89/672.76	o 130536
693.20/673.10	o 130526
693.61/673.45	o 130436
693.92/673.75	o 130426
694.34/674.15	o 130425
694.84/674.65	o 130416
695.14/674.98	o 130415
695.65/675.49	o 130406
695.95/675.79	o 130405
699.78/679.49	o 130404
703.36/682.98	o 130403
718.63/697.82	o 130397
718.73/697.99	o 130396
719.05/698.23	o 130395
721.09/700.23	o 128416
721.19/700.32	o 128415
721.29/700.43	o 128396
721.39/700.51	o 128395
722.69/701.10	o 128394
726.29/704.54	o 128374
729.72/707.93	o 127476
729.93/708.19	o 127475
731.95/710.20	o 127474
736.99/715.19	o 127473
747.51/725.55	o 126765
747.61/725.63	o 126665
747.71/725.72	o 126655
760.34/738.13	o 125666
760.44/738.23	o 125655
763.72/741.48	o 125654
774.23/751.79	o 124854
774.44/751.97	o 124853
774.64/752.13	o 124852
785.78/763.11	o 124851
786.29/763.54	o 124754
786.50/763.73	o 124753
786.70/763.93	o 124752
787.11/764.39	o 124751
789.66/766.87	o 124652
789.87/767.02	o 124651
790.08/767.21	o 124650
801.42/778.35	o 124550
821.13/797.65	o 122579
821.53/798.02	o 122559
846.48/822.47	o 122539
862.53/838.16	o 121789
862.73/838.39	o 121779
863.56/839.20	o 121778
864.06/839.62	o 121777
864.68/840.29	o 121776
865.18/840.75	o 121689
865.39/840.94	o 121688
865.60/841.15	o 121679
865.80/841.35	o 121678
866.00/841.59	o 121677
866.82/842.36	o 121676
867.43/842.95	o 121588
867.65/843.15	o 121578
867.84/843.36	o 121577
868.05/843.55	o 121576
875.93/851.23	o 121478
876.02/851.32	o 121477
876.12/851.40	o 121476
876.12/851.48	o 121475
921.27/895.66	o 121474
923.62/897.98	o 121473
924.96/899.25	o 121393
925.05/899.38	o 121383
925.27/899.57	o 121373
925.37/899.67	o 121363
941.76/915.38	o 121245
942.27/915.81	o 121244
942.68/916.24	o 121243
947.68/921.17	o 121143
947.98/921.48	o 121043
949.85/923.22	o 120155
949.94/923.32	o 120055
950.15/923.54	o 120054
950.86/924.22	o 120053
959.74/932.96	o 119176
960.25/933.42	o 119166
960.66/933.88	o 119165
961.17/934.34	o 119164
962.50/935.61	o 119156
962.71/935.85	o 119155
963.02/936.12	o 119154
963.53/936.70	o 119096
963.73/936.89	o 119095
964.04/937.17	o 119094
964.33/937.49	o 119086
964.54/937.69	o 119085
964.84/937.91	o 119084
965.35/938.48	o 119076
965.66/938.70	o 119075
965.97/939.05	o 119074
966.38/939.44	o 119073
967.10/940.12	o 119066
967.30/940.37	o 119065
967.71/940.70	o 119064
968.01/941.04	o 119063
998.98/971.38	o 119057
999.18/971.55	o 119056
999.39/971.79	o 119055
1075.33/1046.09	o 119045
1075.54/1046.26	o 118945
1077.78/1048.47	o 118935
1101.56/1071.70	o 118916
1102.28/1072.40	o 118915
1115.54/1084.91	o 118914
1139.19/1108.14	o 118894
1140.71/1109.62	o 118703
1155.94/1124.56	o 118664
1156.15/1124.74	o 118654
1156.56/1125.12	o 118644
1157.58/1126.19	o 118634
1158.61/1127.17	o 118564
1159.01/1127.57	o 118554
1159.43/1128.00	o 118544
1159.94/1128.46	o 118534
1161.06/1129.55	o 118533
1161.38/1129.81	o 118453
1161.79/1130.22	o 118443
1162.19/1130.63	o 118433
1162.71/1131.11	o 117855
1162.81/1131.29	o 117845
1163.20/1131.69	o 117835
1163.61/1132.10	o 117825
1164.03/1132.41	o 117745
1164.22/1132.61	o 117735
1164.64/1133.01	o 117725
1164.94/1133.32	o 117655
1165.15/1133.50	o 117645
1165.45/1133.88	o 117635
1165.86/1134.27	o 117625
1166.27/1134.67	o 117544
1166.57/1134.98	o 117534
1167.08/1135.48	o 117524
1167.69/1136.00	o 117514
1199.05/1166.79	o 117509
1199.36/1167.07	o 117508
1199.97/1167.64	o 117507
1200.48/1168.12	o 117498
1200.68/1168.39	o 117497
1201.20/1168.80	o 117496
1201.91/1169.53	o 117428
1202.21/1169.82	o 117427
1202.53/1170.20	o 117426
1203.13/1170.72	o 117419
1203.43/1171.00	o 117418
1203.75/1171.38	o 117417
1204.16/1171.78	o 117408
1204.46/1172.03	o 117407
1204.88/1172.43	o 117406
1211.03/1178.47	o 117405
1213.91/1181.22	o 117317
1214.10/1181.42	o 117307
1214.30/1181.70	o 117306
1214.82/1182.13	o 117305
1215.43/1182.76	o 117217
1215.63/1182.96	o 117216
1215.85/1183.17	o 117207
1216.04/1183.35	o 117206
1216.46/1183.72	o 117205
1216.76/1184.03	o 117197
1217.07/1184.35	o 117196
1217.48/1184.70	o 117195
1218.00/1185.21	o 117187
1218.09/1185.38	o 117186
1218.39/1185.68	o 117185
1273.86/1239.85	o 117106
1274.58/1240.59	o 117105
1275.09/1241.06	o 117096
1275.50/1241.49	o 117095
1276.00/1241.92	o 117094
1276.52/1242.40	o 117075
1276.82/1242.73	o 117074
1278.05/1243.99	o 116995
1278.46/1244.34	o 116994
1278.97/1244.85	o 116895
1279.28/1245.16	o 116894
1279.98/1245.86	o 116216
1280.30/1246.15	o 116206
1280.71/1246.51	o 116116
1281.01/1246.82	o 116106
1281.43/1247.22	o 116006
1282.04/1247.82	o 116005
1289.92/1255.59	o 116004
1307.62/1272.45	o 115934
1309.57/1274.36	o 115924
1311.92/1276.65	o 115834
1312.24/1276.95	o 115824
1329.00/1293.38	o 115789
1330.33/1294.60	o 115788
1330.96/1295.29	o 115787
1331.46/1295.79	o 115786
1332.27/1296.53	o 115785
1377.38/1340.65	o 115248
1377.70/1340.95	o 115238
1378.01/1341.22	o 115237
1379.75/1342.94	o 115236
1390.17/1353.14	o 115234
1391.80/1354.76	o 115134
1393.23/1356.12	o 115124
1435.26/1397.22	o 115117
1435.67/1397.69	o 115116
1436.19/1398.16	o 115115
1436.89/1398.83	o 115114
1444.39/1405.77	o 115113
1467.52/1428.42	o 115013
1468.05/1428.90	o 115012
1469.79/1430.61	o 114913
1470.18/1431.01	o 114912
1486.03/1446.53	o 114911
1486.44/1446.92	o 114822
1486.65/1447.14	o 114821
1486.84/1447.35	o 114812
1487.05/1447.54	o 114811
1536.40/1495.88	o 114801
1538.26/1497.68	o 114721
1538.67/1498.07	o 114701
1582.64/1541.05	o 114699
1583.05/1541.46	o 114698
1583.45/1541.86	o 114697
1583.96/1542.31	o 114696
1590.51/1548.74	o 114015
1592.98/1551.14	o 113926
1593.48/1551.65	o 113915
1594.41/1552.54	o 113914
1594.82/1552.95	o 113815
1595.74/1553.88	o 113805
1596.45/1554.52	o 113726
1607.80/1565.63	o 113725
1610.56/1568.36	o 113287
1610.77/1568.56	o 113286
1610.97/1568.77	o 113285
1611.17/1568.95	o 113284
1611.39/1569.18	o 113277
1611.59/1569.37	o 113276
1611.81/1569.57	o 113275
1612.01/1569.76	o 113274
1612.32/1570.02	o 113273
1612.52/1570.21	o 113272
1612.81/1570.52	o 113266
1613.03/1570.78	o 113265
1613.23/1570.99	o 113264
1613.55/1571.23	o 113263
1613.74/1571.43	o 113262
1614.04/1571.74	o 113175
1614.25/1571.94	o 113174
1614.46/1572.19	o 113173
1614.77/1572.41	o 113164
1614.97/1572.60	o 113163
1615.17/1572.81	o 113162
1615.28/1572.99	o 113161
1615.49/1573.15	o 113160
1615.79/1573.42	o 113154
1615.99/1573.63	o 113153
1616.19/1573.85	o 113151
1616.40/1574.06	o 113150
1616.92/1574.55	o 113145
1617.12/1574.77	o 113144
1617.32/1574.98	o 113143
1617.54/1575.20	o 113142
1617.73/1575.39	o 113141
1617.93/1575.56	o 113140
1618.14/1575.78	o 113134
1618.34/1575.99	o 113133
1618.55/1576.18	o 113132
1618.76/1576.38	o 113131
1618.96/1576.56	o 113130
1619.37/1576.93	o 113121
1619.58/1577.18	o 113120
1619.87/1577.50	o 113076
1620.10/1577.69	o 113075
1620.30/1577.86	o 113074
1620.51/1578.08	o 113073
1620.72/1578.26	o 113072
1620.91/1578.43	o 113071
1621.13/1578.68	o 113063
1621.32/1578.86	o 113062
1621.52/1579.07	o 113061
1621.73/1579.28	o 113053
1622.03/1579.50	o 113052
1622.23/1579.73	o 113051
1622.55/1580.05	o 112964
1622.66/1580.20	o 112963
1622.85/1580.36	o 112962
1623.05/1580.51	o 112961
1623.26/1580.73	o 112960
1623.36/1580.88	o 112959
1623.56/1581.09	o 112951
1623.77/1581.25	o 112950
1623.97/1581.44	o 112949
1624.17/1581.66	o 112941
1624.37/1581.85	o 112940
1624.60/1582.07	o 112939
1625.10/1582.52	o 112934
1625.31/1582.71	o 112933
1625.41/1582.89	o 112932
1625.61/1583.10	o 112931
1625.84/1583.26	o 112921
1626.03/1583.47	o 112920
1626.33/1583.74	o 112919
1626.85/1584.21	o 112911
1627.04/1584.42	o 112910
1627.25/1584.62	o 112909
1627.35/1584.79	o 112908
1627.56/1584.97	o 112907
1628.07/1585.40	o 112898
1686.59/1642.21	o 112897
1687.20/1642.81	o 112889
1687.40/1643.10	o 112888
1688.22/1643.80	o 112887
1688.93/1644.50	o 112880
1689.25/1644.83	o 112879
1689.66/1645.26	o 112878
1689.96/1645.57	o 112877
1690.37/1645.95	o 112868
1690.68/1646.25	o 112867
1710.83/1665.90	o 112856
1711.16/1666.25	o 112836
1713.40/1668.49	o 112827
1729.47/1684.19	o 112773
1729.67/1684.33	o 112763
1729.77/1684.46	o 112753
1729.87/1684.58	o 112752
1730.18/1684.85	o 112573
1730.28/1684.99	o 112563
1730.50/1685.17	o 112562
1731.30/1685.90	o 112553
1731.41/1686.00	o 112552
1732.13/1686.79	o 112551
1733.46/1688.03	o 112544
1733.58/1688.19	o 112543
1733.77/1688.35	o 112542
1734.07/1688.62	o 112534
1776.18/1729.80	o 112528
1776.48/1730.11	o 112527
1777.94/1731.00	o 112526
1778.75/1731.80	o 112525
1779.68/1732.79	o 112524
1825.01/1777.29	o 112514
1825.50/1777.70	o 112513
1829.47/1781.63	o 112495
1829.88/1782.08	o 112494
1834.07/1786.18	o 112475
1834.47/1786.57	o 112474
1836.73/1788.79	o 112412
1837.25/1789.22	o 112411
1837.85/1789.82	o 112401
1838.37/1790.39	o 112400
1839.20/1791.15	o 112381
1839.59/1791.55	o 112380
1849.20/1800.93	o 112371
1849.62/1801.36	o 112370
1850.24/1801.95	o 112361
1850.64/1802.32	o 112360
1851.25/1802.91	o 112261
1851.76/1803.49	o 112260
1852.78/1804.45	o 112161
1853.39/1805.01	o 112160
1857.17/1808.79	o 112150
1858.10/1809.65	o 112050
1862.10/1813.59	o 112049
1862.72/1814.13	o 112048
1895.45/1846.19	o 112047
1900.69/1850.57	o 112046
1901.10/1850.93	o 112037
1901.41/1851.23	o 112027
1901.90/1851.70	o 112026
1905.46/1855.25	o 112017
1905.86/1855.62	o 112007
1911.33/1861.05	o 111387
1911.54/1861.27	o 111377
1911.83/1861.56	o 111357
1912.14/1861.83	o 111347
1912.45/1862.20	o 111277
1912.74/1862.42	o 111267
1913.04/1862.71	o 111247
1913.24/1862.97	o 111237
1913.65/1863.39	o 111177
1913.96/1863.60	o 111167
1914.16/1863.88	o 111147
1914.47/1864.15	o 111137
1915.18/1864.83	o 111127
1915.38/1865.10	o 111067
1915.68/1865.32	o 111057
1915.88/1865.54	o 111047
1916.19/1865.82	o 111037
1916.39/1866.05	o 111027
1917.41/1867.04	o 111026
1918.32/1867.93	o 110967
1918.53/1868.17	o 110957
1927.34/1876.86	o 110886
1928.07/1877.52	o 110885
1932.33/1881.75	o 110866
1932.76/1882.14	o 110865
1934.38/1883.77	o 110864
1937.64/1886.96	o 110807
1938.26/1887.52	o 110806
1938.67/1887.96	o 110787
1939.08/1888.38	o 110786
1950.64/1899.60	o 110776
1951.16/1900.19	o 110767
1951.45/1900.41	o 110757
1953.60/1902.53	o 110747
1980.41/1928.74	o 110737
1981.54/1929.80	o 110736
2004.54/1952.40	o 110735
2010.12/1957.51	o 110655
2010.64/1958.00	o 110635
2012.16/1959.59	o 109765
2012.56/1959.93	o 109665
2012.89/1960.25	o 109645
2013.79/1961.12	o 109635
2016.52/1963.88	o 109625
2016.83/1964.16	o 109615
2064.56/2010.94	o 109606
2064.78/2011.12	o 109605
2068.96/2015.25	o 109516
2069.05/2015.39	o 109515
2093.83/2039.18	o 109514
2108.64/2053.66	o 109504
2114.57/2059.40	o 109494
2258.65/2199.92	o 109485
2283.24/2223.93	o 109386
2283.55/2224.24	o 109385
2285.60/2226.29	o 109307
2285.99/2226.61	o 109287
2286.31/2226.97	o 109286
2288.15/2228.71	o 109196
2288.45/2229.05	o 108396
2289.26/2229.82	o 108296
2289.78/2230.34	o 108196
2296.16/2236.54	o 108195
2296.36/2236.78	o 108194
2296.67/2237.03	o 108185
2311.19/2251.29	o 108086
2312.30/2252.31	o 108085
2314.03/2254.09	o 108066
2315.67/2255.61	o 108065
2321.42/2261.21	o 108056
2325.70/2265.43	o 108055
2363.90/2302.74	o 108054
2375.88/2314.11	o 108036
2377.31/2315.51	o 108026
2378.42/2316.62	o 108016
2378.95/2317.12	o 107926
2379.36/2317.51	o 107916
2379.76/2317.95	o 107906
2381.20/2319.39	o 107896
2381.92/2320.07	o 107895
2391.01/2328.92	o 107886
2393.88/2331.77	o 107885
2396.86/2334.60	o 107884
2428.82/2365.84	o 107814
2431.47/2368.47	o 107804
2433.64/2370.56	o 107794
2434.46/2371.30	o 107784
2436.31/2373.17	o 107783
2436.60/2373.44	o 107782
2454.61/2391.01	o 107772
2455.12/2391.57	o 107692
2455.62/2392.03	o 107682
2456.04/2392.48	o 107672
2472.73/2408.73	o 107665
2473.45/2409.47	o 107664
2474.07/2410.04	o 107663
2475.09/2411.07	o 107662
2475.91/2411.81	o 107655
2476.01/2411.99	o 107654
2476.33/2412.29	o 107653
2476.72/2412.61	o 107652
2496.18/2431.68	o 107646
2501.39/2436.70	o 107645
2502.83/2438.17	o 107644
2520.04/2454.60	s SATISFIABLE
2520.04/2454.61	v <instantiation>
2520.04/2454.61	v 	<list>
2520.04/2454.61	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] 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] 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] 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] 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] 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] 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] 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]
2520.04/2454.61	v 	</list>
2520.04/2454.61	v 	<values>
2520.04/2454.61	v 		72 310 666 428 778 540 58 296 366 128 554 792 554 792 30 268 736 498 428 666 680 442 30 268 792 554 792 554 540 778 310 72 114 352 380 142 792 554 254 16 156 394 58 296 142 380 380 142 16 254 240 478 16 254 666 428 324 86 498 736 240 478 736 498 16 254 778 540 380 142 792 554 652 414 16 254 310 72 554 792 792 554 680 442 338 100 680 442 268 30 128 366 296 58 100 338 394 156 16 254 324 86 470 708 100 338 44 282 764 526 240 478 394 156 540 778 680 442 736 498 778 540 114 352 30 268 652 414 554 792 722 484 722 484 72 310 708 470 16 254 652 414 540 778 380 142 240 478 764 526 142 380 778 540 708 470 128 366 296 58 142 380 16 254 708 470 282 44 170 408 478 240 694 456 366 128 16 254 708 470 240 478 778 540 652 414 72 310 708 470 666 428 240 478 484 722 792 554 114 352 540 778 428 666 694 456 100 338 792 554 680 442 792 554 722 484 142 380 170 408 554 792 764 526 44 282 778 540 792 554 694 456 86 324 86 324 666 428 156 394 792 554 498 736 128 366 170 408 72 310 128 366 380 142 58 296 652 414 554 792 128 366 792 554 750 512 16 254 296 58 484 722 240 478 156 394 100 338 554 792 498 736 170 408 680 442 750 512 114 352 156 394 680 442 498 736 722 484 764 526 736 498 16 254 680 442 694 456 792 554 128 366 352 114 708 470 414 652 736 498 708 470 128 366 268 30 30 268 128 366 442 680 128 366 778 540 694 456 58 296 128 366 128 366 254 16 16 254 394 156 268 30 16 254 554 792 44 282 408 170 16 254 114 352 792 554 792 554 310 72 792 554 128 366 30 268 792 554 778 540 86 324 156 394 478 240 652 414 792 554 142 380 240 478 114 352 428 666 282 44 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 100 100 100 100 0 0 100 100 0 0 0 0 0 0 100 100 0 0 100 100 100 100 100 100 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 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 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 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 1000 0 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 100 0 100 0 0 0 0 0 100 0 100 100 100 0 0 0 0 100 100 0 0 0 100 0 0 100 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 100 100 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 10 10 10 0 10 10 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 10 10 10 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 10 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 0 10 0 10 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 10 10 0 0 10 10 0 10 0 10 0 10 10 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 
2520.04/2454.61	v 	</values>
2520.04/2454.61	v </instantiation>

Verifier Data 

OK	107644

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308649-1534285416/watcher-4308649-1534285416 -o /tmp/evaluation-result-4308649-1534285416/solver-4308649-1534285416 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 143288657 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308649-1534285416.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=4576, runsolver pid=4573

[startup+0.101136 s]*
/proc/loadavg: 2.02 1.67 1.62 4/215 4591
/proc/meminfo: memFree=15347816/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14082736 memory=33760 CPUtime=0.11 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 6331 0 0 0 9 2 0 0 20 0 15 0 246104777 14420721664 8440 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3520684 8440 3138 1 0 3482761 0
[pid=4576/tid=4578] ppid=4573 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 4592 0 0 0 8 1 0 0 20 0 15 0 246104778 14420721664 8571 33554432000 4194304 4196468 140725722048480 139626233486264 139626209560306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 8637 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14082736 memory=139945849467480 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625770226720 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625769173872 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0.01 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 15 0 246104783 14420721664 8637 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 8703 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 8703 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33760 KiB

[startup+0.213019 s]*
/proc/loadavg: 2.02 1.67 1.62 4/215 4591
/proc/meminfo: memFree=15333180/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14082736 memory=49516 CPUtime=0.29 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 9946 0 0 0 26 3 0 0 20 0 15 0 246104777 14420721664 12379 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3520684 12379 3355 1 0 3482761 0
[pid=4576/tid=4578] ppid=4573 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 7706 0 0 0 17 2 0 0 20 0 15 0 246104778 14420721664 12379 33554432000 4194304 4196468 140725722048480 139626233512144 139626229296534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 12379 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14082736 memory=139945849465449 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625770226720 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625769173872 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) R 4573 4576 875 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) R 4573 4576 875 0 -1 4202560 219 0 0 0 1 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625766017776 139626208530470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0.05 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) R 4573 4576 875 0 -1 4202560 271 0 0 0 5 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625764964976 139626229296534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 12379 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49516 KiB

[startup+0.310401 s]*
/proc/loadavg: 2.02 1.67 1.62 3/215 4591
/proc/meminfo: memFree=15329396/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14082736 memory=52764 CPUtime=0.42 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 10318 0 0 0 39 3 0 0 20 0 15 0 246104777 14420721664 13191 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3520684 13191 3357 1 0 3482761 0
[pid=4576/tid=4578] ppid=4573 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 8035 0 0 0 27 2 0 0 20 0 15 0 246104778 14420721664 13191 33554432000 4194304 4196468 140725722048480 139626233446336 139626229296534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 13191 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14082736 memory=139945849463575 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14082736 memory=139945849454208 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625770226720 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104780 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625769173872 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14082736 memory=139945849446688 CPUtime=0.07 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) R 4573 4576 875 0 -1 4202560 280 0 0 0 7 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625764964976 139626207908800 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14082736 memory=139945849439872 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104783 14420721664 13191 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 52764 KiB

[startup+0.70076 s]
/proc/loadavg: 2.02 1.67 1.62 3/215 4591
/proc/meminfo: memFree=15307632/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14084804 memory=90416 CPUtime=0.99 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 17011 0 0 0 93 6 0 0 20 0 15 0 246104777 14422839296 22604 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3521201 22604 3498 1 0 3483273 0
[pid=4576/tid=4578] ppid=4573 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 14329 0 0 0 63 4 0 0 20 0 15 0 246104778 14422839296 22604 33554432000 4194304 4196468 140725722048480 139626233508592 139626213365086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104778 14422839296 22604 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246104780 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246104780 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625770226720 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104780 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625769173872 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14084804 memory=279891476832880 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14084804 memory=279891476832944 CPUtime=0.07 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 555 0 0 0 7 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14084804 memory=279891476832996 CPUtime=0.07 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 379 0 0 0 7 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 368 0 0 0 15 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14084804 memory=159629573239302 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104783 14422839296 22604 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90416 KiB

[startup+1.50109 s]
/proc/loadavg: 2.02 1.67 1.62 6/215 4591
/proc/meminfo: memFree=15250796/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14086852 memory=211640 CPUtime=3.39 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 21842 0 0 0 328 11 0 0 20 0 15 0 246104777 14424936448 52910 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3521713 52910 3549 1 0 3483785 0
[pid=4576/tid=4578] ppid=4573 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 15674 0 0 0 138 8 0 0 20 0 15 0 246104778 14424936448 52910 33554432000 4194304 4196468 140725722048480 139626233517952 139625853248707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246104778 14424936448 52910 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14086852 memory=279891476232152 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14424936448 52910 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14086852 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14424936448 52910 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14086852 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246104778 14424936448 52910 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14086852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246104780 14424936448 52910 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0

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

/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 157505 0 0 0 235903 88 0 0 20 0 15 0 246104778 14431227904 245438 33554432000 4194304 4196468 140725722048480 139626233522000 139625852051697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14092996 memory=8112282956445269571 CPUtime=17.93 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 30931 0 0 0 1745 48 0 0 20 0 15 0 246104778 14431227904 245438 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14092996 memory=288230596050944315 CPUtime=17.97 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 36819 0 0 0 1749 48 0 0 20 0 15 0 246104778 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14092996 memory=15825477856135504 CPUtime=17.95 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 38215 0 0 0 1746 49 0 0 20 0 15 0 246104778 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14092996 memory=980228 CPUtime=17.93 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 31798 0 0 0 1744 49 0 0 20 0 15 0 246104778 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14092996 memory=2196 CPUtime=2.96 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 47919 0 0 0 251 45 0 0 20 0 15 0 246104780 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14092996 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625770226784 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14092996 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625769173888 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14092996 memory=7532 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14092996 memory=808 CPUtime=3.76 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 29057 0 0 0 372 4 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14092996 memory=2776 CPUtime=4.12 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 27504 0 0 0 409 3 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14092996 memory=2612 CPUtime=1.61 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 36548 0 0 0 156 5 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14092996 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14092996 memory=3224 CPUtime=1.45 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1519 0 0 0 75 70 0 0 20 0 15 0 246104783 14431227904 245438 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 2445.71 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 981752 KiB

[startup+2442.3 s]
/proc/loadavg: 1.65 1.66 1.68 3/216 4768
/proc/meminfo: memFree=14502272/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14092996 memory=943264 CPUtime=2507.13 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 444058 0 0 0 250323 390 0 0 20 0 15 0 246104777 14431227904 235816 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3523249 235816 3618 1 0 3485321 0
[pid=4576/tid=4578] ppid=4573 vsize=14092996 memory=288230596050944315 CPUtime=2419.35 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 160032 0 0 0 241845 90 0 0 20 0 15 0 246104778 14431227904 235816 33554432000 4194304 4196468 140725722048480 139626233522112 139625847933123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14092996 memory=15825477856135504 CPUtime=18.42 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 31266 0 0 0 1793 49 0 0 20 0 15 0 246104778 14431227904 235816 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14092996 memory=932 CPUtime=18.44 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 37222 0 0 0 1796 48 0 0 20 0 15 0 246104778 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14092996 memory=1168 CPUtime=18.42 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 38903 0 0 0 1793 49 0 0 20 0 15 0 246104778 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14092996 memory=2344 CPUtime=18.4 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 32454 0 0 0 1791 49 0 0 20 0 15 0 246104778 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14092996 memory=924 CPUtime=3.02 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 48119 0 0 0 255 47 0 0 20 0 15 0 246104780 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14092996 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625770226784 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14092996 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625769173888 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14092996 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14092996 memory=1928 CPUtime=3.76 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 29059 0 0 0 372 4 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14092996 memory=7532 CPUtime=4.12 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 27506 0 0 0 409 3 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14092996 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 36550 0 0 0 156 5 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14092996 memory=1537304 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14092996 memory=254756 CPUtime=1.49 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1534 0 0 0 77 72 0 0 20 0 15 0 246104783 14431227904 235816 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 2507.13 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 943264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.6 s]
/proc/loadavg: 1.62 1.65 1.67 3/216 4768
/proc/meminfo: memFree=14518772/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14092996 memory=926368 CPUtime=2520.04 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 447745 0 0 0 251612 392 0 0 20 0 15 0 246104777 14431227904 231592 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3523249 231592 3618 1 0 3485321 0
[pid=4576/tid=4578] ppid=4573 vsize=14092996 memory=926368 CPUtime=2431.41 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 160190 0 0 0 243051 90 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139626233522112 139625847933123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14092996 memory=930456 CPUtime=18.62 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 31478 0 0 0 1813 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14092996 memory=938648 CPUtime=18.64 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 37394 0 0 0 1816 48 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14092996 memory=955508 CPUtime=18.62 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 39233 0 0 0 1813 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14092996 memory=940188 CPUtime=18.61 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 32627 0 0 0 1812 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14092996 memory=928452 CPUtime=3.04 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 50760 0 0 0 257 47 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14092996 memory=943776 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625770226784 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14092996 memory=943776 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625769173888 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14092996 memory=956020 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14092996 memory=934544 CPUtime=3.76 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 29059 0 0 0 372 4 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14092996 memory=930456 CPUtime=4.12 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 27506 0 0 0 409 3 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14092996 memory=926368 CPUtime=1.61 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 36550 0 0 0 156 5 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14092996 memory=251871 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14092996 memory=243013 CPUtime=1.49 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1535 0 0 0 77 72 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 926368 KiB

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

[startup+2454.63 s]
# the end of solver process 4576 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.15 s, system=3.93241 s

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

[startup+2454.6 s]
/proc/loadavg: 1.62 1.65 1.67 3/216 4768
/proc/meminfo: memFree=14518772/32770624 swapFree=67108504/67108860
[pid=4576] ppid=4573 vsize=14092996 memory=926368 CPUtime=2520.04 cores=0,2,4,6
/proc/4576/stat : 4576 (java) S 4573 4576 875 0 -1 1077944320 447745 0 0 0 251612 392 0 0 20 0 15 0 246104777 14431227904 231592 33554432000 4194304 4196468 140725722048480 140725722031024 139626229284599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
/proc/4576/statm: 3523249 231592 3618 1 0 3485321 0
[pid=4576/tid=4578] ppid=4573 vsize=14092996 memory=926368 CPUtime=2431.41 cores=0,2,4,6
/proc/4576/task/4578/stat : 4578 (java) R 4573 4576 875 0 -1 4202560 160190 0 0 0 243051 90 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139626233522112 139625847933123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4579] ppid=4573 vsize=14092996 memory=930456 CPUtime=18.62 cores=0,2,4,6
/proc/4576/task/4579/stat : 4579 (java) S 4573 4576 875 0 -1 1077944384 31478 0 0 0 1813 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139626166885520 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4580] ppid=4573 vsize=14092996 memory=938648 CPUtime=18.64 cores=0,2,4,6
/proc/4576/task/4580/stat : 4580 (java) S 4573 4576 875 0 -1 1077944384 37394 0 0 0 1816 48 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625824263184 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4581] ppid=4573 vsize=14092996 memory=955508 CPUtime=18.62 cores=0,2,4,6
/proc/4576/task/4581/stat : 4581 (java) S 4573 4576 875 0 -1 1077944384 39233 0 0 0 1813 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625823210384 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4582] ppid=4573 vsize=14092996 memory=940188 CPUtime=18.61 cores=0,2,4,6
/proc/4576/task/4582/stat : 4582 (java) S 4573 4576 875 0 -1 1077944384 32627 0 0 0 1812 49 0 0 20 0 15 0 246104778 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625822157584 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4583] ppid=4573 vsize=14092996 memory=928452 CPUtime=3.04 cores=0,2,4,6
/proc/4576/task/4583/stat : 4583 (java) S 4573 4576 875 0 -1 1077944384 50760 0 0 0 257 47 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625771280752 139626229295746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4584] ppid=4573 vsize=14092996 memory=943776 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4584/stat : 4584 (java) S 4573 4576 875 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625770226784 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4585] ppid=4573 vsize=14092996 memory=943776 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4585/stat : 4585 (java) S 4573 4576 875 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 246104780 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625769173888 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4586] ppid=4573 vsize=14092996 memory=956020 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4586/stat : 4586 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625768122192 139626229303195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4587] ppid=4573 vsize=14092996 memory=934544 CPUtime=3.76 cores=0,2,4,6
/proc/4576/task/4587/stat : 4587 (java) S 4573 4576 875 0 -1 1077944384 29059 0 0 0 372 4 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625767070576 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4588] ppid=4573 vsize=14092996 memory=930456 CPUtime=4.12 cores=0,2,4,6
/proc/4576/task/4588/stat : 4588 (java) S 4573 4576 875 0 -1 1077944384 27506 0 0 0 409 3 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625766017776 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4589] ppid=4573 vsize=14092996 memory=926368 CPUtime=1.61 cores=0,2,4,6
/proc/4576/task/4589/stat : 4589 (java) S 4573 4576 875 0 -1 1077944384 36550 0 0 0 156 5 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625764964976 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4590] ppid=4573 vsize=14092996 memory=251871 CPUtime=0 cores=0,2,4,6
/proc/4576/task/4590/stat : 4590 (java) S 4573 4576 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625335352032 139626229294805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
[pid=4576/tid=4591] ppid=4573 vsize=14092996 memory=243013 CPUtime=1.49 cores=0,2,4,6
/proc/4576/task/4591/stat : 4591 (java) S 4573 4576 875 0 -1 1077944384 1535 0 0 0 77 72 0 0 20 0 15 0 246104783 14431227904 231592 33554432000 4194304 4196468 140725722048480 139625334299312 139626229295746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15466496 140725722055765 140725722055945 140725722055945 140725722058703 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 926368 KiB

Child status: 143
Real time (s): 2454.63
CPU time (s): 2520.09
CPU user time (s): 2516.15
CPU system time (s): 3.93241
CPU usage (%): 102.667
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2918200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.15
system time used= 3.93241
maximum resident set size= 2938608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118792
involuntary context switches= 6225


# summary of solver processes directly reported to runsolver:
#   pid: 4576
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.15
#   total CPU system time (s): 3.93241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.298 second user time and 22.9233 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-15 00:23:36
IDJOB=4308649
IDBENCH=141193
IDSOLVER=2792
FILE ID=node104/4308649-1534285416
RUNJOBID= node104-1534270607-2649
PBS_JOBID= 21038129
Free space on /tmp= 40048 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-07-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308649-1534285416/watcher-4308649-1534285416 -o /tmp/evaluation-result-4308649-1534285416/solver-4308649-1534285416 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 143288657 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308649-1534285416.xml

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=143288657

node104.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.11
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.11
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.11
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.11
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:        15369444 kB
MemAvailable:   31595732 kB
Buffers:          240320 kB
Cached:         16032588 kB
SwapCached:            8 kB
Active:          8092620 kB
Inactive:        8546080 kB
Active(anon):     315608 kB
Inactive(anon):   102520 kB
Active(file):    7777012 kB
Inactive(file):  8443560 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             36184 kB
Writeback:            12 kB
AnonPages:        477740 kB
Mapped:            68444 kB
Shmem:             49636 kB
Slab:             462708 kB
SReclaimable:     434176 kB
SUnreclaim:        28532 kB
KernelStack:        3616 kB
PageTables:         6128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1341828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 40016 MiB
End job on node104 at 2018-08-15 01:04:31