Trace number 4310521

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)151308 252.072 237.637

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml
MD5SUM8413fdc9a9128e0623052c10493da036
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14479
Best CPU time to get the best result obtained on this benchmark252.078
Satisfiable
(Un)Satisfiability was proved
Number of variables2554
Number of constraints2355
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}]
Minimum variable degree2
Maximum variable degree24
Distribution of variable degrees[{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}]
Minimum constraint arity2
Maximum constraint arity118
Distribution of constraint arities[{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}]
Number of extensional constraints0
Number of intensional constraints2354
Distribution of constraint types[{"type":"intension","count":2354},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1241360839
0.68/0.55	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
6.36/2.83	c Parsing done, starting first complete search...
9.93/4.39	o 205239
11.11/4.92	o 205238
11.11/4.92	o 205229
11.11/4.92	o 205228
11.11/4.92	o 204339
11.11/4.92	o 204338
11.11/4.92	o 204328
11.11/4.92	o 203218
11.11/4.92	o 203217
11.11/4.92	o 203117
11.11/4.92	o 203017
11.11/4.92	o 201917
11.11/4.92	o 201118
11.11/4.92	o 201018
11.11/4.92	o 200918
11.11/4.92	o 200818
11.11/4.92	o 199828
11.11/4.92	o 199728
11.11/4.92	o 199718
11.11/4.92	o 199632
11.11/4.92	o 199629
11.11/4.92	o 199628
11.11/4.92	o 199618
11.11/4.92	o 199507
11.11/4.92	o 199506
11.11/4.92	o 199505
11.11/4.92	o 199417
11.11/4.92	o 199416
11.11/4.92	o 199406
11.11/4.92	o 199405
11.11/4.92	o 199396
11.11/4.92	o 199395
11.23/5.08	o 198608
11.23/5.08	o 198607
11.23/5.08	o 198507
11.23/5.09	o 198407
11.32/5.13	o 198406
11.32/5.13	o 198396
11.32/5.14	o 198395
11.53/5.39	o 198193
11.63/5.40	o 197193
11.63/5.43	o 197183
11.63/5.46	o 197108
11.63/5.46	o 197098
11.63/5.46	o 197096
11.63/5.47	o 197095
11.63/5.47	o 197094
11.74/5.52	o 196395
11.74/5.53	o 196298
11.74/5.55	o 196295
11.74/5.56	o 196294
11.74/5.57	o 196195
11.74/5.57	o 196194
11.74/5.57	o 196094
11.93/5.66	o 196093
11.93/5.67	o 196074
11.93/5.67	o 196073
12.35/6.06	o 195182
12.35/6.06	o 195181
12.35/6.07	o 195177
12.35/6.07	o 195176
12.35/6.07	o 195175
12.35/6.07	o 195165
12.35/6.07	o 195163
12.35/6.07	o 195162
12.35/6.08	o 195161
12.45/6.11	o 195072
13.58/7.28	o 194972
13.58/7.28	o 193972
13.73/7.38	o 193971
13.73/7.38	o 193970
13.73/7.39	o 193950
20.81/14.22	c First complete search done, starting ALNS search...
21.10/14.45	o 193872
21.10/14.45	o 193871
21.10/14.45	o 193870
21.10/14.45	o 193869
21.10/14.45	o 193868
21.10/14.46	o 193862
21.10/14.46	o 193861
21.10/14.46	o 193860
21.10/14.46	o 193859
21.10/14.46	o 193858
21.10/14.46	o 193772
21.10/14.46	o 193771
21.10/14.47	o 193770
21.10/14.47	o 193769
21.10/14.47	o 193768
21.10/14.47	o 193762
21.10/14.47	o 193761
21.10/14.47	o 193760
21.10/14.47	o 193759
21.10/14.47	o 193758
21.10/14.48	o 193757
21.10/14.48	o 193071
21.10/14.48	o 193070
21.10/14.48	o 193069
21.10/14.48	o 193061
21.10/14.48	o 193060
21.10/14.48	o 193059
21.10/14.49	o 192971
21.10/14.49	o 192970
22.70/15.82	o 192758
22.70/15.85	o 192748
22.70/15.87	o 192747
22.70/15.89	o 192657
22.80/15.92	o 192647
22.80/15.94	o 192646
22.80/15.97	o 191758
22.80/15.99	o 191748
22.92/16.02	o 191747
22.92/16.04	o 191657
22.92/16.06	o 191647
22.92/16.09	o 191646
23.02/16.12	o 190758
23.02/16.14	o 190748
23.02/16.17	o 190747
23.02/16.20	o 190746
23.11/16.22	o 190657
23.11/16.24	o 190647
23.11/16.27	o 190646
23.21/16.32	o 190637
23.21/16.34	o 190636
24.96/17.43	o 190635
24.96/17.43	o 190536
24.96/17.43	o 190535
24.96/17.44	o 190446
24.96/17.44	o 190445
24.96/17.44	o 190426
24.96/17.45	o 190336
24.96/17.45	o 190335
25.62/18.05	o 190287
25.91/18.38	o 190187
26.01/18.43	o 190186
26.12/18.53	o 190185
26.22/18.60	o 190184
26.22/18.66	o 190088
26.33/18.70	o 190087
26.33/18.74	o 190086
26.33/18.78	o 190085
26.43/18.86	o 189988
26.54/18.90	o 189987
26.54/18.94	o 189986
26.54/18.98	o 189985
26.65/19.06	o 189984
29.51/21.60	o 189094
29.62/21.76	o 188398
29.62/21.78	o 188397
29.72/21.83	o 188388
30.19/22.03	o 187390
30.19/22.04	o 187389
30.19/22.06	o 187388
30.19/22.08	o 187380
30.19/22.10	o 187379
30.32/22.13	o 187378
30.32/22.15	o 187370
30.32/22.17	o 187369
30.32/22.19	o 187368
30.41/22.22	o 187367
30.41/22.25	o 187366
30.41/22.29	o 187365
30.51/22.36	o 187364
30.61/22.41	o 187359
30.61/22.44	o 187358
30.61/22.47	o 187357
30.71/22.52	o 187356
30.71/22.57	o 187355
30.81/22.63	o 187354
30.91/22.71	o 187353
30.91/22.75	o 187352
30.91/22.79	o 187351
31.01/22.85	o 187350
31.11/22.91	o 187349
31.11/22.97	o 186386
31.11/22.98	o 186385
31.11/23.00	o 186384
31.22/23.03	o 186383
31.22/23.06	o 186382
31.22/23.10	o 186381
31.32/23.15	o 186380
31.41/23.20	o 186379
31.41/23.25	o 186376
31.41/23.26	o 186375
31.41/23.28	o 186374
31.51/23.31	o 186373
31.51/23.35	o 186372
31.51/23.38	o 186371
31.62/23.43	o 186370
31.62/23.48	o 186369
31.72/23.54	o 186368
31.72/23.59	o 186366
31.72/23.59	o 186365
31.82/23.62	o 186364
31.82/23.65	o 186363
31.82/23.69	o 186362
31.92/23.72	o 186361
31.92/23.77	o 186360
32.02/23.80	o 186359
32.02/23.85	o 186358
32.52/24.21	o 185457
32.52/24.21	o 185456
32.52/24.27	o 185455
32.64/24.34	o 185454
32.74/24.42	o 185453
32.84/24.54	o 185452
32.95/24.67	o 185451
33.14/24.80	o 185450
33.25/24.97	o 185358
33.25/24.98	o 185357
33.36/25.06	o 185356
33.46/25.14	o 185355
34.62/26.20	o 184706
34.62/26.21	o 184696
34.62/26.24	o 184606
34.62/26.27	o 184596
34.72/26.30	o 184506
34.72/26.32	o 184496
34.72/26.36	o 184486
34.82/26.46	o 184406
34.82/26.47	o 184396
35.22/26.61	o 184306
35.22/26.62	o 184296
35.22/26.67	o 184286
35.33/26.70	o 184198
35.33/26.71	o 184188
35.33/26.75	o 184178
38.09/29.33	o 184050
38.09/29.38	o 184040
38.19/29.44	o 184039
38.29/29.51	o 184029
38.29/29.57	o 184028
38.39/29.64	o 183950
38.39/29.69	o 183940
38.49/29.75	o 183939
38.59/29.81	o 183929
38.59/29.86	o 183928
38.69/29.94	o 183919
41.42/32.63	o 183909
45.99/36.96	o 183899
45.99/37.00	o 182909
46.11/37.03	o 182899
49.43/40.38	o 182898
49.54/40.42	o 182897
49.64/40.50	o 182798
49.64/40.53	o 182787
49.64/40.58	o 182777
50.34/41.25	o 181984
50.34/41.26	o 181983
50.45/41.32	o 181982
50.45/41.35	o 181981
50.55/41.40	o 181980
50.55/41.47	o 181979
50.65/41.51	o 181978
50.65/41.54	o 181977
50.85/41.74	o 181975
50.85/41.77	o 181972
50.85/41.79	o 181971
50.96/41.82	o 181970
50.96/41.84	o 181969
50.96/41.87	o 181968
51.05/41.93	o 181967
51.17/42.03	o 181894
51.17/42.07	o 181893
51.27/42.11	o 181891
51.27/42.14	o 181890
51.27/42.19	o 181889
51.36/42.22	o 181888
51.36/42.27	o 181884
51.36/42.29	o 181883
51.48/42.33	o 181881
51.48/42.36	o 181880
51.48/42.39	o 181879
51.57/42.41	o 181878
51.57/42.47	o 181877
51.77/42.62	o 181875
51.77/42.67	o 181874
51.87/42.74	o 180884
52.18/43.09	o 180876
52.29/43.15	o 180866
52.47/43.35	o 180768
52.47/43.36	o 180767
52.83/43.61	o 180765
53.03/43.73	o 180764
53.20/43.84	o 180763
53.30/43.97	o 180762
53.51/44.12	o 180761
53.70/44.33	o 180760
53.90/44.52	o 180759
54.10/44.74	o 180758
55.20/45.83	o 180748
55.30/45.94	o 179859
55.41/46.01	o 179849
55.41/46.10	o 179759
55.51/46.16	o 179749
55.70/46.36	o 179660
55.80/46.45	o 179650
56.10/46.70	o 179640
59.21/49.72	o 179454
59.21/49.76	o 179453
59.31/49.81	o 179452
59.31/49.87	o 179444
59.41/49.92	o 179443
59.41/49.96	o 179442
59.52/50.02	o 179441
59.71/50.28	o 179440
60.53/51.01	o 179430
60.53/51.04	o 179420
62.65/53.16	o 178530
62.65/53.18	o 177530
62.74/53.20	o 177430
62.86/53.31	o 176431
62.86/53.37	o 176430
62.96/53.42	o 176331
62.96/53.47	o 176330
63.06/53.56	o 176329
63.16/53.62	o 175431
63.31/53.75	o 175430
63.51/53.81	o 175331
63.51/53.88	o 175330
63.61/53.96	o 175329
64.51/54.85	o 175328
65.01/55.39	o 175270
65.11/55.40	o 175269
65.11/55.44	o 175268
65.21/55.51	o 175267
65.21/55.59	o 175266
65.31/55.69	o 175265
65.41/55.80	o 175260
65.51/55.81	o 175259
65.51/55.82	o 175258
65.51/55.86	o 175257
65.61/55.91	o 175256
65.61/55.98	o 175255
65.72/56.10	o 175250
65.82/56.15	o 175249
65.92/56.22	o 175248
65.92/56.29	o 175247
66.01/56.36	o 175246
66.11/56.43	o 175245
66.21/56.54	o 175244
66.41/56.72	o 175243
66.51/56.82	o 175242
66.61/57.00	o 175241
66.91/57.22	o 175240
67.11/57.47	o 175232
67.21/57.53	o 175231
67.31/57.60	o 175230
67.62/57.98	o 175229
68.73/59.08	o 175228
69.42/59.79	o 175129
69.52/59.84	o 175128
69.92/60.21	o 175120
69.92/60.25	o 175119
70.02/60.35	o 175118
70.22/60.53	o 174129
70.32/60.61	o 174120
70.32/60.64	o 174119
70.42/60.75	o 174118
71.02/61.37	o 174062
71.22/61.57	o 174052
72.52/62.81	o 173873
72.73/63.02	o 173872
73.00/63.26	o 173082
73.12/63.30	o 172982
73.12/63.38	o 172981
73.22/63.45	o 172972
73.85/64.03	o 172872
75.21/65.34	o 172871
75.21/65.38	o 172870
75.54/65.69	o 171901
75.64/65.73	o 171900
75.64/65.78	o 171899
75.74/65.87	o 171898
75.84/65.97	o 171897
76.14/66.22	o 171896
76.34/66.48	o 171895
76.64/66.73	o 171891
76.74/66.86	o 171890
76.84/67.00	o 171889
77.05/67.14	o 171888
77.14/67.28	o 171887
77.34/67.43	o 171886
77.64/67.74	o 171776
77.64/67.78	o 171766
77.74/67.89	o 171765
80.06/70.12	o 170889
80.15/70.27	o 170879
80.45/70.51	o 170871
80.55/70.67	o 170861
80.85/70.91	o 170860
81.15/71.29	o 170851
81.45/71.51	o 170850
81.96/71.93	o 170849
82.26/72.21	o 170781
87.81/77.72	o 170774
87.91/77.82	o 170773
88.12/78.02	o 170772
89.13/79.05	o 170760
89.23/79.19	o 170759
89.42/79.34	o 170758
89.72/79.60	o 170757
90.43/80.21	o 170665
90.63/80.42	o 170664
92.63/82.42	o 170656
92.83/82.62	o 170655
93.03/82.88	o 170654
96.04/85.89	o 170653
96.14/85.99	o 170554
96.35/86.14	o 170553
96.44/86.24	o 169644
96.54/86.39	o 169643
96.64/86.49	o 169544
96.84/86.63	o 169543
96.94/86.76	o 169534
97.14/86.94	o 169533
103.55/93.23	o 169522
103.55/93.29	o 169512
103.65/93.37	o 169511
105.65/95.37	o 168749
105.85/95.58	o 168648
106.06/95.72	o 168639
106.16/95.81	o 168638
106.16/95.88	o 166559
106.26/95.95	o 166549
106.37/96.02	o 166539
106.37/96.08	o 166538
110.96/100.52	o 164735
110.96/100.59	o 164725
111.16/100.70	o 164724
112.57/102.16	o 164714
112.66/102.20	o 164713
113.97/103.53	o 164712
114.85/104.00	o 164544
114.96/104.09	o 164534
115.96/105.09	o 164533
116.25/105.36	o 164532
116.35/105.44	o 164524
116.45/105.52	o 164523
116.45/105.59	o 164522
117.06/106.14	o 164424
118.46/107.51	o 164423
118.66/107.74	o 164422
119.07/108.16	o 164421
119.26/108.30	o 164420
119.36/108.49	o 164419
119.56/108.68	o 164418
119.86/108.91	o 164412
120.07/109.14	o 164411
120.26/109.37	o 164410
120.46/109.58	o 164409
120.76/109.82	o 164408
120.97/110.07	o 164403
123.25/112.23	o 163505
123.35/112.39	o 163504
123.55/112.51	o 163495
123.55/112.57	o 163494
124.25/113.22	o 163493
124.25/113.28	o 163492
125.36/114.38	o 162492
125.56/114.55	o 161694
125.66/114.66	o 161693
125.76/114.79	o 161692
127.96/116.99	o 160802
128.07/117.09	o 160791
128.17/117.18	o 160702
128.26/117.26	o 160691
131.76/120.66	o 160690
132.96/121.80	o 160689
136.94/125.73	o 160600
136.94/125.79	o 160599
137.05/125.86	o 160589
137.05/125.89	o 160588
137.30/126.07	o 160488
137.52/126.26	o 160487
138.43/127.17	o 159599
138.52/127.22	o 159499
140.90/129.56	o 158499
142.58/131.16	o 158491
142.67/131.27	o 157501
142.77/131.38	o 157500
142.97/131.53	o 157499
143.17/131.73	o 157399
145.48/134.03	o 157389
145.69/134.21	o 157388
146.79/135.32	o 157287
146.99/135.57	o 157187
147.19/135.73	o 157186
147.39/135.96	o 157185
147.60/136.16	o 157085
147.90/136.42	o 156186
148.00/136.57	o 156185
148.20/136.71	o 156085
148.30/136.89	o 155186
148.51/137.02	o 155185
148.61/137.15	o 155085
149.52/138.06	o 155084
151.62/140.18	o 155083
153.94/142.48	o 155081
154.04/142.53	o 155080
154.04/142.59	o 155079
154.55/143.04	o 155078
154.65/143.14	o 155077
154.74/143.25	o 154978
154.84/143.39	o 154977
156.65/145.15	o 153979
156.76/145.20	o 153969
156.96/145.41	o 153967
157.78/146.21	o 153966
161.37/149.66	o 153875
161.47/149.73	o 153874
161.57/149.83	o 153873
161.78/150.06	o 153872
162.17/150.48	o 153871
162.79/151.02	o 153870
165.31/153.48	o 153869
165.72/153.89	o 153859
177.07/164.99	o 153858
180.24/167.95	o 153850
180.74/168.46	o 153849
181.24/168.97	o 153848
181.74/169.47	o 153847
182.04/169.71	o 152878
182.24/169.90	o 152877
182.46/170.11	o 152876
183.19/170.70	o 152875
188.88/176.31	o 152874
188.98/176.46	o 152873
189.18/176.65	o 152872
194.15/181.38	o 152871
194.35/181.57	o 152870
194.65/181.82	o 152869
200.05/187.13	o 152786
200.05/187.19	o 152785
200.34/187.44	o 152776
200.64/187.71	o 152775
201.54/188.66	o 152774
202.05/189.19	o 152761
202.44/189.58	o 152760
202.95/190.07	o 152693
203.34/190.46	o 152692
226.62/212.85	o 152635
226.83/213.09	o 152625
227.52/213.78	o 152617
227.93/214.19	o 152615
228.71/214.81	o 152614
229.31/215.42	o 152613
238.02/224.00	o 152399
238.32/224.23	o 152389
238.62/224.52	o 152388
238.82/224.79	o 152379
239.13/225.10	o 152378
239.52/225.49	o 151388
239.82/225.76	o 151387
242.35/228.15	o 151385
243.04/228.87	o 151384
243.95/229.75	o 151383
244.35/230.15	o 151320
245.44/231.13	o 151319
246.24/231.96	o 151318
247.04/232.71	o 151317
247.74/233.45	o 151316
250.73/236.31	o 151309
251.23/236.82	o 151308
252.03/237.60	s SATISFIABLE
252.03/237.61	v <instantiation>
252.03/237.61	v 	<list>
252.03/237.61	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533]
252.03/237.61	v 	</list>
252.03/237.61	v 	<values>
252.03/237.61	v 		72 310 666 428 778 540 58 296 554 792 554 792 554 792 380 142 736 498 428 666 680 442 30 268 792 554 792 554 778 540 764 526 750 512 100 338 792 554 380 142 156 394 58 296 142 380 380 142 156 394 240 478 16 254 666 428 380 142 394 156 478 240 30 268 792 554 778 540 366 128 554 792 86 324 16 254 30 268 352 114 792 554 680 442 156 394 680 442 352 114 128 366 296 58 142 380 30 268 16 254 128 366 470 708 310 72 44 282 764 526 240 478 324 86 366 128 680 442 736 498 778 540 114 352 268 30 652 414 254 16 722 484 722 484 72 310 708 470 380 142 652 414 666 428 540 778 142 380 694 456 128 366 778 540 708 470 128 366 338 100 30 268 86 324 708 470 282 44 170 408 478 240 694 456 156 394 16 254 708 470 142 380 778 540 652 414 72 310 708 470 792 554 240 478 554 792 470 708 100 338 540 778 498 736 694 456 100 338 282 44 792 554 128 366 792 554 142 380 478 240 394 156 366 128 44 282 778 540 652 414 778 540 72 310 86 324 652 414 394 156 254 16 554 792 128 366 170 408 778 540 142 380 380 142 58 296 652 414 680 442 100 338 792 554 764 526 324 86 338 100 380 142 240 478 156 394 100 338 554 792 526 764 240 478 680 442 750 512 100 338 666 428 680 442 554 792 722 484 778 540 736 498 366 128 414 652 722 484 792 554 428 666 366 128 708 470 414 652 736 498 414 652 128 366 708 470 778 540 128 366 470 708 128 366 778 540 694 456 58 296 114 352 128 366 254 16 16 254 394 156 268 30 16 254 554 792 778 540 170 408 16 254 114 352 792 554 394 156 366 128 792 554 128 366 30 268 268 30 778 540 86 324 156 394 478 240 750 512 540 778 750 512 170 408 114 352 310 72 282 44 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 0 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 1000 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 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 0 1000 0 1000 0 1000 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 1000 0 1000 0 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 0 100 100 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 100 0 0 100 0 100 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 100 0 100 0 0 100 0 0 0 0 0 100 0 100 0 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 100 0 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 100 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 100 0 0 100 0 0 0 0 100 0 100 0 0 100 0 0 0 0 100 0 0 10 10 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 10 10 10 0 0 10 10 0 0 10 0 10 0 10 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 10 0 10 10 0 0 0 10 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 10 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 0 10 0 10 10 0 0 10 0 0 0 10 0 10 0 10 0 0 10 10 10 0 0 0 10 10 10 10 10 0 0 10 0 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 10 0 10 10 0 0 10 10 10 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 10 0 0 0 10 10 0 0 0 10 10 0 0 10 10 10 0 10 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 10 0 10 0 10 10 0 10 0 10 10 10 10 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 
252.03/237.61	v 	</values>
252.03/237.61	v </instantiation>

