Trace number 4310532

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)148644 252.051 238.44

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
MD5SUMe2f0d6978164174a80e953d0a2a49c7e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41530
Best CPU time to get the best result obtained on this benchmark251.979
Satisfiable
(Un)Satisfiability was proved
Number of variables2370
Number of constraints2170
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1970},{"size":6,"count":34},{"size":22,"count":22},{"size":24,"count":20},{"size":36,"count":26},{"size":42,"count":66},{"size":44,"count":232}]
Minimum variable degree1
Maximum variable degree24
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1975},{"degree":3,"count":12},{"degree":4,"count":24},{"degree":5,"count":37},{"degree":6,"count":38},{"degree":7,"count":58},{"degree":8,"count":40},{"degree":9,"count":22},{"degree":10,"count":22},{"degree":11,"count":7},{"degree":12,"count":4},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":17,"count":15},{"degree":18,"count":19},{"degree":19,"count":26},{"degree":20,"count":34},{"degree":21,"count":18},{"degree":22,"count":10},{"degree":23,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1970}]
Number of extensional constraints0
Number of intensional constraints2170
Distribution of constraint types[{"type":"intension","count":2170}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 478280435
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
5.83/2.58	c Parsing done, starting first complete search...
117.38/110.14	o 216253
117.38/110.14	c First complete search done, starting ALNS search...
117.86/110.48	o 216243
118.20/110.67	o 216153
118.20/110.68	o 216143
118.38/110.71	o 216053
118.38/110.72	o 216043
118.38/110.75	o 215953
118.38/110.77	o 215943
118.82/111.12	o 215933
119.33/111.52	o 215923
120.12/111.90	o 215913
120.12/111.91	o 215912
120.12/111.92	o 215911
120.12/111.95	o 215910
120.12/111.95	o 215033
120.12/111.96	o 215032
120.12/111.96	o 215031
120.12/111.97	o 215023
120.12/111.98	o 215022
120.12/111.98	o 215021
120.12/111.99	o 215020
120.12/112.00	o 214933
120.28/112.00	o 214923
120.28/112.01	o 214922
120.28/112.01	o 214921
120.28/112.02	o 214920
120.28/112.03	o 214913
120.28/112.03	o 214912
120.28/112.04	o 214911
120.28/112.05	o 214910
120.49/112.12	o 214909
120.49/112.12	o 214903
120.49/112.13	o 214902
120.49/112.13	o 214901
120.49/112.14	o 214900
120.49/112.16	o 214899
120.49/112.16	o 214893
120.49/112.17	o 214892
120.49/112.17	o 214891
120.49/112.18	o 214890
120.49/112.19	o 214833
120.49/112.20	o 214823
120.49/112.20	o 214813
120.67/112.21	o 214812
120.67/112.21	o 214811
120.67/112.22	o 214810
120.67/112.22	o 214803
120.67/112.23	o 214802
120.67/112.23	o 214801
120.67/112.24	o 214800
120.67/112.24	o 214793
120.67/112.25	o 214792
120.67/112.25	o 214791
120.67/112.29	o 214033
120.67/112.30	o 214032
120.77/112.30	o 213933
120.77/112.30	o 213932
120.77/112.31	o 213931
120.77/112.31	o 213923
120.77/112.32	o 213922
120.77/112.32	o 213921
120.77/112.33	o 213913
120.77/112.33	o 213912
120.77/112.34	o 213911
120.77/112.34	o 213910
120.77/112.35	o 213833
120.77/112.35	o 213832
120.77/112.36	o 213831
120.77/112.36	o 213823
120.77/112.36	o 213822
120.77/112.37	o 213821
120.77/112.37	o 213813
120.77/112.38	o 213812
120.77/112.38	o 213811
120.87/112.40	o 213803
120.87/112.40	o 213802
120.87/112.41	o 213801
121.10/112.62	o 213800
121.22/112.71	o 213799
121.22/112.74	o 213792
121.22/112.74	o 213791
121.22/112.74	o 213790
121.22/112.75	o 213789
121.22/112.77	o 213033
121.22/112.78	o 213023
121.22/112.78	o 213013
121.22/112.78	o 213012
121.22/112.79	o 213011
121.22/112.80	o 212933
121.32/112.80	o 212932
121.32/112.81	o 212923
121.32/112.81	o 212922
121.32/112.82	o 212913
121.32/112.82	o 212912
121.32/112.83	o 212911
121.32/112.83	o 212910
121.32/112.84	o 212833
121.32/112.84	o 212823
121.32/112.85	o 212813
121.32/112.85	o 212812
121.32/112.86	o 212811
121.32/112.87	o 212810
121.43/112.93	o 212803
121.43/112.93	o 212802
121.43/112.93	o 212801
121.43/112.94	o 212800
121.66/113.13	o 212744
121.66/113.13	o 212734
121.66/113.14	o 212724
121.66/113.15	o 212723
121.66/113.15	o 212722
121.66/113.16	o 212714
121.66/113.16	o 212713
121.66/113.17	o 212712
121.79/113.23	o 212702
121.79/113.24	o 212701
122.46/113.64	o 211822
122.46/113.64	o 211812
122.46/113.64	o 211802
122.46/113.65	o 210822
122.46/113.65	o 210812
122.46/113.66	o 209822
122.46/113.66	o 209812
122.46/113.67	o 209802
122.46/113.68	o 209801
122.46/113.69	o 208811
122.46/113.69	o 208801
122.60/113.70	o 208800
122.60/113.72	o 208710
122.60/113.74	o 208700
122.60/113.75	o 208699
122.60/113.76	o 208690
122.60/113.76	o 208689
122.60/113.77	o 208622
122.60/113.78	o 208621
122.60/113.78	o 208612
122.60/113.79	o 208611
122.71/113.80	o 208610
122.71/113.80	o 208601
122.71/113.81	o 208600
122.71/113.82	o 208511
122.71/113.82	o 208510
122.71/113.83	o 208501
122.71/113.83	o 208500
122.81/113.99	o 208499
122.81/113.99	o 208498
123.00/114.00	o 208489
123.00/114.01	o 208488
123.00/114.09	o 208421
123.00/114.10	o 208420
123.00/114.10	o 208411
123.11/114.11	o 208410
123.11/114.12	o 208321
123.11/114.13	o 208311
123.11/114.14	o 208310
123.11/114.15	o 208309
123.11/114.15	o 208300
123.11/114.16	o 208299
127.90/118.72	o 208261
129.23/120.09	o 208223
129.33/120.14	o 208222
129.33/120.18	o 208221
129.44/120.22	o 208213
129.44/120.26	o 208212
129.53/120.30	o 208211
130.10/120.81	o 208123
130.10/120.85	o 208122
130.10/120.88	o 208121
130.20/120.92	o 208113
130.20/120.96	o 208112
130.30/121.00	o 208111
130.41/121.12	o 208103
130.41/121.16	o 208102
130.41/121.19	o 208101
135.23/125.72	o 207301
138.39/128.63	o 207291
141.58/131.64	o 207284
141.58/131.69	o 207283
141.69/131.75	o 206293
141.69/131.80	o 206292
141.80/131.85	o 206284
141.91/131.90	o 206283
141.91/131.96	o 206282
142.01/132.06	o 206274
142.12/132.12	o 206273
142.12/132.18	o 206272
142.23/132.27	o 206271
142.32/132.37	o 206270
142.72/132.72	o 206269
142.82/132.80	o 206268
142.82/132.89	o 206267
142.92/132.99	o 206266
143.13/133.18	o 205290
143.31/133.21	o 205289
143.31/133.24	o 205288
143.31/133.28	o 205287
143.41/133.33	o 205286
143.41/133.37	o 205285
143.51/133.41	o 205284
143.51/133.46	o 205283
143.61/133.52	o 205282
143.61/133.58	o 204383
143.75/133.60	o 204382
143.85/133.76	o 203383
143.85/133.77	o 202383
143.85/133.78	o 202382
144.15/134.05	o 201383
144.15/134.05	o 201382
144.15/134.07	o 200383
144.15/134.07	o 200382
144.96/134.85	o 200372
145.55/135.36	o 200371
146.15/135.95	o 199371
146.15/135.97	o 198371
146.15/135.98	o 198370
146.15/135.99	o 198369
146.27/136.00	o 198271
146.27/136.01	o 198270
146.27/136.02	o 198269
146.27/136.03	o 198171
146.27/136.04	o 198170
146.27/136.06	o 198169
146.38/136.13	o 198168
146.38/136.15	o 198160
146.38/136.16	o 198159
146.71/136.43	o 198154
146.71/136.46	o 198153
146.81/136.52	o 198152
146.91/136.60	o 198151
146.91/136.69	o 197266
147.01/136.70	o 197166
147.01/136.77	o 197165
147.11/136.85	o 197156
147.21/136.92	o 197155
147.43/137.04	o 197154
147.54/137.12	o 197153
147.54/137.21	o 197152
147.65/137.22	o 197052
147.65/137.24	o 196153
147.65/137.26	o 196053
147.65/137.28	o 196052
147.85/137.42	o 196050
148.15/137.72	o 196049
148.56/138.17	o 196048
148.75/138.37	o 196047
148.85/138.44	o 196046
148.95/138.52	o 195051
148.95/138.57	o 195050
149.06/138.63	o 195049
149.16/138.71	o 195048
149.16/138.79	o 195047
149.36/138.97	o 195046
149.45/139.06	o 194049
149.57/139.14	o 194048
149.67/139.22	o 194047
150.10/139.51	o 194046
150.10/139.54	o 194045
150.31/139.73	o 194044
150.31/139.75	o 194043
150.31/139.76	o 194035
150.51/139.98	o 193128
150.51/139.99	o 193027
150.61/140.03	o 193026
150.72/140.16	o 192937
150.72/140.17	o 192936
150.72/140.18	o 192028
150.72/140.19	o 192027
150.72/140.20	o 191927
150.82/140.21	o 191926
152.07/141.46	o 191925
152.58/141.91	o 191905
152.58/141.95	o 191805
152.58/141.99	o 191804
152.68/142.03	o 191705
152.68/142.06	o 191704
152.88/142.14	o 191604
152.88/142.17	o 191504
153.00/142.21	o 191503
153.39/142.67	o 191502
153.69/142.90	o 191501
153.90/143.16	o 191403
153.90/143.20	o 191402
154.00/143.22	o 191401
154.19/143.40	o 191400
154.39/143.65	o 191394
154.39/143.68	o 191393
154.49/143.71	o 191392
154.49/143.75	o 191391
154.69/143.92	o 190491
154.69/143.93	o 190391
154.84/144.02	o 190291
154.84/144.08	o 189492
154.84/144.10	o 189392
154.95/144.14	o 189292
154.95/144.21	o 188393
155.10/144.23	o 187393
155.10/144.27	o 187293
155.28/144.42	o 187292
155.38/144.54	o 187193
155.38/144.56	o 187192
155.69/144.80	o 187191
155.69/144.82	o 187091
157.04/146.00	o 187081
157.04/146.02	o 186991
157.04/146.03	o 186981
157.15/146.15	o 186890
157.15/146.19	o 186889
157.26/146.24	o 186888
157.37/146.36	o 186887
157.47/146.43	o 186788
157.47/146.46	o 186688
157.47/146.49	o 186588
157.57/146.58	o 186488
157.67/146.62	o 186388
157.67/146.66	o 186387
157.97/146.96	o 185588
158.07/147.00	o 185587
158.07/147.04	o 185487
158.07/147.08	o 185388
158.18/147.11	o 185387
158.28/147.21	o 184588
158.28/147.25	o 184587
158.28/147.29	o 184488
158.37/147.32	o 184487
158.37/147.36	o 184387
158.57/147.56	o 183476
158.68/147.67	o 183475
158.98/147.90	o 183466
158.98/147.93	o 183465
159.61/148.44	o 182478
159.61/148.46	o 182477
159.61/148.48	o 182467
159.70/148.51	o 182466
159.90/148.77	o 181666
159.90/148.80	o 181665
160.00/148.82	o 181566
160.00/148.85	o 181565
160.10/148.98	o 181466
160.20/149.00	o 181465
160.20/149.10	o 181367
160.31/149.12	o 181366
160.31/149.20	o 181357
160.41/149.24	o 181356
160.50/149.33	o 181355
160.60/149.43	o 181354
161.42/150.24	o 181254
161.62/150.43	o 181244
161.82/150.68	o 181154
161.92/150.73	o 181144
162.12/150.94	o 180144
162.22/151.03	o 180045
162.22/151.05	o 180044
162.33/151.13	o 180034
162.33/151.17	o 179144
162.33/151.20	o 179044
162.43/151.24	o 179034
162.52/151.36	o 178935
162.62/151.41	o 178934
162.62/151.49	o 178844
162.72/151.52	o 178834
162.82/151.65	o 178124
162.82/151.67	o 178114
162.91/151.71	o 178024
162.91/151.75	o 178014
163.02/151.82	o 177844
163.02/151.87	o 177834
163.12/151.93	o 177744
163.12/151.98	o 177734
163.22/152.04	o 177644
163.22/152.09	o 177634
163.33/152.17	o 176924
163.43/152.21	o 176914
163.43/152.27	o 176824
163.58/152.36	o 176814
165.87/154.55	o 176813
165.87/154.60	o 175813
165.97/154.65	o 174813
166.07/154.72	o 174803
166.07/154.78	o 174792
166.77/155.43	o 173814
166.77/155.47	o 173804
166.87/155.53	o 173793
167.07/155.76	o 173704
167.60/156.25	o 173694
167.70/156.32	o 173684
167.80/156.43	o 173674
168.00/156.62	o 173673
168.20/156.86	o 173664
168.30/156.92	o 173663
168.30/156.98	o 172704
168.40/157.04	o 172703
168.40/157.10	o 172694
168.51/157.15	o 172693
168.51/157.21	o 172684
168.62/157.26	o 172683
168.71/157.32	o 172674
168.71/157.37	o 172673
168.81/157.43	o 172664
168.81/157.48	o 172663
169.52/158.14	o 172583
169.81/158.47	o 172573
170.11/158.71	o 172563
171.01/159.60	o 172485
171.01/159.63	o 171585
171.01/159.66	o 171485
171.11/159.70	o 171475
172.25/160.87	o 170505
172.35/160.91	o 170495
172.45/161.04	o 170485
172.45/161.05	o 170475
172.56/161.12	o 169496
172.56/161.15	o 169495
172.56/161.19	o 169486
172.66/161.21	o 169485
172.85/161.46	o 169483
172.96/161.52	o 169481
173.06/161.61	o 169480
173.16/161.70	o 169479
173.86/162.41	o 169478
175.81/164.32	o 169468
176.82/165.33	o 168478
176.82/165.37	o 168468
177.12/165.52	o 167669
177.12/165.59	o 167668
178.56/166.94	o 167660
179.06/167.49	o 167658
179.16/167.55	o 167650
179.78/168.19	o 166759
179.88/168.24	o 166659
179.97/168.30	o 166650
179.97/168.38	o 166569
180.07/168.41	o 166559
180.07/168.47	o 166550
180.17/168.54	o 166469
180.17/168.57	o 166459
180.27/168.63	o 166450
180.37/168.71	o 165859
180.37/168.76	o 165759
180.47/168.82	o 165659
180.47/168.87	o 165569
180.57/168.91	o 165559
180.57/168.97	o 165550
180.67/169.09	o 164651
180.81/169.12	o 164650
180.81/169.15	o 164649
180.81/169.20	o 164551
180.91/169.24	o 164550
183.65/171.52	o 164549
183.75/171.64	o 164539
183.85/171.75	o 164538
183.95/171.84	o 164439
184.05/171.94	o 164438
184.15/172.08	o 164339
184.26/172.18	o 164338
184.65/172.53	o 164252
184.65/172.55	o 164251
184.65/172.59	o 164250
184.75/172.62	o 164249
184.75/172.65	o 164248
184.85/172.71	o 164247
184.85/172.78	o 164246
185.05/172.98	o 164245
185.26/173.20	o 164244
185.55/173.45	o 164243
186.05/173.90	o 164242
186.44/174.28	o 164241
193.15/180.86	o 163242
194.38/182.06	o 163232
194.49/182.20	o 163222
194.78/182.44	o 162242
194.88/182.59	o 162232
195.08/182.72	o 162222
195.78/183.44	o 162132
195.78/183.47	o 162122
195.88/183.53	o 162032
195.88/183.55	o 162022
195.88/183.58	o 161331
195.88/183.59	o 161321
196.18/183.88	o 161241
196.30/183.93	o 161240
197.30/184.99	o 161230
197.81/185.48	o 161229
199.02/186.69	o 160338
199.22/186.80	o 160228
199.32/186.93	o 160128
199.42/187.05	o 160039
199.42/187.08	o 159238
199.53/187.13	o 159138
199.53/187.16	o 159128
199.63/187.22	o 159028
199.72/187.34	o 159018
200.77/188.36	o 159017
200.77/188.40	o 159008
200.88/188.42	o 159007
200.98/188.52	o 158918
200.98/188.55	o 158908
200.98/188.59	o 158907
202.78/190.37	o 158107
202.98/190.51	o 158007
203.08/190.66	o 157907
203.28/190.86	o 157897
203.48/191.10	o 157896
203.59/191.20	o 157895
204.12/191.67	o 156896
205.72/193.16	o 156827
205.72/193.19	o 156817
205.84/193.21	o 156807
205.84/193.24	o 156797
205.84/193.28	o 156796
205.93/193.36	o 156786
205.93/193.39	o 156706
206.03/193.42	o 156696
206.03/193.46	o 156686
206.03/193.49	o 156596
206.13/193.53	o 156595
206.13/193.58	o 156586
206.23/193.62	o 156496
206.23/193.66	o 156495
206.33/193.72	o 156486
206.33/193.76	o 156485
206.43/193.80	o 156406
206.43/193.84	o 156405
206.43/193.87	o 156396
206.53/193.90	o 156395
208.61/195.88	o 156296
209.71/196.99	o 156286
210.92/198.04	o 156285
211.92/199.01	o 156284
212.03/199.19	o 156283
212.22/199.38	o 156273
212.62/199.74	o 156262
219.35/206.49	o 156253
219.45/206.53	o 156252
221.81/208.83	o 155252
221.91/208.96	o 154252
222.01/209.08	o 154242
223.22/210.22	o 154152
223.32/210.37	o 154142
223.96/210.99	o 154053
224.17/211.14	o 153963
224.17/211.20	o 153953
225.17/212.19	o 153952
225.27/212.25	o 153951
225.36/212.33	o 153945
225.36/212.38	o 153944
225.46/212.45	o 153943
225.56/212.54	o 153942
225.56/212.59	o 153941
225.78/212.72	o 153074
225.78/212.78	o 153072
225.88/212.84	o 153064
225.98/212.90	o 153062
225.98/212.98	o 153055
226.08/213.04	o 153054
226.19/213.12	o 153052
226.19/213.20	o 153051
226.29/213.28	o 152965
226.38/213.33	o 152964
226.38/213.38	o 152963
226.48/213.42	o 152962
226.48/213.48	o 152955
226.58/213.53	o 152953
226.58/213.57	o 152952
226.68/213.63	o 152944
226.68/213.70	o 152942
226.88/213.87	o 152941
226.98/213.95	o 152843
227.08/214.04	o 152842
227.19/214.14	o 152841
228.49/215.42	o 152751
228.49/215.46	o 152741
228.79/215.75	o 152740
228.89/215.80	o 152739
229.30/216.21	o 152738
229.30/216.28	o 152651
229.39/216.35	o 152650
229.49/216.42	o 152649
229.49/216.49	o 152641
229.59/216.55	o 152640
229.70/216.62	o 152639
229.80/216.74	o 152638
229.90/216.80	o 152551
229.90/216.87	o 152541
230.00/216.94	o 152540
230.10/217.00	o 152539
230.21/217.20	o 151639
230.31/217.29	o 151539
235.58/222.49	o 150539
236.39/223.23	o 150449
236.78/223.61	o 150439
236.99/223.84	o 150438
237.40/224.25	o 150437
237.59/224.46	o 150338
237.69/224.51	o 150337
237.69/224.59	o 150328
237.79/224.66	o 150327
237.89/224.75	o 150326
240.21/227.03	o 150316
245.24/232.05	o 149426
245.24/232.10	o 149326
245.35/232.14	o 149316
245.75/232.59	o 149119
245.85/232.63	o 149118
245.85/232.68	o 149117
245.95/232.73	o 149116
246.05/232.80	o 149115
247.05/233.74	o 149114
247.25/233.93	o 149113
247.65/234.38	o 149022
247.75/234.47	o 149021
247.85/234.58	o 149020
248.05/234.75	o 149019
248.34/234.98	o 149018
248.55/235.16	o 149017
248.74/235.35	o 149016
249.24/235.85	o 149015
249.44/236.07	o 149014
249.85/236.31	o 149013
251.25/237.74	o 148934
251.36/237.85	o 148834
251.46/237.96	o 148734
251.91/238.32	o 148644
252.01/238.40	s SATISFIABLE
252.01/238.41	v <instantiation>
252.01/238.41	v 	<list>
252.01/238.41	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512]
252.01/238.41	v 	</list>
252.01/238.41	v 	<values>
252.01/238.41	v 		554 792 792 554 268 30 58 296 764 526 142 380 268 30 58 296 652 414 526 764 750 512 142 380 254 16 652 414 722 484 16 254 750 512 394 156 792 554 484 722 470 708 792 554 240 478 652 414 540 778 478 240 86 324 554 792 100 338 792 554 240 478 428 666 554 792 156 394 30 268 16 254 394 156 792 554 456 694 282 44 156 394 792 554 114 352 512 750 526 764 352 114 394 156 526 764 414 652 554 792 554 792 526 764 764 526 254 16 680 442 408 170 16 254 86 324 324 86 282 44 526 764 498 736 792 554 142 380 512 750 540 778 778 540 736 498 778 540 554 792 554 792 394 156 792 554 240 478 540 778 282 44 142 380 778 540 100 338 394 156 680 442 736 498 100 338 86 324 380 142 170 408 554 792 30 268 114 352 778 540 478 240 792 554 792 554 792 554 470 708 792 554 478 240 394 156 792 554 156 394 442 680 128 366 128 366 554 792 764 526 540 778 16 254 142 380 428 666 478 240 484 722 442 680 792 554 58 296 156 394 540 778 792 554 352 114 254 16 338 100 456 694 722 484 414 652 478 240 792 554 652 414 478 240 764 526 470 708 680 442 540 778 414 652 792 554 268 30 708 470 792 554 380 142 428 666 428 666 268 30 554 792 408 170 156 394 470 708 512 750 394 156 324 86 86 324 540 778 554 792 16 254 498 736 750 512 764 526 16 254 554 792 268 30 778 540 30 268 680 442 792 554 352 114 484 722 792 554 554 792 764 526 456 694 540 778 708 470 254 16 512 750 652 414 540 778 156 394 442 680 526 764 694 456 512 750 142 380 240 478 778 540 792 554 268 30 16 254 100 338 722 484 792 554 338 100 366 128 554 792 792 554 414 652 240 478 652 414 366 128 58 296 478 240 156 394 554 792 526 764 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 1000 1000 1000 0 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 100 100 100 0 0 100 100 0 0 100 0 100 100 0 100 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 100 0 100 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 100 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 100 100 0 100 0 100 100 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 0 100 100 100 100 100 0 0 0 0 0 0 100 0 0 100 100 100 100 0 0 100 100 100 0 0 100 0 0 0 100 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 100 100 0 0 100 0 0 0 100 100 0 100 0 0 100 0 0 0 100 100 100 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 100 0 100 0 0 100 0 0 100 0 100 0 100 100 100 0 100 100 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 100 0 0 0 100 100 100 0 0 0 100 100 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 0 100 100 0 100 100 0 0 100 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 100 0 100 100 0 0 100 0 0 100 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 10 0 10 0 0 10 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 10 10 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 10 10 0 10 10 10 10 10 10 0 10 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 10 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 0 10 0 0 10 10 0 10 0 10 0 10 10 0 10 0 10 0 0 10 0 10 0 10 10 10 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 0 10 10 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 
252.01/238.41	v 	</values>
252.01/238.41	v </instantiation>

