Trace number 4308352

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)51331220 2520.13 2499.82

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data

0.67/0.56	c version: 2018-08-14
0.67/0.57	c seed: 1923134841
0.67/0.57	c timeout: 2520
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
17.29/10.58	c Parsing done, starting search...
157.12/145.41	o 51392277
157.12/145.42	o 51392276
157.12/145.42	o 51392275
157.12/145.42	o 51385517
157.12/145.43	o 51385516
157.12/145.43	o 51385515
157.12/145.43	o 51385514
157.12/145.44	o 51385512
157.12/145.44	o 51385508
157.12/145.44	o 51385507
157.12/145.45	o 51378751
157.12/145.46	o 51378750
157.12/145.46	o 51378749
157.12/145.46	o 51378743
157.12/145.46	o 51378739
157.12/145.47	o 51378736
157.12/145.49	o 51378733
157.36/145.51	o 51378731
157.36/145.51	o 51378729
157.36/145.51	o 51378727
157.36/145.51	o 51378726
157.36/145.51	o 51378723
157.36/145.52	o 51378698
157.36/145.55	o 51378695
157.36/145.59	o 51371932
157.58/145.60	o 51371931
157.58/145.60	o 51371927
157.68/145.70	o 51371924
157.68/145.75	o 51371923
157.88/145.92	o 51371922
157.88/145.94	o 51371921
158.09/146.14	o 51371920
158.19/146.22	o 51371919
158.19/146.22	o 51371918
158.19/146.22	o 51371917
158.19/146.22	o 51371916
158.19/146.23	o 51371914
158.19/146.28	o 51365160
158.19/146.28	o 51365159
158.19/146.28	o 51365156
158.19/146.29	o 51365153
158.19/146.29	o 51365152
158.19/146.30	o 51365151
158.40/146.45	o 51365150
158.50/146.55	o 51365149
158.60/146.60	o 51365146
158.60/146.60	o 51365145
158.60/146.61	o 51365144
158.89/146.96	o 51365143
159.53/147.53	o 51365142
159.83/147.89	o 51365140
159.93/147.90	o 51365139
160.03/148.01	o 51365138
160.03/148.04	o 51365137
160.03/148.08	o 51365136
160.74/148.80	o 51365135
160.84/148.80	o 51365134
160.84/148.80	o 51365133
160.84/148.80	o 51365132
160.84/148.82	o 51365129
160.84/148.83	o 51365128
160.84/148.83	o 51365127
160.84/148.83	o 51365125
160.84/148.84	o 51365124
160.84/148.85	o 51365123
160.84/148.86	o 51365122
160.84/148.86	o 51365121
160.84/148.86	o 51365120
162.36/150.32	o 51365119
162.36/150.33	o 51365117
162.36/150.34	o 51365116
162.36/150.35	o 51365115
162.46/150.42	o 51365114
162.55/150.52	o 51365113
163.55/151.55	o 51365112
163.55/151.55	o 51365111
163.55/151.55	o 51365110
163.55/151.57	o 51365109
163.75/151.75	o 51365108
163.75/151.78	o 51365107
164.15/152.17	o 51365106
165.95/153.99	o 51358395
166.15/154.15	o 51358394
166.36/154.32	o 51358393
166.36/154.32	o 51358391
166.36/154.32	o 51358390
166.36/154.38	o 51358389
166.36/154.38	o 51358388
166.36/154.38	o 51358387
166.36/154.39	o 51358383
166.36/154.39	o 51358380
166.46/154.42	o 51358377
166.46/154.42	o 51358374
166.55/154.53	o 51358373
166.55/154.53	o 51358367
166.55/154.56	o 51358366
166.55/154.58	o 51358363
166.55/154.59	o 51358360
166.55/154.59	o 51358359
166.65/154.60	o 51358358
166.65/154.62	o 51358357
166.65/154.65	o 51358344
166.65/154.65	o 51358343
166.65/154.65	o 51358333
166.65/154.65	o 51358332
166.65/154.67	o 51358331
166.65/154.67	o 51358325
166.65/154.67	o 51358324
166.65/154.68	o 51358323
166.75/154.71	o 51358318
167.05/155.04	o 51358317
167.15/155.14	o 51358316
167.65/155.69	o 51358314
167.65/155.69	o 51358313
167.65/155.69	o 51358308
167.95/155.99	o 51358307
168.05/156.00	o 51358306
168.05/156.01	o 51358301
168.29/156.24	o 51358300
170.60/158.55	o 51358299
170.60/158.56	o 51358298
170.60/158.56	o 51358297
170.60/158.56	o 51358296
170.91/158.83	o 51358295
173.30/161.28	o 51351592
173.30/161.28	o 51351591
173.30/161.28	o 51351590
173.30/161.29	o 51351585
173.30/161.29	o 51351583
173.51/161.41	o 51351582
173.51/161.49	o 51351581
173.61/161.51	o 51351578
173.80/161.71	o 51351577
173.80/161.76	o 51351576
174.10/162.06	o 51351575
174.20/162.12	o 51351574
174.41/162.37	o 51351573
174.41/162.38	o 51351572
174.41/162.38	o 51351571
174.41/162.39	o 51351570
174.41/162.39	o 51351569
174.60/162.51	o 51351568
175.10/163.07	o 51351565
175.10/163.07	o 51351564
175.10/163.08	o 51351563
175.10/163.08	o 51351562
175.10/163.08	o 51351561
175.10/163.08	o 51351560
175.10/163.09	o 51351558
175.20/163.10	o 51351557
175.20/163.10	o 51351556
175.20/163.12	o 51351554
178.20/166.12	o 51351550
178.20/166.12	o 51351549
178.20/166.13	o 51351548
178.20/166.14	o 51351547
178.20/166.16	o 51351546
178.51/166.43	o 51351545
178.70/166.64	o 51351544
179.00/166.91	o 51351543
179.00/166.91	o 51351542
179.00/166.92	o 51351541
183.03/170.91	o 51351540
189.94/177.84	o 51344915
189.94/177.84	o 51344914
189.94/177.86	o 51344868
189.94/177.86	o 51344867
189.94/177.86	o 51344866
189.94/177.86	o 51344865
189.94/177.87	o 51344864
189.94/177.88	o 51344863
189.94/177.89	o 51344860
189.94/177.90	o 51344859
190.24/178.11	o 51344858
190.24/178.12	o 51344855
190.24/178.12	o 51344853
190.34/178.21	o 51344852
190.34/178.25	o 51344851
190.34/178.25	o 51344850
190.34/178.25	o 51344849
190.34/178.26	o 51344847
190.34/178.26	o 51344846
190.55/178.41	o 51344843
190.55/178.42	o 51344842
190.55/178.48	o 51344841
190.64/178.59	o 51344840
190.74/178.60	o 51344839
191.34/179.26	o 51344838
191.34/179.27	o 51344836
191.34/179.27	o 51344834
191.34/179.28	o 51344833
191.45/179.32	o 51344831
192.04/179.96	o 51344830
192.04/179.97	o 51344827
192.24/180.15	o 51344826
192.74/180.66	o 51344825
192.74/180.66	o 51344824
192.74/180.67	o 51344823
192.74/180.67	o 51344822
192.74/180.68	o 51344821
192.74/180.68	o 51344820
192.74/180.70	o 51344819
192.84/180.70	o 51344818
192.84/180.71	o 51344816
193.24/181.19	o 51344812
193.24/181.19	o 51344811
193.24/181.19	o 51344810
193.24/181.19	o 51344809
193.34/181.20	o 51344807
193.34/181.20	o 51344806
193.34/181.20	o 51344803
193.34/181.23	o 51344801
193.34/181.23	o 51344800
193.34/181.23	o 51344799
193.55/181.41	o 51344798
193.94/181.86	o 51344797
193.94/181.89	o 51344795
194.04/181.90	o 51344794
194.04/181.92	o 51344793
194.04/181.97	o 51344792
194.24/182.12	o 51344791
194.24/182.13	o 51344790
194.24/182.13	o 51344789
194.24/182.14	o 51344788
194.24/182.16	o 51344787
194.24/182.16	o 51344786
194.34/182.21	o 51344785
194.34/182.22	o 51344782
194.34/182.22	o 51344781
194.34/182.22	o 51344780
194.34/182.27	o 51344779
194.45/182.33	o 51344778
194.45/182.33	o 51344777
194.45/182.33	o 51344775
198.95/186.82	o 51338070
198.95/186.83	o 51338069
198.95/186.83	o 51338067
198.95/186.83	o 51338058
198.95/186.83	o 51338057
198.95/186.84	o 51338056
198.95/186.85	o 51338054
198.95/186.85	o 51338049
198.95/186.86	o 51338048
198.95/186.87	o 51338045
198.95/186.88	o 51338044
198.95/186.90	o 51338043
199.05/186.90	o 51338042
199.05/186.92	o 51338041
199.05/186.93	o 51338040
199.35/187.22	o 51338039
199.35/187.22	o 51338038
199.46/187.32	o 51338037
201.05/188.97	o 51338036
202.25/190.10	o 51338035
202.56/190.45	o 51338033
202.56/190.45	o 51338032
202.56/190.46	o 51338031
202.56/190.46	o 51338030
203.36/191.20	o 51338029
203.36/191.21	o 51338027
203.36/191.21	o 51338026
203.36/191.25	o 51338025
203.47/191.35	o 51338024
203.57/191.47	o 51338023
204.97/192.89	o 51338022
205.07/192.90	o 51338021
206.38/194.24	o 51338020
229.55/217.35	o 51338019
249.34/237.17	o 51338018
249.34/237.18	o 51338016
249.34/237.19	o 51338014
249.34/237.19	o 51338013
249.43/237.25	o 51338012
249.64/237.45	o 51338011
266.87/254.66	o 51338010
268.37/256.13	o 51338009
268.37/256.14	o 51338008
268.37/256.14	o 51338007
281.68/269.42	o 51338006
281.68/269.42	o 51338005
281.68/269.42	o 51338000
281.68/269.43	o 51337999
281.68/269.43	o 51337998
281.68/269.43	o 51337997
281.68/269.44	o 51337996
281.68/269.46	o 51337995
281.78/269.56	o 51337993
281.78/269.57	o 51337992
281.78/269.59	o 51337991
281.88/269.63	o 51337990
282.48/270.21	o 51337989
286.18/273.99	o 51337988
294.12/281.83	o 51337987
294.12/281.87	o 51337986
294.82/282.51	o 51337985
294.82/282.52	o 51337984
294.82/282.52	o 51337983
295.02/282.74	o 51337982
323.43/311.15	o 51337981
323.43/311.16	o 51337980
323.43/311.19	o 51337979
324.13/311.82	o 51337978
395.13/382.72	o 51337977
396.53/384.11	o 51337976
401.13/388.71	o 51337975
706.63/693.89	o 51337974
722.54/709.76	o 51337973
722.64/709.81	o 51337972
722.94/710.15	o 51337971
724.25/711.49	o 51337970
725.25/712.41	o 51337969
725.25/712.46	o 51337968
794.81/781.91	o 51337967
1056.69/1043.59	o 51331452
1056.69/1043.59	o 51331451
1056.79/1043.60	o 51331449
1056.79/1043.60	o 51331448
1056.79/1043.60	o 51331444
1056.79/1043.60	o 51331441
1056.79/1043.61	o 51331439
1056.79/1043.61	o 51331430
1056.79/1043.62	o 51331419
1056.79/1043.62	o 51331418
1056.79/1043.63	o 51331411
1056.79/1043.64	o 51331410
1056.79/1043.64	o 51331405
1056.79/1043.65	o 51331404
1056.89/1043.71	o 51331403
1056.89/1043.71	o 51331402
1056.89/1043.71	o 51331401
1056.89/1043.72	o 51331400
1056.89/1043.72	o 51331397
1056.89/1043.75	o 51331396
1056.89/1043.75	o 51331395
1056.89/1043.75	o 51331390
1056.89/1043.77	o 51331388
1056.89/1043.77	o 51331387
1056.89/1043.77	o 51331386
1056.89/1043.78	o 51331385
1056.89/1043.79	o 51331384
1056.99/1043.85	o 51331383
1056.99/1043.87	o 51331382
1056.99/1043.89	o 51331381
1057.09/1043.98	o 51331380
1057.09/1044.00	o 51331379
1057.19/1044.01	o 51331378
1057.19/1044.02	o 51331377
1057.69/1044.59	o 51331376
1057.79/1044.65	o 51331375
1057.79/1044.65	o 51331374
1057.79/1044.67	o 51331373
1057.79/1044.67	o 51331372
1057.99/1044.84	o 51331371
1058.60/1045.48	o 51331370
1058.60/1045.48	o 51331369
1058.60/1045.48	o 51331368
1058.60/1045.48	o 51331366
1058.60/1045.49	o 51331361
1058.60/1045.49	o 51331360
1058.69/1045.55	o 51331359
1058.79/1045.63	o 51331358
1058.79/1045.63	o 51331357
1058.79/1045.65	o 51331356
1058.89/1045.72	o 51331355
1059.30/1046.13	o 51331354
1059.30/1046.14	o 51331353
1059.30/1046.19	o 51331352
1059.90/1046.71	o 51331351
1059.90/1046.71	o 51331350
1059.90/1046.72	o 51331349
1064.70/1051.51	o 51331348
1064.70/1051.51	o 51331347
1065.00/1051.84	o 51331346
1065.70/1052.59	o 51331345
1065.80/1052.62	o 51331344
1065.80/1052.63	o 51331343
1065.90/1052.74	o 51331342
1066.61/1053.46	o 51331341
1070.30/1057.12	o 51331339
1070.30/1057.13	o 51331338
1070.30/1057.13	o 51331337
1070.30/1057.15	o 51331335
1070.30/1057.15	o 51331334
1070.30/1057.16	o 51331333
1070.30/1057.17	o 51331332
1070.30/1057.17	o 51331331
1070.30/1057.19	o 51331330
1070.41/1057.20	o 51331329
1070.41/1057.22	o 51331327
1070.41/1057.24	o 51331326
1070.41/1057.27	o 51331325
1070.41/1057.30	o 51331324
1070.41/1057.30	o 51331323
1070.51/1057.32	o 51331322
1072.91/1059.70	o 51331317
1072.91/1059.71	o 51331316
1072.91/1059.72	o 51331315
1072.91/1059.72	o 51331314
1072.91/1059.73	o 51331313
1072.91/1059.74	o 51331312
1072.91/1059.75	o 51331311
1072.91/1059.76	o 51331308
1072.91/1059.76	o 51331307
1072.91/1059.78	o 51331304
1072.91/1059.78	o 51331303
1072.91/1059.79	o 51331302
1072.91/1059.79	o 51331301
1072.91/1059.79	o 51331300
1073.01/1059.81	o 51331299
1073.01/1059.81	o 51331298
1073.01/1059.89	o 51331297
1073.23/1060.04	o 51331295
1073.23/1060.05	o 51331294
1073.23/1060.07	o 51331293
1073.33/1060.14	o 51331292
1073.33/1060.15	o 51331291
1073.33/1060.16	o 51331290
1074.73/1061.59	o 51331289
1074.83/1061.60	o 51331288
1074.83/1061.60	o 51331287
1074.83/1061.60	o 51331286
1078.94/1065.72	o 51331285
1078.94/1065.74	o 51331284
1079.84/1066.60	o 51331280
1079.84/1066.66	o 51331279
1079.84/1066.66	o 51331278
1080.04/1066.88	o 51331277
1080.34/1067.15	o 51331274
1080.44/1067.21	o 51331272
1080.44/1067.21	o 51331271
1080.44/1067.21	o 51331266
1080.84/1067.63	o 51331265
1080.84/1067.64	o 51331264
1081.04/1067.82	o 51331263
1081.04/1067.83	o 51331262
1096.65/1083.43	o 51331261
1096.65/1083.43	o 51331260
1096.84/1083.62	o 51331259
1113.47/1100.30	o 51331258
1113.68/1100.42	o 51331257
1120.47/1107.28	o 51331256
1123.98/1110.72	o 51331255
1123.98/1110.72	o 51331254
1140.02/1126.77	o 51331253
1142.12/1128.87	o 51331252
1178.05/1164.77	o 51331250
1178.05/1164.77	o 51331249
1178.05/1164.78	o 51331248
1178.05/1164.78	o 51331247
1178.95/1165.66	o 51331246
1179.45/1166.16	o 51331245
1180.66/1167.40	o 51331244
1180.66/1167.40	o 51331243
1180.66/1167.40	o 51331242
1180.79/1167.42	o 51331241
1192.70/1179.41	o 51331240
1210.12/1196.77	o 51331239
1210.12/1196.79	o 51331238
1210.12/1196.79	o 51331237
1210.12/1196.80	o 51331236
1210.22/1196.80	o 51331235
1210.22/1196.81	o 51331232
1210.32/1196.97	o 51331231
1211.62/1198.30	o 51331230
1242.55/1229.16	o 51331229
1242.55/1229.16	o 51331228
1242.55/1229.19	o 51331227
1242.65/1229.24	o 51331226
1244.25/1230.81	o 51331225
1254.47/1241.09	o 51331224
1255.97/1242.56	o 51331223
1256.78/1243.33	o 51331222
1257.07/1243.69	o 51331221
1452.88/1439.10	o 51331220
2520.08/2499.80	s SATISFIABLE
2520.08/2499.81	v <instantiation>
2520.08/2499.81	v 	<list>
2520.08/2499.81	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674]
2520.08/2499.81	v 	</list>
2520.08/2499.81	v 	<values>
2520.08/2499.81	v 		2660 2568 2496 2216 2624 2628 2372 2384 2656 2660 2364 2560 2552 2672 2164 2640 2220 2652 2428 2700 2692 2620 2584 2648 2340 2260 2584 2600 2576 2572 2380 2600 2620 2660 2544 2544 2332 2544 2664 2452 2560 2408 2664 2492 2328 2504 2360 2304 2712 2524 2620 2544 2652 2588 2584 2608 2624 2652 2544 2468 2448 2680 2356 2148 2700 2640 2300 2632 2124 2256 2240 2672 2620 2316 2376 2280 2468 2592 2200 2340 2228 2664 2260 2552 2564 2552 2512 2404 2332 2620 2640 2584 2660 2612 2660 2692 2180 2612 2508 2268 2240 2656 2492 2512 2320 2336 2620 2188 2696 2520 2616 2288 2624 2596 2600 2292 2332 2696 2556 2300 2288 2652 2660 2656 2248 2504 2400 2688 2656 2688 2452 2360 2600 2696 2344 2472 2184 2696 2660 2580 2224 2300 2424 2612 2640 2536 2648 2372 2592 2624 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 11 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 10 10 10 0 1 10 1 10 0 1 10 0 9 10 10 3 9 0 0 10 1 7 1 10 10 10 10 10 10 0 8 10 2 10 10 0 1 10 1 10 10 10 0 0 0 6 0 0 0 5 0 0 0 0 10 9 10 2 9 10 10 4 8 0 10 0 10 10 0 4 0 0 1 0 0 1 0 10 9 1 0 0 0 0 0 10 4 10 5 0 1 0 0 2 0 10 10 0 6 0 5 0 0 0 0 10 0 10 3 10 10 0 10 0 1 0 4 10 0 3 0 1 1 0 0 4 0 10 0 0 10 6 0 0 0 10 8 10 4 10 1 10 0 2 0 10 0 0 0 0 1 10 10 0 0 10 0 10 0 1 0 0 0 4 10 9 1 0 1 0 1 10 10 0 6 0 0 1 0 0 10 1 10 5 10 10 10 9 0 10 0 0 0 0 2 0 0 0 5 10 10 10 0 0 10 0 0 1 8 1 0 0 0 6 10 10 0 1 0 0 10 8 2 0 0 5 0 1 0 0 0 1 0 0 3 2 10 1 0 2 0 10 3 0 2 10 0 0 10 10 0 1 10 5 0 0 0 0 0 6 0 10 0 8 10 9 0 0 0 0 0 10 10 7 0 0 5 10 0 8 1 0 0 0 1 0 1 1 1 10 0 0 5 1 10 0 1 0 0 10 1 0 10 0 1 0 0 10 0 0 10 9 0 1 0 0 0 8 10 10 4 10 10 0 0 0 0 10 10 1 10 0 5 10 10 1 0 5 0 0 0 0 7 0 0 0 1 10 6 0 0 10 10 10 8 0 0 10 0 0 4 3 10 10 4 1 0 5 1 8 1 1 0 0 4 0 10 0 0 7 0 0 6 9 10 0 0 0 0 1 10 1 7 0 10 10 10 0 3 0 0 0 1 4 10 0 0 0 10 10 10 5 0 10 5 10 9 0 0 10 0 5 4 10 10 0 0 0 10 0 0 10 0 10 9 10 0 0 0 0 10 5 0 10 10 0 1 0 0 0 2 0 10 10 1 10 0 1 10 10 4 1 10 0 0 0 10 10 10 10 0 10 1 0 0 1 1 0 0 1 1 8 0 0 0 10 5 0 10 8 10 10 10 0 10 0 10 10 0 10 10 0 0 0 0 0 1 10 0 0 1 3 10 0 0 0 0 0 10 0 10 1 0 0 0 1 0 10 0 10 0 10 0 0 0 0 9 10 10 0 0 10 5 0 6 0 0 0 2 7 0 10 2 1 6 1 10 8 10 4 0 0 1 4 5 10 10 0 10 1 10 10 0 7 10 10 9 0 0 0 5 0 8 10 0 10 2 0 0 0 0 0 1 0 5 10 0 0 1 10 0 0 10 0 10 10 10 10 5 0 0 10 0 0 10 0 1 0 10 0 0 0 0 0 10 0 0 0 6 0 10 1 8 2 8 0 0 0 0 10 0 0 0 10 0 2 10 0 6 0 1 1 0 0 0 6 5 2 0 10 0 1 10 0 0 10 1 0 0 10 0 0 10 0 0 4 40 40 512 12 256 0 204 140 80 308 16 144 84 212 248 52 344 32 204 48 348 136 116 408 164 124 120 144 40 120 40 268 292 64 32 0 84 68 36 136 268 12 348 368 308 268 172 44 132 280 96 240 244 224 12 72 0 20 176 220 216 236 24 200 104 232 240 44 72 96 132 4 112 92 416 256 32 184 100 100 360 404 40 320 148 4 208 316 36 124 276 64 104 216 188 256 96 32 324 16 100 64 120 140 8 60 128 32 112 100 72 84 120 68 84 352 324 220 144 332 96 28 40 168 212 156 432 136 300 260 52 172 32 128 148 304 280 416 472 380 324 84 364 440 116 468 108 52 320 96 172 128 140 152 156 108 360 284 336 288 4 40 4 32 168 76 472 28 392 44 68 20 76 100 36 436 68 4 56 36 0 76 108 72 224 112 48 16 60 32 64 328 48 60 100 316 320 312 328 56 304 356 32 140 192 388 16 80 132 252 184 16 112 76 160 64 0 344 12 12 332 256 8 24 32 104 172 388 164 124 128 196 292 20 84 48 116 28 228 284 52 4 212 284 280 280 312 216 72 148 108 8 300 224 60 376 32 76 288 76 116 344 48 0 152 0 188 36 216 244 88 68 76 56 92 184 320 76 80 152 144 200 348 44 268 120 80 112 32 76 80 56 116 92 196 16 516 100 4 52 52 260 60 68 164 164 204 236 160 60 112 48 380 272 36 96 136 100 80 244 16 128 72 40 192 480 32 364 164 208 176 292 264 172 20 124 168 120 312 292 128 4 284 176 116 248 276 80 236 192 108 32 92 300 112 288 316 348 328 48 24 356 168 120 264 356 424 120 12 236 100 224 100 76 152 320 0 152 56 440 4 108 156 48 20 208 152 100 88 52 44 288 212 4 72 80 52 228 116 8 76 28 460 32 348 96 316 56 156 40 60 116 72 24 332 32 276 88 44 44 76 228 32 152 152 116 112 68 192 200 152 132 72 20 244 44 112 152 248 88 480 440 344 36 68 16 108 112 408 196 324 432 88 188 76 476 400 516 400 48 456 56 0 252 396 312 112 20 288 260 104 516 564 456 516 248 252 16 80 88 392 456 60 48 392 80 24 44 40 36 88 128 28 340 132 92 44 188 100 12 92 116 132 132 188 120 60 412 488 144 152 52 316 428 108 396 364 112 80 28 144 160 84 52 292 436 396 372 216 144 252 28 72 92 72 244 56 164 60 48 192 72 332 184 112 216 104 216 48 4 0 224 324 84 28 32 292 40 76 332 372 400 24 308 40 168 416 72 132 160 8 212 428 188 36 8 4 188 180 356 76 328 88 468 444 104 344 4 48 428 48 28 268 320 260 140 332 420 372 272 448 212 232 16 408 16 172 108 132 112 168 68 288 200 296 280 136 76 396 8 264 172 512 176 272 16 216 272 8 368 408 84 28 376 280 440 12 56 228 368 132 324 120 328 96 0 76 292 336 0 68 184 24 144 120 296 328 204 76 232 316 96 20 96 48 8 352 304 36 472 124 72 16 56 
2520.08/2499.81	v 	</values>
2520.08/2499.81	v </instantiation>