Verifier Data 

OK	151308

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

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

running on 4 cores: 1,3,5,7

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=20740, runsolver pid=20737

[startup+0.100134 s]*
/proc/loadavg: 1.13 1.34 1.39 3/219 20755
/proc/meminfo: memFree=17417652/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14082736 memory=33180 CPUtime=0.11 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 7243 0 0 0 10 1 0 0 20 0 15 0 250491716 14420721664 8295 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3520684 8295 3138 1 0 3482761 0
[pid=20740/tid=20742] ppid=20737 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 5390 0 0 0 8 1 0 0 20 0 15 0 250491716 14420721664 8361 33554432000 4194304 4196468 140731644378752 139900658380320 139900634462059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14082736 memory=5793854929028266425 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 8361 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 8361 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 8427 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 8427 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491718 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899767346720 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899766293872 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 250491721 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0.01 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 250491722 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 8427 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33180 KiB

[startup+0.210415 s]*
/proc/loadavg: 1.13 1.34 1.39 4/219 20755
/proc/meminfo: memFree=17402396/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14082736 memory=47096 CPUtime=0.3 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 10379 0 0 0 28 2 0 0 20 0 15 0 250491716 14420721664 11774 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3520684 11774 3401 1 0 3482761 0
[pid=20740/tid=20742] ppid=20737 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 1077944384 8128 0 0 0 18 2 0 0 20 0 15 0 250491716 14420721664 11774 33554432000 4194304 4196468 140731644378752 139900658415792 139900654196437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14082736 memory=4211973404223163786 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 11774 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 11774 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 11774 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 11774 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491718 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899767346720 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899766293872 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) R 20737 20740 20506 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 15 0 250491721 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899764189552 139900637573442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 250491722 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0.06 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) R 20737 20740 20506 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 250491722 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899762080320 139900633901188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 11774 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47096 KiB