Verifier Data 

OK	148644

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310532-1534329287/watcher-4310532-1534329287 -o /tmp/evaluation-result-4310532-1534329287/solver-4310532-1534329287 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 478280435 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310532-1534329287.xml 

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

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

solver pid=20817, runsolver pid=20814

[startup+0.100165 s]*
/proc/loadavg: 1.13 1.34 1.39 4/219 20832
/proc/meminfo: memFree=18913696/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14082736 memory=34124 CPUtime=0.11 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 6972 0 0 0 10 1 0 0 20 0 15 0 250491887 14420721664 8531 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3520684 8531 3137 1 0 3482761 0
[pid=20817/tid=20819] ppid=20814 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 5036 0 0 0 8 1 0 0 20 0 15 0 250491887 14420721664 8531 33554432000 4194304 4196468 140725264714144 140459420928352 140459400824188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14082736 memory=5793855153228921273 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 8531 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 8531 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 8531 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 8531 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491889 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458889557152 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458888504048 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0.01 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) R 20814 20817 20506 0 -1 4202560 250 0 0 0 1 0 0 0 20 0 15 0 250491892 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458884295152 140459395659554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491893 14420721664 8531 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34124 KiB

[startup+0.214596 s]*
/proc/loadavg: 1.13 1.34 1.39 6/219 20832
/proc/meminfo: memFree=18898316/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14082736 memory=48032 CPUtime=0.32 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 10023 0 0 0 29 3 0 0 20 0 15 0 250491887 14420721664 12008 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3520684 12008 3412 1 0 3482761 0
[pid=20817/tid=20819] ppid=20814 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 7742 0 0 0 18 2 0 0 20 0 15 0 250491887 14420721664 12008 33554432000 4194304 4196468 140725264714144 140459420972384 140459400787301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14082736 memory=4211973628423818634 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12008 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12008 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12008 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12008 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491889 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458889557152 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458888504048 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 250491892 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) R 20814 20817 20506 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 250491892 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0.06 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 250491892 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491893 14420721664 12008 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48032 KiB