Verifier Data

OK	51331220

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308352-1534288060/watcher-4308352-1534288060 -o /tmp/evaluation-result-4308352-1534288060/solver-4308352-1534288060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18809 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1923134841 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308352-1534288060.xml 

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

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


[startup+0.100121 s]*
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18275784/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=31856 CPUtime=0.12 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 6405 0 0 0 11 1 0 0 20 0 15 0 246369346 14420721664 7964 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 7964 3146 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 4397 0 0 0 9 0 0 0 20 0 15 0 246369346 14420721664 7964 33554432000 4194304 4196468 140730678262128 139638076293384 139638072102294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=5793855056800156089 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.01 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 316 0 0 0 1 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 7964 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31856 KiB

[startup+0.210321 s]*
/proc/loadavg: 1.68 1.51 1.44 5/215 20790
/proc/meminfo: memFree=18260032/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=48184 CPUtime=0.29 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 10114 0 0 0 27 2 0 0 20 0 15 0 246369346 14420721664 12046 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 12046 3361 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 7727 0 0 0 18 1 0 0 20 0 15 0 246369346 14420721664 12046 33554432000 4194304 4196468 140730678262128 139638076316384 139638072102294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=4211973531995053450 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) R 20772 20775 17276 0 -1 4202560 536 0 0 0 2 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637542921296 139638050029344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) R 20772 20775 17276 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) R 20772 20775 17276 0 -1 4202560 409 0 0 0 5 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637540829424 139638072111706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12046 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 48184 KiB