[startup+0.311196 s]*
/proc/loadavg: 1.13 1.34 1.39 4/219 20755
/proc/meminfo: memFree=17398984/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14082736 memory=50580 CPUtime=0.43 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 10759 0 0 0 41 2 0 0 20 0 15 0 250491716 14420721664 12645 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3520684 12645 3404 1 0 3482761 0
[pid=20740/tid=20742] ppid=20737 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 8484 0 0 0 27 2 0 0 20 0 15 0 250491716 14420721664 12645 33554432000 4194304 4196468 140731644378752 139900658407328 139900634462018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14082736 memory=4211973404223163786 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 12645 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14082736 memory=139678018375608 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 12645 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14082736 memory=139677906631180 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 12645 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14082736 memory=139677906619855 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14420721664 12645 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14082736 memory=139678018393780 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491718 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14082736 memory=139677906629039 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899767346720 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14082736 memory=279355813248912 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491719 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899766293872 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14082736 memory=279355813246608 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 250491721 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 250491722 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0.08 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 250491722 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14082736 memory=139678018373248 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491722 14420721664 12645 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50580 KiB

[startup+0.700708 s]
/proc/loadavg: 1.13 1.34 1.39 6/219 20755
/proc/meminfo: memFree=17376848/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14084804 memory=88792 CPUtime=0.99 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 17575 0 0 0 95 4 0 0 20 0 15 0 250491716 14422839296 22198 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3521201 22198 3498 1 0 3483273 0
[pid=20740/tid=20742] ppid=20737 vsize=14084804 memory=876 CPUtime=0.67 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 14885 0 0 0 63 4 0 0 20 0 15 0 250491716 14422839296 22198 33554432000 4194304 4196468 140731644378752 139900658392112 139900638266718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14084804 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14422839296 22198 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14422839296 22198 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14422839296 22198 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491717 14422839296 22198 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250491718 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250491719 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899767346720 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250491719 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899766293872 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14084804 memory=268 CPUtime=0.08 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 503 0 0 0 8 0 0 0 20 0 15 0 250491721 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 411 0 0 0 6 0 0 0 20 0 15 0 250491722 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14084804 memory=20505 CPUtime=0.15 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 394 0 0 0 15 0 0 0 20 0 15 0 250491722 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14084804 memory=279355813432816 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250491722 14422839296 22198 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88792 KiB