[startup+0.3108 s]*
/proc/loadavg: 1.13 1.34 1.39 3/219 20832
/proc/meminfo: memFree=18895028/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14082736 memory=51260 CPUtime=0.44 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 10372 0 0 0 41 3 0 0 20 0 15 0 250491887 14420721664 12815 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3520684 12815 3414 1 0 3482761 0
[pid=20817/tid=20819] ppid=20814 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 8077 0 0 0 28 2 0 0 20 0 15 0 250491887 14420721664 12815 33554432000 4194304 4196468 140725264714144 140459420964768 140459398307231 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14082736 memory=4211973628423818634 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12815 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14082736 memory=139902219030456 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12815 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14082736 memory=139902117345804 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12815 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14082736 memory=139902117334479 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491888 14420721664 12815 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14082736 memory=139902219048628 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491889 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14082736 memory=139902117343663 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458889557152 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14082736 memory=279804234678160 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491890 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458888504048 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14082736 memory=279804234675856 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 250491892 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 250491892 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0.08 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 287 0 0 0 8 0 0 0 20 0 15 0 250491892 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14082736 memory=139902219028096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491893 14420721664 12815 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51260 KiB

[startup+0.700903 s]
/proc/loadavg: 1.13 1.34 1.39 6/219 20832
/proc/meminfo: memFree=18864452/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14084804 memory=89084 CPUtime=1 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 17086 0 0 0 95 5 0 0 20 0 15 0 250491887 14422839296 22271 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3521201 22271 3504 1 0 3483273 0
[pid=20817/tid=20819] ppid=20814 vsize=14084804 memory=876 CPUtime=0.67 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 14398 0 0 0 63 4 0 0 20 0 15 0 250491887 14422839296 22271 33554432000 4194304 4196468 140725264714144 140459420967664 140459416765597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14084804 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14422839296 22271 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14422839296 22271 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491888 14422839296 22271 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491888 14422839296 22271 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491889 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491890 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458889557152 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491890 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458888504048 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14084804 memory=268 CPUtime=0.08 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 529 0 0 0 8 0 0 0 20 0 15 0 250491892 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 412 0 0 0 7 0 0 0 20 0 15 0 250491892 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14084804 memory=20505 CPUtime=0.15 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 367 0 0 0 15 0 0 0 20 0 15 0 250491892 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14084804 memory=279804234862064 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491893 14422839296 22271 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89084 KiB