[startup+0.310473 s]*
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18256196/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14082736 memory=51604 CPUtime=0.43 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 10547 0 0 0 41 2 0 0 20 0 15 0 246369346 14420721664 12901 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3520684 12901 3414 1 0 3482761 0
[pid=20775/tid=20777] ppid=20772 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 8065 0 0 0 28 2 0 0 20 0 15 0 246369346 14420721664 12901 33554432000 4194304 4196468 140730678262128 139638076308272 139638056170846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14082736 memory=4211973531995053450 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14082736 memory=279611472152960 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14082736 memory=279611363807744 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14082736 memory=139805681890063 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14082736 memory=279611472159872 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14082736 memory=139805681894671 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14082736 memory=139805681915786 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14082736 memory=139805681919871 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 567 0 0 0 3 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14082736 memory=139805790262912 CPUtime=0.08 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 459 0 0 0 8 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14082736 memory=139805790294768 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14420721664 12901 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51604 KiB

[startup+0.70207 s]
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18234988/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14084804 memory=89508 CPUtime=0.98 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 17302 0 0 0 93 5 0 0 20 0 15 0 246369346 14422839296 22377 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3521201 22377 3482 1 0 3483273 0
[pid=20775/tid=20777] ppid=20772 vsize=14084804 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 14373 0 0 0 63 4 0 0 20 0 15 0 246369346 14422839296 22377 33554432000 4194304 4196468 140730678262128 139638076314464 139638056170846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14084804 memory=79 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14084804 memory=1 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246369347 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14084804 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246369348 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246369349 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637546091936 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14084804 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246369349 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637545039344 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14084804 memory=7192 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14084804 memory=748 CPUtime=0.07 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14084804 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 262 0 0 0 7 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14084804 memory=1220 CPUtime=0.15 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 571 0 0 0 15 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14084804 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14084804 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246369351 14422839296 22377 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89508 KiB

