Trace number 4299026

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
GG's minicp 2018-04-29SAT (TO)98242966 2520.14 2498.55

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml
MD5SUM0e8e562de5d18dab033d3d20f1b4790d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35891368
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints2053
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2053}]
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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
38.53/24.40	o 98253098
41.39/27.02	o 98253088
41.39/27.02	o 98253079
41.39/27.02	o 98253077
41.39/27.03	o 98253076
41.39/27.03	o 98253072
41.39/27.03	o 98253070
41.39/27.03	o 98253069
41.39/27.03	o 98253067
41.39/27.03	o 98253066
41.39/27.04	o 98253062
41.39/27.04	o 98253060
41.39/27.04	o 98253059
41.39/27.04	o 98253058
41.39/27.04	o 98253057
41.39/27.04	o 98253056
41.39/27.04	o 98253055
41.39/27.04	o 98253053
41.39/27.05	o 98253052
41.39/27.05	o 98253050
41.39/27.05	o 98253049
41.39/27.05	o 98253045
41.39/27.05	o 98253043
41.39/27.05	o 98253042
41.39/27.05	o 98253041
41.39/27.05	o 98253040
41.39/27.05	o 98253039
41.39/27.05	o 98253037
41.39/27.05	o 98253036
41.39/27.06	o 98253034
41.39/27.06	o 98253033
41.39/27.06	o 98253029
41.39/27.06	o 98253027
41.39/27.06	o 98253026
41.39/27.06	o 98253025
41.39/27.06	o 98253024
41.39/27.06	o 98253023
41.39/27.06	o 98253022
41.39/27.06	o 98253021
41.39/27.07	o 98253020
41.39/27.07	o 98253019
41.39/27.07	o 98253015
41.39/27.07	o 98253013
41.39/27.07	o 98253012
41.39/27.07	o 98253011
41.39/27.07	o 98253010
41.39/27.07	o 98253009
41.39/27.07	o 98253008
41.39/27.07	o 98253007
41.39/27.07	o 98253005
41.39/27.08	o 98253003
41.39/27.08	o 98253002
41.39/27.08	o 98253001
41.39/27.08	o 98253000
41.39/27.08	o 98252999
41.39/27.08	o 98252998
41.39/27.08	o 98252997
41.39/27.08	o 98252996
41.39/27.08	o 98252994
41.39/27.08	o 98252993
41.39/27.08	o 98252992
41.39/27.08	o 98252991
41.39/27.09	o 98252990
41.39/27.09	o 98252989
41.39/27.09	o 98252988
41.39/27.09	o 98252987
41.39/27.09	o 98252986
41.39/27.09	o 98252985
41.39/27.09	o 98252984
41.39/27.09	o 98252983
41.39/27.09	o 98252982
41.39/27.10	o 98252981
41.39/27.10	o 98252980
41.39/27.10	o 98252979
41.39/27.10	o 98252977
41.39/27.10	o 98252976
41.39/27.10	o 98252975
41.39/27.10	o 98252974
41.39/27.10	o 98252973
44.22/29.64	o 98252957
44.22/29.64	o 98252953
44.22/29.64	o 98252948
44.22/29.64	o 98252944
44.22/29.64	o 98252942
44.22/29.64	o 98252941
44.22/29.64	o 98252938
44.22/29.64	o 98252934
44.22/29.64	o 98252932
44.22/29.64	o 98252931
44.22/29.64	o 98252930
44.22/29.64	o 98252929
44.22/29.64	o 98252927
44.22/29.64	o 98252923
44.22/29.64	o 98252921
44.22/29.65	o 98252920
44.22/29.65	o 98252919
44.22/29.65	o 98252918
44.22/29.65	o 98252917
44.22/29.65	o 98252915
44.22/29.65	o 98252914
44.22/29.65	o 98252913
44.22/29.65	o 98252912
44.22/29.65	o 98252911
44.22/29.65	o 98252910
44.22/29.65	o 98252908
44.22/29.65	o 98252907
44.22/29.65	o 98252906
44.22/29.65	o 98252905
44.22/29.65	o 98252904
44.22/29.66	o 98252903
44.22/29.66	o 98252902
44.22/29.66	o 98252901
44.22/29.66	o 98252900
44.22/29.66	o 98252899
44.22/29.66	o 98252898
44.22/29.66	o 98252897
44.22/29.66	o 98252896
44.22/29.66	o 98252895
44.22/29.66	o 98252894
44.22/29.67	o 98252893
44.22/29.67	o 98252892
44.22/29.67	o 98252891
44.22/29.67	o 98252890
44.22/29.67	o 98252889
44.22/29.67	o 98252888
47.10/32.24	o 98252884
47.10/32.24	o 98252882
47.10/32.24	o 98252881
47.10/32.24	o 98252879
47.10/32.24	o 98252878
47.10/32.24	o 98252876
47.10/32.24	o 98252875
47.10/32.24	o 98252873
47.10/32.24	o 98252872
47.10/32.24	o 98252871
47.10/32.24	o 98252868
47.10/32.24	o 98252866
47.10/32.24	o 98252865
47.10/32.24	o 98252863
47.10/32.24	o 98252862
47.10/32.24	o 98252860
47.10/32.24	o 98252859
47.10/32.24	o 98252857
47.10/32.24	o 98252856
47.10/32.25	o 98252855
47.10/32.25	o 98252853
47.10/32.25	o 98252852
47.10/32.25	o 98252851
47.10/32.25	o 98252850
47.10/32.25	o 98252848
47.10/32.25	o 98252847
47.10/32.25	o 98252845
47.10/32.25	o 98252844
47.10/32.25	o 98252843
47.10/32.25	o 98252841
47.10/32.25	o 98252840
47.10/32.25	o 98252839
47.10/32.26	o 98252838
47.10/32.26	o 98252837
47.10/32.26	o 98252836
47.10/32.26	o 98252834
47.10/32.26	o 98252833
47.10/32.26	o 98252831
47.10/32.26	o 98252830
47.10/32.26	o 98252829
47.10/32.26	o 98252827
47.10/32.26	o 98252826
47.10/32.26	o 98252825
47.10/32.26	o 98252823
47.10/32.26	o 98252822
47.10/32.27	o 98252821
47.10/32.27	o 98252820
47.10/32.27	o 98252819
47.10/32.27	o 98252818
47.10/32.27	o 98252817
47.10/32.27	o 98252816
47.10/32.27	o 98252815
47.10/32.27	o 98252814
47.10/32.28	o 98243457
47.10/32.28	o 98243448
47.10/32.28	o 98243439
47.10/32.28	o 98243432
47.10/32.28	o 98243430
47.10/32.28	o 98243429
47.10/32.28	o 98243427
47.10/32.28	o 98243426
47.10/32.28	o 98243424
47.10/32.28	o 98243423
47.10/32.28	o 98243421
47.10/32.28	o 98243420
47.10/32.28	o 98243419
47.10/32.28	o 98243416
47.10/32.28	o 98243414
47.10/32.28	o 98243413
47.10/32.29	o 98243411
47.10/32.29	o 98243410
47.10/32.29	o 98243408
47.10/32.29	o 98243407
47.10/32.29	o 98243405
47.10/32.29	o 98243404
47.10/32.29	o 98243403
47.10/32.29	o 98243401
47.10/32.29	o 98243400
47.10/32.29	o 98243399
47.10/32.29	o 98243398
47.10/32.29	o 98243396
47.10/32.29	o 98243395
47.10/32.29	o 98243393
47.10/32.29	o 98243392
47.10/32.30	o 98243391
47.10/32.30	o 98243389
47.10/32.30	o 98243388
47.32/32.30	o 98243387
47.32/32.30	o 98243386
47.32/32.30	o 98243385
47.32/32.30	o 98243384
47.32/32.30	o 98243382
47.32/32.30	o 98243381
47.32/32.30	o 98243379
47.32/32.30	o 98243378
47.32/32.30	o 98243377
47.32/32.30	o 98243375
47.32/32.30	o 98243374
47.32/32.31	o 98243373
47.32/32.31	o 98243371
47.32/32.31	o 98243370
47.32/32.31	o 98243369
47.32/32.31	o 98243368
47.32/32.31	o 98243367
47.32/32.31	o 98243366
47.32/32.31	o 98243365
47.32/32.31	o 98243364
47.32/32.31	o 98243363
47.32/32.32	o 98243362
49.85/34.85	o 98243360
49.85/34.85	o 98243359
49.85/34.85	o 98243357
49.85/34.86	o 98243356
49.85/34.86	o 98243354
49.85/34.86	o 98243352
49.85/34.86	o 98243350
49.85/34.86	o 98243348
49.85/34.86	o 98243347
49.85/34.86	o 98243345
49.85/34.86	o 98243343
49.85/34.86	o 98243342
49.85/34.86	o 98243340
49.85/34.86	o 98243338
49.85/34.86	o 98243336
49.85/34.86	o 98243334
49.85/34.86	o 98243333
49.85/34.86	o 98243331
49.85/34.86	o 98243329
49.85/34.87	o 98243327
49.85/34.87	o 98243326
49.85/34.87	o 98243324
49.85/34.87	o 98243322
49.85/34.87	o 98243320
49.85/34.87	o 98243318
49.85/34.87	o 98243316
49.85/34.87	o 98243315
49.85/34.87	o 98243313
49.85/34.87	o 98243311
49.85/34.87	o 98243310
49.85/34.88	o 98243308
49.85/34.88	o 98243306
49.85/34.88	o 98243304
49.85/34.88	o 98243303
49.85/34.88	o 98243301
49.85/34.88	o 98243299
49.85/34.88	o 98243297
49.85/34.88	o 98243295
49.85/34.88	o 98243293
49.85/34.88	o 98243291
49.85/34.88	o 98243290
49.85/34.88	o 98243288
49.85/34.89	o 98243287
49.85/34.89	o 98243286
49.85/34.89	o 98243284
49.85/34.89	o 98243283
52.46/37.43	o 98243282
52.46/37.43	o 98243281
52.46/37.43	o 98243280
52.46/37.43	o 98243279
52.46/37.43	o 98243275
52.46/37.43	o 98243274
52.46/37.43	o 98243272
52.46/37.43	o 98243267
52.46/37.43	o 98243266
52.46/37.43	o 98243265
52.46/37.44	o 98243264
52.46/37.44	o 98243263
52.46/37.44	o 98243262
52.46/37.44	o 98243261
55.02/40.00	o 98243259
55.02/40.00	o 98243258
55.02/40.00	o 98243257
55.02/40.00	o 98243256
55.02/40.00	o 98243255
55.02/40.00	o 98243254
55.02/40.01	o 98243252
55.13/40.01	o 98243251
55.13/40.01	o 98243250
55.13/40.01	o 98243249
55.13/40.01	o 98243248
55.13/40.01	o 98243247
55.13/40.01	o 98243245
55.13/40.01	o 98243244
55.13/40.01	o 98243243
55.13/40.01	o 98243242
55.13/40.02	o 98243241
55.13/40.02	o 98243240
55.13/40.02	o 98243239
55.13/40.02	o 98243238
55.13/40.02	o 98243237
55.13/40.02	o 98243236
55.13/40.02	o 98243235
55.13/40.03	o 98243234
55.13/40.03	o 98243233
55.13/40.03	o 98243232
55.13/40.03	o 98243231
55.13/40.03	o 98243230
55.13/40.03	o 98243229
55.13/40.03	o 98243228
55.13/40.03	o 98243227
55.13/40.03	o 98243226
55.13/40.04	o 98243225
55.13/40.04	o 98243224
55.13/40.04	o 98243223
55.13/40.04	o 98243222
55.13/40.04	o 98243221
55.13/40.05	o 98243220
55.13/40.05	o 98243219
55.13/40.05	o 98243218
55.13/40.05	o 98243217
55.13/40.05	o 98243216
55.13/40.05	o 98243215
55.13/40.06	o 98243214
55.13/40.06	o 98243213
55.13/40.06	o 98243212
57.73/42.62	o 98243211
57.73/42.62	o 98243210
57.73/42.62	o 98243209
57.73/42.63	o 98243208
57.73/42.63	o 98243207
57.73/42.63	o 98243206
57.73/42.63	o 98243205
57.73/42.63	o 98243204
57.73/42.64	o 98243203
57.73/42.64	o 98243202
60.24/45.18	o 98243201
60.24/45.18	o 98243200
60.24/45.18	o 98243199
60.24/45.18	o 98243198
60.24/45.18	o 98243197
60.24/45.18	o 98243196
60.24/45.18	o 98243195
60.24/45.19	o 98243194
60.24/45.19	o 98243193
60.24/45.19	o 98243192
60.24/45.19	o 98243191
60.24/45.19	o 98243190
60.24/45.19	o 98243189
60.24/45.19	o 98243188
60.24/45.19	o 98243187
60.24/45.19	o 98243186
60.24/45.19	o 98243185
60.24/45.20	o 98243184
60.33/45.20	o 98243183
60.33/45.20	o 98243182
63.10/47.81	o 98243181
63.10/47.81	o 98243180
63.10/47.81	o 98243179
63.10/47.81	o 98243178
63.10/47.82	o 98243175
63.10/47.82	o 98243174
63.10/47.82	o 98243173
63.10/47.82	o 98243172
63.10/47.82	o 98243171
63.10/47.82	o 98243170
63.10/47.82	o 98243169
63.10/47.82	o 98243168
63.10/47.82	o 98243167
63.10/47.83	o 98243166
63.10/47.83	o 98243165
63.10/47.83	o 98243164
63.10/47.83	o 98243163
63.10/47.83	o 98243162
63.10/47.83	o 98243161
63.10/47.83	o 98243160
63.10/47.84	o 98243159
63.10/47.84	o 98243158
63.10/47.84	o 98243157
63.10/47.84	o 98243156
63.10/47.84	o 98243155
63.10/47.84	o 98243154
63.10/47.85	o 98243153
63.10/47.86	o 98243152
63.10/47.86	o 98243151
63.10/47.86	o 98243150
63.10/47.86	o 98243149
63.10/47.86	o 98243148
63.10/47.86	o 98243147
63.10/47.86	o 98243146
63.10/47.86	o 98243145
63.10/47.86	o 98243144
63.10/47.87	o 98243143
63.10/47.87	o 98243142
63.10/47.87	o 98243141
63.10/47.87	o 98243140
63.10/47.87	o 98243139
63.10/47.87	o 98243138
63.10/47.87	o 98243137
63.10/47.89	o 98243136
63.10/47.89	o 98243135
63.10/47.89	o 98243134
63.10/47.89	o 98243133
63.10/47.89	o 98243132
63.10/47.89	o 98243131
63.10/47.90	o 98243130
63.21/47.91	o 98243129
65.82/50.55	o 98243128
65.82/50.55	o 98243127
65.82/50.55	o 98243126
65.82/50.55	o 98243124
65.82/50.55	o 98243123
65.82/50.55	o 98243122
65.82/50.55	o 98243121
66.04/50.72	o 98243120
66.04/50.72	o 98243119
66.04/50.72	o 98243117
66.04/50.72	o 98243116
66.04/50.73	o 98243115
66.04/50.73	o 98243114
68.74/53.46	o 98243113
68.74/53.46	o 98243112
68.74/53.46	o 98243111
68.74/53.46	o 98243110
68.74/53.46	o 98243109
68.74/53.46	o 98243108
68.74/53.46	o 98243107
68.74/53.46	o 98243106
68.74/53.46	o 98243105
68.74/53.47	o 98243104
68.74/53.47	o 98243103
68.74/53.47	o 98243102
68.74/53.47	o 98243101
68.74/53.47	o 98243100
68.74/53.47	o 98243099
68.74/53.47	o 98243098
71.35/56.06	o 98243096
71.35/56.06	o 98243095
71.35/56.06	o 98243094
71.35/56.06	o 98243093
71.35/56.06	o 98243092
71.35/56.06	o 98243091
71.35/56.06	o 98243090
71.35/56.06	o 98243089
73.94/58.67	o 98243088
73.94/58.68	o 98243087
73.94/58.68	o 98243086
73.94/58.68	o 98243084
73.94/58.68	o 98243082
73.94/58.68	o 98243081
73.94/58.68	o 98243080
73.94/58.68	o 98243078
73.94/58.68	o 98243077
73.94/58.68	o 98243076
73.94/58.68	o 98243075
73.94/58.68	o 98243074
73.94/58.69	o 98243073
73.94/58.69	o 98243072
73.94/58.70	o 98243070
73.94/58.70	o 98243068
73.94/58.70	o 98243067
74.04/58.70	o 98243066
74.04/58.70	o 98243064
74.04/58.70	o 98243063
74.04/58.70	o 98243062
74.04/58.70	o 98243061
74.04/58.70	o 98243060
74.04/58.70	o 98243059
74.04/58.70	o 98243058
74.04/58.72	o 98243057
74.04/58.72	o 98243056
74.04/58.74	o 98243055
74.04/58.77	o 98243054
74.14/58.80	o 98243053
74.24/58.96	o 98243052
77.04/61.79	o 98243051
77.04/61.79	o 98243050
79.65/64.38	o 98243049
79.65/64.38	o 98243048
79.65/64.38	o 98243047
79.65/64.39	o 98243046
79.65/64.39	o 98243045
79.65/64.39	o 98243044
79.65/64.39	o 98243043
79.65/64.39	o 98243042
79.65/64.39	o 98243041
84.87/69.57	o 98243039
84.87/69.57	o 98243038
84.87/69.57	o 98243037
84.87/69.57	o 98243036
84.87/69.58	o 98243035
84.87/69.58	o 98243033
84.87/69.58	o 98243032
84.87/69.58	o 98243031
84.87/69.58	o 98243030
84.87/69.58	o 98243029
87.48/72.16	o 98243028
87.48/72.16	o 98243027
87.48/72.16	o 98243026
87.48/72.16	o 98243025
90.50/75.17	o 98243024
90.50/75.17	o 98243023
90.50/75.17	o 98243022
90.50/75.17	o 98243021
90.50/75.17	o 98243020
90.50/75.18	o 98243019
90.50/75.18	o 98243018
99.27/80.13	o 98243017
104.67/85.54	o 98243016
120.78/101.61	o 98243015
120.78/101.63	o 98243014
123.78/104.65	o 98243013
123.78/104.69	o 98243012
123.78/104.69	o 98243010
123.78/104.69	o 98243008
123.78/104.69	o 98243006
123.78/104.69	o 98243005
123.78/104.69	o 98243004
123.78/104.69	o 98243003
127.42/108.14	o 98243002
127.42/108.14	o 98243001
127.42/108.14	o 98243000
127.42/108.14	o 98242999
127.42/108.15	o 98242998
135.23/115.90	o 98242995
147.84/128.56	o 98242994
147.84/128.56	o 98242993
147.84/128.59	o 98242992
147.94/128.68	o 98242991
147.94/128.68	o 98242990
147.94/128.68	o 98242989
147.94/128.69	o 98242988
147.94/128.69	o 98242987
148.04/128.72	o 98242986
153.45/134.13	o 98242985
153.45/134.13	o 98242983
156.05/136.75	o 98242982
161.25/141.92	o 98242981
161.25/141.92	o 98242980
161.25/141.93	o 98242979
161.25/141.93	o 98242978
163.75/144.48	o 98242977
163.75/144.48	o 98242976
185.66/166.31	o 98242975
186.26/166.95	o 98242974
211.18/191.83	o 98242967
211.18/191.83	o 98242966
2520.07/2498.50	s SATISFIABLE
2520.07/2498.51	v <instantiation>
2520.07/2498.51	v 	<list>
2520.07/2498.51	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] 
2520.07/2498.51	v 	</list>
2520.07/2498.51	v 	<values>
2520.07/2498.51	v 		2596 2420 2612 2544 2280 2480 2476 2492 2464 2328 2288 2640 2512 2368 2532 2556 2648 2492 2288 2652 2616 2432 2324 2596 2616 2452 2652 2624 2604 2408 2632 2484 2656 2352 2472 2452 2636 2572 2452 2432 2532 2328 2444 2424 2464 2284 2516 2612 2444 2324 2456 2632 2436 2448 2320 2320 2392 2484 2412 2288 2524 2336 2460 2512 2412 2492 2480 2412 2612 2356 2608 2380 2596 2524 2328 2572 2288 2576 2600 2332 2328 2280 2280 2408 2616 2544 2580 2656 2472 2592 2284 2416 2532 2492 2464 2484 2532 2484 2656 2612 2572 2612 2524 2440 2508 2456 2284 2540 2352 2280 2508 2292 2364 2616 2324 2524 2384 2616 2372 2604 2424 2552 2376 2324 2320 2288 2504 2352 2320 2464 2572 2608 2436 2424 2280 2520 2636 2312 2556 2640 2328 2652 2472 2288 2460 2520 2392 2608 2372 2280 2652 2612 2612 2392 2532 2420 2596 2284 2484 2584 2416 2492 2476 2352 2656 2612 2484 2420 2644 2412 2400 2592 2324 2392 2328 2436 2548 2396 2396 2396 2600 2376 2652 2284 2648 2584 2416 2320 2584 2352 2468 2360 2320 2648 2324 2644 2404 2424 2284 2480 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 2 0 0 0 1 3 1 0 0 1 0 0 0 0 0 0 0 0 0 0 10 1 0 1 4 0 4 0 0 0 0 0 0 0 0 0 8 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 5 0 3 0 8 0 0 0 0 0 0 1 0 3 0 0 0 0 0 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 6 0 0 1 0 0 0 0 0 0 1 0 0 0 8 0 0 4 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 7 0 0 0 10 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 5 9 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 10 0 1 0 6 0 0 0 0 0 0 0 0 0 0 1 0 0 1 4 4 0 1 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 1 0 1 3 1 1 0 0 6 6 4 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 1 10 0 0 0 0 1 0 0 1 0 0 0 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 0 0 9 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 7 0 0 0 0 0 10 0 0 0 4 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 3 0 0 9 2 6 0 0 0 5 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 0 0 6 0 5 0 0 9 0 9 6 0 0 0 1 0 0 0 1 0 0 1 0 0 7 0 0 0 0 0 0 0 6 9 0 0 1 0 0 1 2 1 0 0 0 1 4 4 0 0 1 0 8 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 0 8 1 0 0 8 0 0 0 2 0 0 1 0 0 0 0 10 0 0 1 0 0 0 0 10 5 0 0 0 6 0 0 0 0 5 2 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 9 7 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 8 0 0 0 0 0 5 8 0 1 8 0 0 1 9 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 8 0 0 0 0 0 9 0 0 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 4 0 0 0 0 0 0 6 0 0 0 0 0 0 0 9 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 10 9 0 0 0 9 0 6 0 0 0 0 0 0 0 0 1 0 5 1 0 0 0 0 0 9 1 9 0 0 10 6 0 1 7 0 0 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 56 144 184 64 72 276 176 244 104 40 36 44 164 24 120 44 152 232 120 128 288 140 240 196 328 288 264 72 220 224 132 216 112 52 24 92 68 200 336 252 168 132 292 212 92 144 332 44 100 64 108 156 128 64 120 176 44 120 32 64 148 164 40 40 144 68 68 164 204 72 96 76 60 136 92 28 8 52 140 68 144 40 80 40 328 264 204 328 196 148 284 356 108 12 288 28 320 228 44 64 268 156 228 240 204 20 160 60 68 104 80 20 144 40 100 120 280 284 116 12 88 88 140 248 56 284 100 40 120 204 44 252 84 212 112 136 212 212 112 52 72 80 144 56 36 268 36 88 236 124 312 104 76 4 224 212 40 8 140 364 168 32 124 8 128 96 128 64 328 20 240 216 4 232 252 180 136 332 324 252 240 336 24 332 28 220 20 140 52 148 76 112 16 72 128 160 208 132 32 332 324 92 24 36 308 20 276 160 124 200 56 128 236 152 160 328 44 32 292 172 180 184 72 60 140 120 200 80 228 44 160 288 340 236 104 184 340 52 80 52 184 296 24 28 40 144 168 316 72 280 232 208 320 88 52 184 124 124 44 84 36 84 140 32 148 52 176 308 344 352 212 236 32 40 128 24 76 156 164 124 160 204 212 264 48 44 84 220 196 72 12 336 176 108 60 104 12 72 48 104 184 20 192 76 128 64 32 28 76 164 52 104 172 168 60 220 20 344 356 264 140 240 164 84 148 200 80 88 248 72 72 56 160 172 200 80 96 132 132 144 76 60 76 80 248 44 284 0 272 176 44 4 316 20 168 0 40 108 88 12 156 40 52 160 20 108 60 100 28 52 108 128 140 176 20 52 72 68 152 128 288 44 288 112 92 80 228 8 100 80 96 284 288 28 292 120 48 88 64 80 132 88 48 308 92 288 288 316 284 76 72 124 16 68 136 100 168 40 216 124 108 80 312 312 100 236 312 228 76 88 104 84 44 24 36 124 128 132 56 164 28 148 96 208 196 48 276 204 260 292 40 64 200 52 92 72 264 160 92 292 100 276 200 16 40 72 40 92 8 44 192 132 164 168 48 76 80 132 204 12 56 292 184 204 84 88 112 108 312 92 48 20 204 64 152 128 76 128 120 172 280 16 236 316 52 316 80 48 104 112 80 136 0 72 140 40 184 36 116 116 136 188 120 204 240 196 136 32 164 84 16 204 104 92 52 24 44 76 60 76 84 84 244 36 172 8 80 104 156 320 16 220 216 40 36 28 116 216 136 56 44 36 116 68 284 124 212 196 20 60 40 136 268 220 48 84 28 20 112 172 88 124 224 64 316 48 320 44 244 28 256 40 84 188 296 32 36 116 20 224 184 216 320 228 136 12 180 12 136 280 156 256 256 312 4 44 48 240 44 200 156 304 332 116 100 24 32 8 44 192 336 220 220 32 68 24 48 148 108 260 228 60 32 188 228 124 44 376 132 220 44 64 328 280 240 88 132 120 48 60 184 152 176 84 128 36 20 180 372 88 4 200 264 188 104 140 196 116 180 64 96 80 248 136 248 64 168 172 168 140 20 88 116 200 124 76 136 120 164 68 304 52 100 252 24 212 288 196 132 196 80 220 104 292 260 300 80 48 212 32 196 88 60 160 120 80 160 116 144 144 24 140 172 92 136 192 52 140 352 328 108 152 0 184 216 96 228 252 108 300 40 68 240 272 328 184 44 72 180 144 36 88 72 188 280 144 60 56 12 12 332 24 32 192 48 260 28 52 28 128 220 148 264 336 220 52 200 60 20 272 220 32 72 184 20 244 160 64 140 228 88 160 60 200 48 96 116 276 196 68 288 72 80 316 72 8 324 360 104 12 108 148 220 144 256 236 152 100 36 324 44 112 148 40 84 184 88 12 324 280 36 40 164 144 168 12 276 364 76 104 308 348 220 20 24 52 340 104 96 80 228 44 144 48 60 260 216 276 332 152 152 64 88 364 32 100 64 200 108 264 48 24 88 364 72 40 68 160 192 220 64 216 328 36 44 180 112 116 136 200 360 120 172 208 300 76 240 24 64 8 168 152 72 4 60 232 200 196 328 160 84 92 20 68 324 236 80 232 308 256 212 188 256 84 112 208 16 324 160 64 104 260 300 28 56 
2520.07/2498.51	v 	</values>
2520.07/2498.51	v </instantiation>