[startup+1.50076 s]
/proc/loadavg: 1.13 1.34 1.39 6/219 20832
/proc/meminfo: memFree=18802220/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14086852 memory=223284 CPUtime=3.46 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 26359 0 0 0 337 9 0 0 20 0 15 0 250491887 14424936448 55821 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3521713 55821 3560 1 0 3483785 0
[pid=20817/tid=20819] ppid=20814 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 16589 0 0 0 140 6 0 0 20 0 15 0 250491887 14424936448 55821 33554432000 4194304 4196468 140725264714144 140459420978160 140459008611654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14086852 memory=-3535359994705172833 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 250491888 14424936448 55821 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 250491888 14424936448 55821 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 250491888 14424936448 55821 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14086852 memory=-6439125508584857956 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 250491888 14424936448 55821 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 250491889 14424936448 55821 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0

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

/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 34766 0 0 0 16106 52 0 0 20 0 15 0 250491887 14431227904 752695 33554432000 4194304 4196468 140725264714144 140459420972976 140459010336628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14092996 memory=13567093857585738 CPUtime=0.58 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 2427 0 0 0 44 14 0 0 20 0 15 0 250491888 14431227904 752695 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14092996 memory=1704 CPUtime=0.58 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1395 0 0 0 43 15 0 0 20 0 15 0 250491888 14431227904 752695 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14092996 memory=796 CPUtime=0.59 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 2605 0 0 0 44 15 0 0 20 0 15 0 250491888 14431227904 752695 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14092996 memory=5408 CPUtime=0.58 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 1667 0 0 0 44 14 0 0 20 0 15 0 250491888 14431227904 752695 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14092996 memory=876 CPUtime=0.04 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 2724 0 0 0 4 0 0 0 20 0 15 0 250491889 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14092996 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458889557216 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14092996 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458888504064 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14092996 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14092996 memory=1160 CPUtime=4.29 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 8124 0 0 0 428 1 0 0 20 0 15 0 250491892 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14092996 memory=10852 CPUtime=3.94 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 6337 0 0 0 392 2 0 0 20 0 15 0 250491892 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14092996 memory=4616 CPUtime=1.4 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 9808 0 0 0 138 2 0 0 20 0 15 0 250491892 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14092996 memory=56 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14092996 memory=-7595718316223324558 CPUtime=0.07 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 428 0 0 0 4 3 0 0 20 0 15 0 250491893 14431227904 752695 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 173.76 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3010780 KiB