[startup+1.50074 s]
/proc/loadavg: 1.68 1.51 1.44 3/215 20790
/proc/meminfo: memFree=18112120/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14086852 memory=335056 CPUtime=2.89 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 23155 0 0 0 271 18 0 0 20 0 15 0 246369346 14424936448 83764 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3521713 83764 3564 1 0 3483785 0
[pid=20775/tid=20777] ppid=20772 vsize=14086852 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 16068 0 0 0 132 7 0 0 20 0 15 0 246369346 14424936448 83764 33554432000 4194304 4196468 140730678262128 139638076326576 139637710115620 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 92 0 0 0 1 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14086852 memory=79 CPUtime=0.03 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 375 0 0 0 2 1 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14086852 memory=1 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 272 0 0 0 3 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14086852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 268 0 0 0 3 2 0 0 20 0 15 0 246369347 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 246369348 14424936448 83764 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0

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

/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 166964 0 0 0 237581 88 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 139638076328288 139637723087279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=-7003737579269690708 CPUtime=4.02 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 42882 0 0 0 353 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=2580 CPUtime=4.01 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 38668 0 0 0 354 47 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=4104 CPUtime=4.03 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 36650 0 0 0 355 48 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=1408 CPUtime=4.03 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 38877 0 0 0 355 48 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3100 CPUtime=0.72 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24274 0 0 0 62 10 0 0 20 0 15 0 246369348 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3264 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=2573440 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7710 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=0 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9365 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=-8253362762722141311 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22790 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=-7175204567652784766 CPUtime=1.17 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2403 0 0 0 58 59 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2401.74 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3192004 KiB