[startup+1.50635 s]
/proc/loadavg: 1.13 1.34 1.39 9/218 20786
/proc/meminfo: memFree=18997716/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14086852 memory=222684 CPUtime=3.47 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 29206 0 0 0 337 10 0 0 20 0 15 0 250491716 14424936448 55671 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3521713 55671 3560 1 0 3483785 0
[pid=20740/tid=20742] ppid=20737 vsize=14086852 memory=154568 CPUtime=1.46 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 17243 0 0 0 140 6 0 0 20 0 15 0 250491716 14424936448 55671 33554432000 4194304 4196468 140731644378752 139900658420616 139900259807272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14086852 memory=279355813318944 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 250491717 14424936448 55671 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14086852 memory=139677906668256 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250491717 14424936448 55671 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14086852 memory=139677906668288 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 250491717 14424936448 55671 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14086852 memory=139677906668320 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) R 20737 20740 20506 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 250491717 14424936448 55671 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14086852 memory=139677906668352 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 250491718 14424936448 55671 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0

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

/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 36800 0 0 0 10119 44 0 0 20 0 15 0 250491716 14431227904 724810 33554432000 4194304 4196468 140731644378752 139900658420272 139900268343114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14092996 memory=2899236 CPUtime=0.57 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 1259 0 0 0 42 15 0 0 20 0 15 0 250491717 14431227904 724810 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14092996 memory=1428 CPUtime=0.56 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 1471 0 0 0 41 15 0 0 20 0 15 0 250491717 14431227904 724810 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14092996 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 1916 0 0 0 42 15 0 0 20 0 15 0 250491717 14431227904 724810 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14092996 memory=2957016 CPUtime=0.57 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 2900 0 0 0 42 15 0 0 20 0 15 0 250491717 14431227904 724810 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14092996 memory=68060 CPUtime=0.03 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 2221 0 0 0 3 0 0 0 20 0 15 0 250491718 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14092996 memory=279355814336560 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899767346784 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14092996 memory=91252150242026 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899766293888 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14092996 memory=3472476796013308320 CPUtime=3.71 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 10151 0 0 0 370 1 0 0 20 0 15 0 250491721 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14092996 memory=33 CPUtime=3.55 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 8964 0 0 0 353 2 0 0 20 0 15 0 250491722 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14092996 memory=3690192131550633372 CPUtime=1.43 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 12414 0 0 0 141 2 0 0 20 0 15 0 250491722 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14092996 memory=2899236 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14092996 memory=2899236 CPUtime=0.04 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 498 0 0 0 2 2 0 0 20 0 15 0 250491722 14431227904 724810 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 112.77 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2899240 KiB