Verifier Data 

OK	98242966

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299026-1532790393/watcher-4299026-1532790393 -o /tmp/evaluation-result-4299026-1532790393/solver-4299026-1532790393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299026-1532790393.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
solver pid=32173, runsolver pid=32170
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.59 4.30 3.38 3/215 32188
/proc/meminfo: memFree=15657888/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661056 memory=27824 CPUtime=0.13 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 5358 0 0 0 12 1 0 0 20 0 15 0 96602520 10916921344 6956 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665264 6956 2839 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661056 memory=-8269626465541329787 CPUtime=0.09 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 3231 0 0 0 9 0 0 0 20 0 15 0 96602520 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186974234080 140186970017174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602522 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186528716448 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0.01 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) R 32170 32173 30301 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 15 0 96602525 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186455361520 140186970026586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602526 10916921344 6956 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27824 KiB

[startup+0.210611 s]*
/proc/loadavg: 4.59 4.30 3.38 4/215 32188
/proc/meminfo: memFree=15647964/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661056 memory=40648 CPUtime=0.34 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 8277 0 0 0 32 2 0 0 20 0 15 0 96602520 10916921344 10162 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665264 10162 2989 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 5156 0 0 0 19 1 0 0 20 0 15 0 96602520 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186974243680 140186970027165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661056 memory=140273754205688 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602522 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186528716448 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) R 32170 32173 30301 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 96602525 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) R 32170 32173 30301 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 96602525 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186456414576 140186970017174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0.08 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) R 32170 32173 30301 0 -1 4202560 866 0 0 0 8 0 0 0 20 0 15 0 96602525 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186455357432 140186948008170 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602526 10916921344 10162 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40648 KiB