[startup+2442.3 s]*
/proc/loadavg: 1.59 1.62 1.72 3/215 20940
/proc/meminfo: memFree=12667644/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2462.19 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 396847 0 0 0 245875 344 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798001 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=6791534058613427641 CPUtime=2436.45 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 168107 0 0 0 243557 88 0 0 20 0 15 0 246369346 14429130752 798001 33554432000 4194304 4196468 140730678262128 139638076328432 139637723087107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=-7003737579269690708 CPUtime=4.17 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 43568 0 0 0 367 50 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=808 CPUtime=4.16 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 39866 0 0 0 369 47 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=1692 CPUtime=4.19 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 37665 0 0 0 370 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=916 CPUtime=4.19 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 39253 0 0 0 370 49 0 0 20 0 15 0 246369347 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3848 CPUtime=0.78 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24637 0 0 0 67 11 0 0 20 0 15 0 246369348 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=1408 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7714 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3100 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9370 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3192004 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22794 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=3264 CPUtime=1.2 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2435 0 0 0 60 60 0 0 20 0 15 0 246369351 14429130752 798001 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2462.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3192004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.8 s]
/proc/loadavg: 1.48 1.59 1.70 3/215 20941
/proc/meminfo: memFree=12693896/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2520.08 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 401515 0 0 0 251662 346 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798513 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2493.68 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 169093 0 0 0 249280 88 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 139638076328432 139637722146963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=287 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 44629 0 0 0 381 50 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 40723 0 0 0 383 48 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.33 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 38085 0 0 0 384 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.34 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 40201 0 0 0 385 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0.83 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24995 0 0 0 72 11 0 0 20 0 15 0 246369348 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=808 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7718 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9374 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3194052 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22798 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=66976 CPUtime=1.23 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2461 0 0 0 61 62 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3194052 KiB

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