[startup+162.301 s]
/proc/loadavg: 2.00 1.67 1.51 3/215 20834
/proc/meminfo: memFree=13785248/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14092996 memory=2581676 CPUtime=174.47 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 97348 0 0 0 17321 126 0 0 20 0 15 0 250491716 14431227904 645419 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3523249 645419 3617 1 0 3485321 0
[pid=20740/tid=20742] ppid=20737 vsize=14092996 memory=2646828 CPUtime=161.16 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 40585 0 0 0 16072 44 0 0 20 0 15 0 250491716 14431227904 645419 33554432000 4194304 4196468 140731644378752 139900658423936 139900268343812 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14092996 memory=2698568 CPUtime=0.97 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 2372 0 0 0 79 18 0 0 20 0 15 0 250491717 14431227904 645419 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14092996 memory=2646828 CPUtime=0.96 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 2793 0 0 0 79 17 0 0 20 0 15 0 250491717 14431227904 645419 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14092996 memory=2581676 CPUtime=0.97 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 2340 0 0 0 80 17 0 0 20 0 15 0 250491717 14431227904 645419 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14092996 memory=2698568 CPUtime=0.96 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 3719 0 0 0 79 17 0 0 20 0 15 0 250491717 14431227904 645419 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14092996 memory=2675536 CPUtime=0.09 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 6965 0 0 0 9 0 0 0 20 0 15 0 250491718 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14092996 memory=12785 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899767346784 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14092996 memory=2675536 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899766293888 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14092996 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14092996 memory=1796 CPUtime=3.95 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 12164 0 0 0 393 2 0 0 20 0 15 0 250491721 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14092996 memory=1704 CPUtime=3.76 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 11335 0 0 0 373 3 0 0 20 0 15 0 250491722 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14092996 memory=4128 CPUtime=1.48 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 13118 0 0 0 146 2 0 0 20 0 15 0 250491722 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14092996 memory=68060 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14092996 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 526 0 0 0 4 4 0 0 20 0 15 0 250491722 14431227904 645419 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 174.47 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2581676 KiB