[startup+0.311493 s]*
/proc/loadavg: 4.59 4.30 3.38 5/215 32188
/proc/meminfo: memFree=15595404/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661056 memory=99160 CPUtime=0.59 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 9572 0 0 0 55 4 0 0 20 0 15 0 96602520 10916921344 24790 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665264 24790 3052 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 5187 0 0 0 27 3 0 0 20 0 15 0 96602520 10916921344 24790 33554432000 4194304 4196468 140732214589968 140186974243680 140186606596882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661056 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 24790 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661056 memory=140273754205580 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 24790 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 24790 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602521 10916921344 24790 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96602522 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186528716448 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602523 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661056 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) R 32170 32173 30301 0 -1 4202560 1467 0 0 0 8 0 0 0 20 0 15 0 96602525 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186457448280 140186950757692 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661056 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) R 32170 32173 30301 0 -1 4202560 655 0 0 0 7 0 0 0 20 0 15 0 96602525 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186456414576 140186955130340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0.11 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) R 32170 32173 30301 0 -1 1077944384 895 0 0 0 11 0 0 0 20 0 15 0 96602525 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186455361520 140186970016386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661056 memory=140273754175104 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602526 10916921344 25302 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 99160 KiB

[startup+0.700688 s]
/proc/loadavg: 4.59 4.30 3.38 6/215 32188
/proc/meminfo: memFree=15390800/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661132 memory=301200 CPUtime=1.63 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 12765 0 0 0 147 16 0 0 20 0 15 0 96602520 10916999168 75300 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665283 75300 3108 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661132 memory=1840 CPUtime=0.62 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 5545 0 0 0 57 5 0 0 20 0 15 0 96602520 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186974232704 140186609135672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=1716 CPUtime=0.01 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 52 0 0 0 0 1 0 0 20 0 15 0 96602521 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=796 CPUtime=0.02 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 15 0 96602521 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=11008 CPUtime=0.03 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 66 0 0 0 1 2 0 0 20 0 15 0 96602521 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=1008 CPUtime=0.03 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 59 0 0 0 1 2 0 0 20 0 15 0 96602521 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96602522 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661132 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186528716448 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661132 memory=5372 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661132 memory=7302135314614015848 CPUtime=0.35 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 2904 0 0 0 35 0 0 0 20 0 15 0 96602525 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661132 memory=7450453974481135974 CPUtime=0.28 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 1464 0 0 0 28 0 0 0 20 0 15 0 96602525 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661132 memory=7151830906713428048 CPUtime=0.2 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) R 32170 32173 30301 0 -1 4202560 1170 0 0 0 19 1 0 0 20 0 15 0 96602525 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186455361520 140186948950896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661132 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96602526 10916999168 75300 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 301200 KiB