[startup+222.301 s]
/proc/loadavg: 1.56 1.60 1.50 3/215 20835
/proc/meminfo: memFree=14350816/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14092996 memory=2563528 CPUtime=235.48 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 75368 0 0 0 23414 134 0 0 20 0 15 0 250491887 14431227904 640882 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3523249 640882 3614 1 0 3485321 0
[pid=20817/tid=20819] ppid=20814 vsize=14092996 memory=316378119475036471 CPUtime=221.11 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 35634 0 0 0 22058 53 0 0 20 0 15 0 250491887 14431227904 640882 33554432000 4194304 4196468 140725264714144 140459420981456 140459016430881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14092996 memory=13567093857585738 CPUtime=0.99 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 2625 0 0 0 83 16 0 0 20 0 15 0 250491888 14431227904 640882 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14092996 memory=4104 CPUtime=0.99 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 1856 0 0 0 82 17 0 0 20 0 15 0 250491888 14431227904 640882 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14092996 memory=1696 CPUtime=1 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 2918 0 0 0 83 17 0 0 20 0 15 0 250491888 14431227904 640882 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14092996 memory=920 CPUtime=0.99 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2139 0 0 0 83 16 0 0 20 0 15 0 250491888 14431227904 640882 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14092996 memory=3840 CPUtime=0.1 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 3712 0 0 0 9 1 0 0 20 0 15 0 250491889 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14092996 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458889557216 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14092996 memory=2584 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458888504064 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14092996 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14092996 memory=2972 CPUtime=4.47 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 8128 0 0 0 446 1 0 0 20 0 15 0 250491892 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14092996 memory=2276060 CPUtime=4.2 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 6692 0 0 0 418 2 0 0 20 0 15 0 250491892 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14092996 memory=1408 CPUtime=1.43 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 9813 0 0 0 141 2 0 0 20 0 15 0 250491892 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14092996 memory=3064 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14092996 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 432 0 0 0 6 5 0 0 20 0 15 0 250491893 14431227904 640882 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 235.48 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2563528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+238.401 s]
/proc/loadavg: 1.59 1.60 1.50 3/215 20912
/proc/meminfo: memFree=16660076/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14092996 memory=2452944 CPUtime=252.01 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 80811 0 0 0 25063 138 0 0 20 0 15 0 250491887 14431227904 613236 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3523249 613236 3617 1 0 3485321 0
[pid=20817/tid=20819] ppid=20814 vsize=14092996 memory=2452944 CPUtime=237.07 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 37489 0 0 0 23654 53 0 0 20 0 15 0 250491887 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459420972784 140459016898327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14092996 memory=2561988 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 3567 0 0 0 94 17 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14092996 memory=2501084 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 2021 0 0 0 93 18 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14092996 memory=2453908 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 3268 0 0 0 94 17 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14092996 memory=2453988 CPUtime=1.1 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2236 0 0 0 94 16 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14092996 memory=2452944 CPUtime=0.12 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 3958 0 0 0 10 2 0 0 20 0 15 0 250491889 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14092996 memory=2598412 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458889557216 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14092996 memory=164 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458888504064 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14092996 memory=2453908 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14092996 memory=2453908 CPUtime=4.53 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 9693 0 0 0 451 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14092996 memory=2475948 CPUtime=4.2 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 6714 0 0 0 418 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14092996 memory=4048 CPUtime=1.44 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 9857 0 0 0 142 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14092996 memory=2453988 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14092996 memory=1228 CPUtime=0.11 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 589 0 0 0 6 5 0 0 20 0 15 0 250491893 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2452944 KiB

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