[startup+222.301 s]
/proc/loadavg: 1.61 1.61 1.50 3/215 20835
/proc/meminfo: memFree=14314200/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14092996 memory=2247332 CPUtime=236.3 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 111498 0 0 0 23496 134 0 0 20 0 15 0 250491716 14431227904 561833 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3523249 561833 3618 1 0 3485321 0
[pid=20740/tid=20742] ppid=20737 vsize=14092996 memory=4104 CPUtime=220.58 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 44324 0 0 0 22013 45 0 0 20 0 15 0 250491716 14431227904 561833 33554432000 4194304 4196468 140731644378752 139900658420784 139900268148826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14092996 memory=2247332 CPUtime=1.53 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 3286 0 0 0 134 19 0 0 20 0 15 0 250491717 14431227904 561833 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14092996 memory=2384724 CPUtime=1.51 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 3421 0 0 0 133 18 0 0 20 0 15 0 250491717 14431227904 561833 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14092996 memory=2303764 CPUtime=1.53 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 3298 0 0 0 135 18 0 0 20 0 15 0 250491717 14431227904 561833 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14092996 memory=2303764 CPUtime=1.52 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 4603 0 0 0 134 18 0 0 20 0 15 0 250491717 14431227904 561833 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14092996 memory=2276060 CPUtime=0.12 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 10795 0 0 0 11 1 0 0 20 0 15 0 250491718 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14092996 memory=2247332 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899767346784 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14092996 memory=2247332 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899766293888 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14092996 memory=2247332 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14092996 memory=279355813781984 CPUtime=4.03 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 13173 0 0 0 401 2 0 0 20 0 15 0 250491721 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14092996 memory=6791534058613427641 CPUtime=3.8 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 11997 0 0 0 377 3 0 0 20 0 15 0 250491722 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14092996 memory=2247332 CPUtime=1.49 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 14511 0 0 0 147 2 0 0 20 0 15 0 250491722 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14092996 memory=2247332 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14092996 memory=2276060 CPUtime=0.12 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 659 0 0 0 6 6 0 0 20 0 15 0 250491722 14431227904 561833 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 236.3 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2247332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+237.601 s]
/proc/loadavg: 1.47 1.58 1.49 3/215 20835
/proc/meminfo: memFree=14538852/32770624 swapFree=67108860/67108860
[pid=20740] ppid=20737 vsize=14092996 memory=2166804 CPUtime=252.03 cores=1,3,5,7
/proc/20740/stat : 20740 (java) S 20737 20740 20506 0 -1 1077944320 112912 0 0 0 25069 134 0 0 20 0 15 0 250491716 14431227904 541701 33554432000 4194304 4196468 140731644378752 140731644361296 139900654186231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
/proc/20740/statm: 3523249 541701 3618 1 0 3485321 0
[pid=20740/tid=20742] ppid=20737 vsize=14092996 memory=1796 CPUtime=235.73 cores=1,3,5,7
/proc/20740/task/20742/stat : 20742 (java) R 20737 20740 20506 0 -1 4202560 44729 0 0 0 23528 45 0 0 20 0 15 0 250491716 14431227904 541701 33554432000 4194304 4196468 140731644378752 139900658423824 139900256080011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20743] ppid=20737 vsize=14092996 memory=1704 CPUtime=1.67 cores=1,3,5,7
/proc/20740/task/20743/stat : 20743 (java) S 20737 20740 20506 0 -1 1077944384 3760 0 0 0 148 19 0 0 20 0 15 0 250491717 14431227904 541701 33554432000 4194304 4196468 140731644378752 139900584274576 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20744] ppid=20737 vsize=14092996 memory=796 CPUtime=1.65 cores=1,3,5,7
/proc/20740/task/20744/stat : 20744 (java) S 20737 20740 20506 0 -1 1077944384 3497 0 0 0 147 18 0 0 20 0 15 0 250491717 14431227904 541701 33554432000 4194304 4196468 140731644378752 139900583221776 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20745] ppid=20737 vsize=14092996 memory=1160 CPUtime=1.66 cores=1,3,5,7
/proc/20740/task/20745/stat : 20745 (java) S 20737 20740 20506 0 -1 1077944384 3369 0 0 0 148 18 0 0 20 0 15 0 250491717 14431227904 541701 33554432000 4194304 4196468 140731644378752 139900582168976 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20746] ppid=20737 vsize=14092996 memory=10852 CPUtime=1.66 cores=1,3,5,7
/proc/20740/task/20746/stat : 20746 (java) S 20737 20740 20506 0 -1 1077944384 4813 0 0 0 148 18 0 0 20 0 15 0 250491717 14431227904 541701 33554432000 4194304 4196468 140731644378752 139900581116176 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20747] ppid=20737 vsize=14092996 memory=4616 CPUtime=0.12 cores=1,3,5,7
/proc/20740/task/20747/stat : 20747 (java) S 20737 20740 20506 0 -1 1077944384 10796 0 0 0 11 1 0 0 20 0 15 0 250491718 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899768400752 139900654197378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20748] ppid=20737 vsize=14092996 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20748/stat : 20748 (java) S 20737 20740 20506 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899767346784 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20749] ppid=20737 vsize=14092996 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20749/stat : 20749 (java) S 20737 20740 20506 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 250491719 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899766293888 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20750] ppid=20737 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20750/stat : 20750 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491721 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899765242192 139900654204827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20751] ppid=20737 vsize=14092996 memory=0 CPUtime=4.03 cores=1,3,5,7
/proc/20740/task/20751/stat : 20751 (java) S 20737 20740 20506 0 -1 1077944384 13221 0 0 0 401 2 0 0 20 0 15 0 250491721 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899764189552 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20752] ppid=20737 vsize=14092996 memory=2319528898832145936 CPUtime=3.8 cores=1,3,5,7
/proc/20740/task/20752/stat : 20752 (java) S 20737 20740 20506 0 -1 1077944384 11997 0 0 0 377 3 0 0 20 0 15 0 250491722 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899763136752 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20753] ppid=20737 vsize=14092996 memory=3833301301823381360 CPUtime=1.49 cores=1,3,5,7
/proc/20740/task/20753/stat : 20753 (java) S 20737 20740 20506 0 -1 1077944384 14640 0 0 0 147 2 0 0 20 0 15 0 250491722 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899762083952 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20754] ppid=20737 vsize=14092996 memory=2166804 CPUtime=0 cores=1,3,5,7
/proc/20740/task/20754/stat : 20754 (java) S 20737 20740 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250491722 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899761031392 139900654196437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
[pid=20740/tid=20755] ppid=20737 vsize=14092996 memory=5408 CPUtime=0.12 cores=1,3,5,7
/proc/20740/task/20755/stat : 20755 (java) S 20737 20740 20506 0 -1 1077944384 659 0 0 0 6 6 0 0 20 0 15 0 250491722 14431227904 541701 33554432000 4194304 4196468 140731644378752 139899759979696 139900654197378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16261120 140731644380250 140731644380430 140731644380430 140731644383183 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2166804 KiB

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