[startup+1.50281 s]
/proc/loadavg: 4.59 4.30 3.38 4/215 32188
/proc/meminfo: memFree=15271092/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661132 memory=627376 CPUtime=3.41 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 15733 0 0 0 307 34 0 0 20 0 15 0 96602520 10916999168 156844 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665283 156844 3140 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661132 memory=0 CPUtime=1.26 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) S 32170 32173 30301 0 -1 1077944384 5613 0 0 0 119 7 0 0 20 0 15 0 96602520 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186974242848 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=-6951259422114956437 CPUtime=0.15 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) R 32170 32173 30301 0 -1 4202560 414 0 0 0 10 5 0 0 20 0 15 0 96602521 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186928765576 140186963108232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=-6509546260019855299 CPUtime=0.16 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) R 32170 32173 30301 0 -1 4202560 289 0 0 0 11 5 0 0 20 0 15 0 96602521 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186575776400 140186963108218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=-7390251449858225344 CPUtime=0.17 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) R 32170 32173 30301 0 -1 4202560 611 0 0 0 11 6 0 0 20 0 15 0 96602521 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186574723464 140186955001185 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=4134692831991786133 CPUtime=0.16 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) R 32170 32173 30301 0 -1 4202560 825 0 0 0 10 6 0 0 20 0 15 0 96602521 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186573670920 140186962633447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=-7165351541977658656 CPUtime=0.01 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 15 0 96602522 10916999168 156844 33554432000 4194304 4196468 140732214589968 140186529768768 140186970015445 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0

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