[startup+2499.82 s]
# the end of solver process 20775 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.64 s, system=3.48381 s

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

[startup+2499.8 s]
/proc/loadavg: 1.48 1.59 1.70 3/215 20941
/proc/meminfo: memFree=12693896/32770624 swapFree=67108792/67108860
[pid=20775] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2520.08 cores=0,2,4,6
/proc/20775/stat : 20775 (java) S 20772 20775 17276 0 -1 1077944320 401515 0 0 0 251662 346 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 140730678244672 139638072090359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
/proc/20775/statm: 3522737 798513 3621 1 0 3484809 0
[pid=20775/tid=20777] ppid=20772 vsize=14090948 memory=3192004 CPUtime=2493.68 cores=0,2,4,6
/proc/20775/task/20777/stat : 20777 (java) R 20772 20775 17276 0 -1 4202560 169093 0 0 0 249280 88 0 0 20 0 15 0 246369346 14429130752 798513 33554432000 4194304 4196468 140730678262128 139638076328432 139637722146963 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20778] ppid=20772 vsize=14090948 memory=287 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20778/stat : 20778 (java) S 20772 20775 17276 0 -1 1077944384 44629 0 0 0 381 50 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637668288784 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20779] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.31 cores=0,2,4,6
/proc/20775/task/20779/stat : 20779 (java) S 20772 20775 17276 0 -1 1077944384 40723 0 0 0 383 48 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637667236240 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20780] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.33 cores=0,2,4,6
/proc/20775/task/20780/stat : 20780 (java) S 20772 20775 17276 0 -1 1077944384 38085 0 0 0 384 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637666183696 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20781] ppid=20772 vsize=14090948 memory=3192004 CPUtime=4.34 cores=0,2,4,6
/proc/20775/task/20781/stat : 20781 (java) S 20772 20775 17276 0 -1 1077944384 40201 0 0 0 385 49 0 0 20 0 15 0 246369347 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637665131152 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20782] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0.83 cores=0,2,4,6
/proc/20775/task/20782/stat : 20782 (java) S 20772 20775 17276 0 -1 1077944384 24995 0 0 0 72 11 0 0 20 0 15 0 246369348 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637547145712 139638072101506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20783] ppid=20772 vsize=14090948 memory=3192004 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20783/stat : 20783 (java) S 20772 20775 17276 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637546092000 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20784] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20784/stat : 20784 (java) S 20772 20775 17276 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 246369349 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637545039360 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20785] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20785/stat : 20785 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637543987920 139638072108955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20786] ppid=20772 vsize=14090948 memory=808 CPUtime=2.87 cores=0,2,4,6
/proc/20775/task/20786/stat : 20786 (java) S 20772 20775 17276 0 -1 1077944384 7718 0 0 0 285 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637542934512 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20787] ppid=20772 vsize=14090948 memory=3194052 CPUtime=2.81 cores=0,2,4,6
/proc/20775/task/20787/stat : 20787 (java) S 20772 20775 17276 0 -1 1077944384 9374 0 0 0 279 2 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637541881968 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20788] ppid=20772 vsize=14090948 memory=3194052 CPUtime=1.27 cores=0,2,4,6
/proc/20775/task/20788/stat : 20788 (java) S 20772 20775 17276 0 -1 1077944384 22798 0 0 0 124 3 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637540829424 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20789] ppid=20772 vsize=14090948 memory=3194052 CPUtime=0 cores=0,2,4,6
/proc/20775/task/20789/stat : 20789 (java) S 20772 20775 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637539777120 139638072100565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
[pid=20775/tid=20790] ppid=20772 vsize=14090948 memory=66976 CPUtime=1.23 cores=0,2,4,6
/proc/20775/task/20790/stat : 20790 (java) S 20772 20775 17276 0 -1 1077944384 2461 0 0 0 61 62 0 0 20 0 15 0 246369351 14429130752 798513 33554432000 4194304 4196468 140730678262128 139637538724656 139638072101506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24334336 140730678269000 140730678269193 140730678269193 140730678271951 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3194052 KiB