[startup+238.44 s]
# the end of solver process 20817 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.651 s, system=1.40017 s

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

[startup+238.401 s]
/proc/loadavg: 1.59 1.60 1.50 3/215 20912
/proc/meminfo: memFree=16660076/32770624 swapFree=67108860/67108860
[pid=20817] ppid=20814 vsize=14092996 memory=2452944 CPUtime=252.01 cores=0,2,4,6
/proc/20817/stat : 20817 (java) S 20814 20817 20506 0 -1 1077944320 80811 0 0 0 25063 138 0 0 20 0 15 0 250491887 14431227904 613236 33554432000 4194304 4196468 140725264714144 140725264696688 140459416743671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
/proc/20817/statm: 3523249 613236 3617 1 0 3485321 0
[pid=20817/tid=20819] ppid=20814 vsize=14092996 memory=2452944 CPUtime=237.07 cores=0,2,4,6
/proc/20817/task/20819/stat : 20819 (java) R 20814 20817 20506 0 -1 4202560 37489 0 0 0 23654 53 0 0 20 0 15 0 250491887 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459420972784 140459016898327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20820] ppid=20814 vsize=14092996 memory=2561988 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20820/stat : 20820 (java) S 20814 20817 20506 0 -1 1077944384 3567 0 0 0 94 17 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459331812368 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20821] ppid=20814 vsize=14092996 memory=2501084 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20821/stat : 20821 (java) S 20814 20817 20506 0 -1 1077944384 2021 0 0 0 93 18 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459330759824 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20822] ppid=20814 vsize=14092996 memory=2453908 CPUtime=1.11 cores=0,2,4,6
/proc/20817/task/20822/stat : 20822 (java) S 20814 20817 20506 0 -1 1077944384 3268 0 0 0 94 17 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459329706768 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20823] ppid=20814 vsize=14092996 memory=2453988 CPUtime=1.1 cores=0,2,4,6
/proc/20817/task/20823/stat : 20823 (java) S 20814 20817 20506 0 -1 1077944384 2236 0 0 0 94 16 0 0 20 0 15 0 250491888 14431227904 613236 33554432000 4194304 4196468 140725264714144 140459328654224 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20824] ppid=20814 vsize=14092996 memory=2452944 CPUtime=0.12 cores=0,2,4,6
/proc/20817/task/20824/stat : 20824 (java) S 20814 20817 20506 0 -1 1077944384 3958 0 0 0 10 2 0 0 20 0 15 0 250491889 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458890610928 140459416754818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20825] ppid=20814 vsize=14092996 memory=2598412 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20825/stat : 20825 (java) S 20814 20817 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458889557216 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20826] ppid=20814 vsize=14092996 memory=164 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20826/stat : 20826 (java) S 20814 20817 20506 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 250491890 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458888504064 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20827] ppid=20814 vsize=14092996 memory=2453908 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20827/stat : 20827 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458887452624 140459416762267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20828] ppid=20814 vsize=14092996 memory=2453908 CPUtime=4.53 cores=0,2,4,6
/proc/20817/task/20828/stat : 20828 (java) S 20814 20817 20506 0 -1 1077944384 9693 0 0 0 451 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458886400752 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20829] ppid=20814 vsize=14092996 memory=2475948 CPUtime=4.2 cores=0,2,4,6
/proc/20817/task/20829/stat : 20829 (java) S 20814 20817 20506 0 -1 1077944384 6714 0 0 0 418 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458885348208 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20830] ppid=20814 vsize=14092996 memory=4048 CPUtime=1.44 cores=0,2,4,6
/proc/20817/task/20830/stat : 20830 (java) S 20814 20817 20506 0 -1 1077944384 9857 0 0 0 142 2 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458884295152 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20831] ppid=20814 vsize=14092996 memory=2453988 CPUtime=0 cores=0,2,4,6
/proc/20817/task/20831/stat : 20831 (java) S 20814 20817 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491892 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458883242848 140459416753877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
[pid=20817/tid=20832] ppid=20814 vsize=14092996 memory=1228 CPUtime=0.11 cores=0,2,4,6
/proc/20817/task/20832/stat : 20832 (java) S 20814 20817 20506 0 -1 1077944384 589 0 0 0 6 5 0 0 20 0 15 0 250491893 14431227904 613236 33554432000 4194304 4196468 140725264714144 140458882189872 140459416754818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11239424 140725264716891 140725264717070 140725264717070 140725264719823 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2452944 KiB