/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 111865 0 0 0 237659 43 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186974245024 140186612986363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 10969 0 0 0 426 63 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=6791534058613427641 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 11191 0 0 0 417 72 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.94 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 13851 0 0 0 420 74 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.9 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 13163 0 0 0 423 67 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.26 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 12424 0 0 0 24 2 0 0 20 0 15 0 96602522 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186528716512 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661132 memory=140355236268266 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661132 memory=280547265198944 CPUtime=2.3 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 10028 0 0 0 228 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2.49 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 11781 0 0 0 247 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.66 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) S 32170 32173 30301 0 -1 1077944384 8154 0 0 0 63 3 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186455361520 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661132 memory=5201268 CPUtime=1.35 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 2784 0 0 0 74 61 0 0 20 0 15 0 96602526 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 2403.8 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5201268 KiB

[startup+2442.3 s]
/proc/loadavg: 2.03 2.01 2.12 3/215 32342
/proc/meminfo: memFree=16557380/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2463.85 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 209966 0 0 0 246003 382 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665283 1300317 3193 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661132 memory=1440 CPUtime=2437.02 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 114110 0 0 0 243659 43 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186974245024 140186613146351 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 10969 0 0 0 426 63 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 11191 0 0 0 417 72 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.94 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 13851 0 0 0 420 74 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.9 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 13163 0 0 0 423 67 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.27 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 12434 0 0 0 24 3 0 0 20 0 15 0 96602522 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186528716512 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2.3 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 10032 0 0 0 228 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2.49 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 11784 0 0 0 247 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661132 memory=1300 CPUtime=0.66 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) S 32170 32173 30301 0 -1 1077944384 8161 0 0 0 63 3 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186455361520 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661132 memory=5201268 CPUtime=1.39 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 2822 0 0 0 75 64 0 0 20 0 15 0 96602526 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 2463.85 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5201268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2498.5 s]
/proc/loadavg: 2.01 2.01 2.11 3/215 32343
/proc/meminfo: memFree=16557108/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2520.07 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 212609 0 0 0 251624 383 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665283 1300317 3193 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2493.23 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 116685 0 0 0 249279 44 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186974245024 140186612855795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=796 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 10969 0 0 0 426 63 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 11191 0 0 0 417 72 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.94 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 13851 0 0 0 420 74 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=4012 CPUtime=4.9 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 13163 0 0 0 423 67 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.27 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 12444 0 0 0 24 3 0 0 20 0 15 0 96602522 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186528716512 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661132 memory=27924 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661132 memory=4012 CPUtime=2.3 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 10036 0 0 0 228 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661132 memory=27924 CPUtime=2.49 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 11787 0 0 0 247 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.66 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) S 32170 32173 30301 0 -1 1077944384 8174 0 0 0 63 3 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186455361520 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661132 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661132 memory=4612 CPUtime=1.41 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 2860 0 0 0 77 64 0 0 20 0 15 0 96602526 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5201268 KiB

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