Child status: 143
Real time (s): 2499.82
CPU time (s): 2520.13
CPU user time (s): 2516.64
CPU system time (s): 3.48381
CPU usage (%): 100.812
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4326492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.64
system time used= 3.48381
maximum resident set size= 4332668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75368
involuntary context switches= 3926


# summary of solver processes directly reported to runsolver:
#   pid: 20775
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.64
#   total CPU system time (s): 3.48381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5976 second user time and 24.0942 second system time

The end

Launcher Data

Begin job on node150 at 2018-08-15 01:07:41
IDJOB=4308352
IDBENCH=141259
IDSOLVER=2791
FILE ID=node150/4308352-1534288060
RUNJOBID= node150-1534270551-18809
PBS_JOBID= 21038115
Free space on /tmp= 37924 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308352-1534288060/watcher-4308352-1534288060 -o /tmp/evaluation-result-4308352-1534288060/solver-4308352-1534288060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18809 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1923134841 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308352-1534288060.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1923134841

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18294916 kB
MemAvailable:   31704412 kB
Buffers:          242436 kB
Cached:         13326144 kB
SwapCached:           32 kB
Active:          6578612 kB
Inactive:        7245444 kB
Active(anon):     207420 kB
Inactive(anon):   100944 kB
Active(file):    6371192 kB
Inactive(file):  7144500 kB
Unevictable:        7740 kB
Mlocked:            7740 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             80776 kB
Writeback:             0 kB
AnonPages:        267688 kB
Mapped:            69264 kB
Shmem:             49732 kB
Slab:             350220 kB
SReclaimable:     322264 kB
SUnreclaim:        27956 kB
KernelStack:        3696 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1218976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 37784 MiB
End job on node150 at 2018-08-15 01:49:21