Child status: 143
Real time (s): 238.44
CPU time (s): 252.051
CPU user time (s): 250.651
CPU system time (s): 1.40017
CPU usage (%): 105.708
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3064956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.651
system time used= 1.40017
maximum resident set size= 3077124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11789
involuntary context switches= 385


# summary of solver processes directly reported to runsolver:
#   pid: 20817
#   total CPU time (s): 252.051
#   total CPU user time (s): 250.651
#   total CPU system time (s): 1.40017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44176 second user time and 2.35234 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 12:34:47
IDJOB=4310532
IDBENCH=141194
IDSOLVER=2796
FILE ID=node139/4310532-1534329287
RUNJOBID= node139-1534329043-20537
PBS_JOBID= 21038153
Free space on /tmp= 34988 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-06-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310532-1534329287/watcher-4310532-1534329287 -o /tmp/evaluation-result-4310532-1534329287/solver-4310532-1534329287 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 478280435 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310532-1534329287.xml

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

MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e
RANDOM SEED=478280435

node139.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.80
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.80
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.80
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.80
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:        18934792 kB
MemAvailable:   31688768 kB
Buffers:          270144 kB
Cached:         12583540 kB
SwapCached:            0 kB
Active:          6428160 kB
Inactive:        6689300 kB
Active(anon):     217952 kB
Inactive(anon):   106808 kB
Active(file):    6210208 kB
Inactive(file):  6582492 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             72096 kB
Writeback:             0 kB
AnonPages:        271628 kB
Mapped:            78740 kB
Shmem:             57996 kB
Slab:             417972 kB
SReclaimable:     389736 kB
SUnreclaim:        28236 kB
KernelStack:        3584 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1329440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 34956 MiB
End job on node139 at 2018-08-15 12:38:46