[startup+2498.55 s]
# the end of solver process 32173 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.27 s, system=3.86264 s

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

[startup+2498.5 s]
/proc/loadavg: 2.01 2.01 2.11 3/215 32343
/proc/meminfo: memFree=16557108/32770624 swapFree=67108404/67108860
[pid=32173] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2520.07 cores=0,2,4,6
/proc/32173/stat : 32173 (java) S 32170 32173 30301 0 -1 1077944320 212609 0 0 0 251624 383 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140732214572512 140186970005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
/proc/32173/statm: 2665283 1300317 3193 1 0 2627263 0
[pid=32173/tid=32175] ppid=32170 vsize=10661132 memory=5201268 CPUtime=2493.23 cores=0,2,4,6
/proc/32173/task/32175/stat : 32175 (java) R 32170 32173 30301 0 -1 4202560 116685 0 0 0 249279 44 0 0 20 0 15 0 96602520 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186974245024 140186612855795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32176] ppid=32170 vsize=10661132 memory=796 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32176/stat : 32176 (java) S 32170 32173 30301 0 -1 1077944384 10969 0 0 0 426 63 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186928765456 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32177] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.89 cores=0,2,4,6
/proc/32173/task/32177/stat : 32177 (java) S 32170 32173 30301 0 -1 1077944384 11191 0 0 0 417 72 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186575776400 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32178] ppid=32170 vsize=10661132 memory=5201268 CPUtime=4.94 cores=0,2,4,6
/proc/32173/task/32178/stat : 32178 (java) S 32170 32173 30301 0 -1 1077944384 13851 0 0 0 420 74 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186574723344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32179] ppid=32170 vsize=10661132 memory=4012 CPUtime=4.9 cores=0,2,4,6
/proc/32173/task/32179/stat : 32179 (java) S 32170 32173 30301 0 -1 1077944384 13163 0 0 0 423 67 0 0 20 0 15 0 96602521 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186573670800 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32180] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.27 cores=0,2,4,6
/proc/32173/task/32180/stat : 32180 (java) S 32170 32173 30301 0 -1 1077944384 12444 0 0 0 24 3 0 0 20 0 15 0 96602522 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186529770224 140186970016386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32181] ppid=32170 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32181/stat : 32181 (java) S 32170 32173 30301 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186528716512 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32182] ppid=32170 vsize=10661132 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32182/stat : 32182 (java) S 32170 32173 30301 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 96602523 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186527663344 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32183] ppid=32170 vsize=10661132 memory=27924 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32183/stat : 32183 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186526611920 140186970023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32184] ppid=32170 vsize=10661132 memory=4012 CPUtime=2.3 cores=0,2,4,6
/proc/32173/task/32184/stat : 32184 (java) S 32170 32173 30301 0 -1 1077944384 10036 0 0 0 228 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186457467120 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32185] ppid=32170 vsize=10661132 memory=27924 CPUtime=2.49 cores=0,2,4,6
/proc/32173/task/32185/stat : 32185 (java) S 32170 32173 30301 0 -1 1077944384 11787 0 0 0 247 2 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186456414576 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32186] ppid=32170 vsize=10661132 memory=5201268 CPUtime=0.66 cores=0,2,4,6
/proc/32173/task/32186/stat : 32186 (java) S 32170 32173 30301 0 -1 1077944384 8174 0 0 0 63 3 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186455361520 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32187] ppid=32170 vsize=10661132 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/32173/task/32187/stat : 32187 (java) S 32170 32173 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96602525 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186454309216 140186970015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
[pid=32173/tid=32188] ppid=32170 vsize=10661132 memory=4612 CPUtime=1.41 cores=0,2,4,6
/proc/32173/task/32188/stat : 32188 (java) S 32170 32173 30301 0 -1 1077944384 2860 0 0 0 77 64 0 0 20 0 15 0 96602526 10916999168 1300317 33554432000 4194304 4196468 140732214589968 140186453257264 140186970016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23154688 140732214596725 140732214596873 140732214596873 140732214599631 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 5201268 KiB