[startup+237.637 s]
# the end of solver process 20740 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.713 s, system=1.35933 s

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

Child status: 143
Real time (s): 237.637
CPU time (s): 252.072
CPU user time (s): 250.713
CPU system time (s): 1.35933
CPU usage (%): 106.075
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3017932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.713
system time used= 1.35933
maximum resident set size= 3019600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11444
involuntary context switches= 336


# summary of solver processes directly reported to runsolver:
#   pid: 20740
#   total CPU time (s): 252.072
#   total CPU user time (s): 250.713
#   total CPU system time (s): 1.35933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.83982 second user time and 1.89115 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 12:34:45
IDJOB=4310521
IDBENCH=141193
IDSOLVER=2796
FILE ID=node139/4310521-1534329285
RUNJOBID= node139-1534329043-20538
PBS_JOBID= 21038153
Free space on /tmp= 34988 MiB

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

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

MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036
RANDOM SEED=1241360839

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:        17436592 kB
MemAvailable:   30190400 kB
Buffers:          270144 kB
Cached:         12583124 kB
SwapCached:            0 kB
Active:          7921644 kB
Inactive:        6688988 kB
Active(anon):    1711264 kB
Inactive(anon):   106808 kB
Active(file):    6210380 kB
Inactive(file):  6582180 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35812 kB
Writeback:             0 kB
AnonPages:       1772164 kB
Mapped:            78856 kB
Shmem:             57996 kB
Slab:             417732 kB
SReclaimable:     389708 kB
SUnreclaim:        28024 kB
KernelStack:        3568 kB
PageTables:         9240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2420256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 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:43