Child status: 143
Real time (s): 2498.55
CPU time (s): 2520.14
CPU user time (s): 2516.27
CPU system time (s): 3.86264
CPU usage (%): 100.864
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 5201268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.86264
maximum resident set size= 5201800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214307
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57869
involuntary context switches= 2638


# summary of solver processes directly reported to runsolver:
#   pid: 32173
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.27
#   total CPU system time (s): 3.86264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.25 second user time and 24.1905 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-28 17:06:34
IDJOB=4299026
IDBENCH=141285
IDSOLVER=2762
FILE ID=node148/4299026-1532790393
RUNJOBID= node148-1532774285-30332
PBS_JOBID= 21022458
Free space on /tmp= 42984 MiB

SOLVER NAME= GG's minicp 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299026-1532790393/watcher-4299026-1532790393 -o /tmp/evaluation-result-4299026-1532790393/solver-4299026-1532790393 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30332 --watchdog 2580  java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299026-1532790393.xml

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=19805666

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15674460 kB
MemAvailable:   24239692 kB
Buffers:          227984 kB
Cached:          8470068 kB
SwapCached:          352 kB
Active:          9957776 kB
Inactive:        6470512 kB
Active(anon):    7683388 kB
Inactive(anon):    74228 kB
Active(file):    2274388 kB
Inactive(file):  6396284 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:            103584 kB
Writeback:             0 kB
AnonPages:       7736124 kB
Mapped:            54984 kB
Shmem:             25016 kB
Slab:             351780 kB
SReclaimable:     323020 kB
SUnreclaim:        28760 kB
KernelStack:        3504 kB
PageTables:        20276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8650968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7593984 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= 43160 MiB
End job on node148 at 2018-07-28 17:48:12