Trace number 4291695

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 - Parallel with EPS 2018-07-02SAT (TO)509923 19873 2520.21

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay100_c18.xml
MD5SUMd8b461fac2d17be3b89e017753091d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark636587
Best CPU time to get the best result obtained on this benchmark19792.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":100}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data

0.68/0.54	c version: 2018-07-02
0.68/0.55	c seed: 1885318086
0.68/0.55	c timeout: 20160
0.68/0.55	c memlimit: 22000
0.68/0.55	c nbcore: 8
0.68/0.58	c Parsing instance...
2.12/1.09	c Parsing done, starting search...
15.78/8.40	o 5978
16.48/8.41	o 13306
16.48/8.41	o 24785
16.48/8.42	o 32113
16.48/8.42	o 46463
16.48/8.42	o 49017
16.48/8.42	o 67824
17.19/8.50	o 70258
17.19/8.50	o 74361
17.19/8.50	o 76795
17.19/8.51	o 83361
17.19/8.51	o 89898
17.19/8.51	o 92332
17.19/8.51	o 92685
17.19/8.51	o 95119
17.19/8.52	o 99485
17.19/8.52	o 101919
17.19/8.52	o 102998
17.19/8.52	o 104048
17.19/8.53	o 106482
17.19/8.53	o 108566
17.19/8.53	o 110151
17.19/8.53	o 112585
17.19/8.54	o 115132
17.19/8.54	o 121669
17.19/8.54	o 124103
17.19/8.55	o 124256
17.19/8.55	o 124986
17.19/8.55	o 125821
17.19/8.55	o 130102
17.19/8.55	o 132536
17.19/8.56	o 132621
17.19/8.56	o 132774
17.19/8.56	o 133148
17.19/8.56	o 133386
17.19/8.57	o 135185
17.19/8.57	o 140301
17.19/8.57	o 142735
17.19/8.57	o 142973
17.19/8.58	o 144279
17.19/8.58	o 146713
17.98/8.61	o 147726
17.98/8.61	o 150160
17.98/8.62	o 150508
17.98/8.62	o 150515
17.98/8.62	o 150863
17.98/8.62	o 151528
17.98/8.62	o 153962
17.98/8.62	o 154310
17.98/8.63	o 154574
17.98/8.63	o 154922
17.98/8.64	o 155530
17.98/8.64	o 155878
18.81/8.71	o 157120
18.81/8.71	o 158082
18.81/8.71	o 160516
18.81/8.71	o 160864
18.81/8.71	o 161223
18.81/8.71	o 161571
18.81/8.71	o 163657
18.81/8.72	o 164005
18.81/8.72	o 164397
18.81/8.72	o 164448
18.81/8.73	o 165410
18.81/8.73	o 167844
18.81/8.73	o 168192
18.81/8.73	o 168551
18.81/8.73	o 168899
18.81/8.73	o 170985
18.81/8.73	o 171333
18.81/8.73	o 171941
18.81/8.73	o 172289
18.81/8.76	o 172424
18.81/8.77	o 172935
18.81/8.77	o 173948
18.81/8.77	o 176382
18.81/8.77	o 177344
18.81/8.77	o 179778
18.81/8.77	o 180126
18.81/8.78	o 180459
18.81/8.79	o 182545
18.81/8.79	o 182893
18.81/8.79	o 182919
18.81/8.79	o 183267
18.81/8.80	o 183501
18.81/8.80	o 183849
18.81/8.80	o 183875
18.81/8.80	o 184223
19.58/8.80	o 184325
19.58/8.81	o 186759
19.58/8.81	o 187107
19.58/8.81	o 187466
19.58/8.81	o 187814
19.58/8.81	o 189900
19.58/8.81	o 190248
19.58/8.82	o 190856
19.58/8.82	o 191204
19.58/8.82	o 191314
19.58/8.82	o 191662
19.58/8.82	o 192021
19.58/8.83	o 194455
19.58/8.83	o 194803
19.58/8.83	o 195411
19.58/8.84	o 195759
19.58/8.85	o 196297
19.58/8.85	o 196645
19.58/8.87	o 197184
19.58/8.88	o 198070
19.58/8.88	o 198222
19.58/8.88	o 199957
19.58/8.88	o 201116
19.58/8.88	o 202078
19.58/8.88	o 204512
19.58/8.88	o 205398
19.58/8.88	o 206105
19.58/8.88	o 207653
19.58/8.88	o 208539
19.58/8.89	o 208609
19.58/8.89	o 209495
19.58/8.89	o 209533
19.58/8.89	o 211256
19.58/8.89	o 212142
19.58/8.89	o 212212
20.38/8.90	o 213098
20.38/8.90	o 213759
20.38/8.90	o 214645
20.38/8.90	o 216900
20.38/8.90	o 217786
20.38/8.90	o 217856
20.38/8.90	o 218742
20.38/8.90	o 219386
20.38/8.90	o 219719
20.38/8.90	o 220732
20.38/8.90	o 223166
20.38/8.92	o 224128
20.38/8.92	o 226562
20.38/8.92	o 226937
20.38/8.92	o 228434
20.38/8.92	o 231830
20.38/8.92	o 234264
20.38/8.92	o 234971
20.38/8.92	o 237405
20.38/8.92	o 238361
20.38/8.93	o 239320
20.38/8.93	o 239495
20.38/8.93	o 241929
20.38/8.93	o 242885
20.38/8.93	o 243773
20.38/8.93	o 246207
20.38/8.93	o 247220
20.38/8.93	o 249654
20.38/8.93	o 250361
20.38/8.93	o 252795
20.38/8.94	o 253751
20.38/8.94	o 255404
20.38/8.95	o 256360
20.38/8.95	o 256986
20.38/8.95	o 259420
20.38/8.95	o 261680
20.38/8.96	o 263177
20.38/8.96	o 266573
20.38/8.96	o 269007
20.38/8.96	o 269963
20.38/8.96	o 272148
20.38/8.96	o 273104
21.22/9.01	o 273713
21.22/9.01	o 276147
21.22/9.01	o 276341
21.22/9.01	o 277109
21.22/9.01	o 278775
21.22/9.01	o 279543
21.22/9.02	o 281916
21.22/9.02	o 282684
21.22/9.02	o 283640
21.22/9.02	o 284190
21.22/9.02	o 285146
21.22/9.03	o 286524
21.22/9.03	o 286612
21.22/9.03	o 287498
21.22/9.04	o 287669
21.22/9.04	o 288897
21.22/9.04	o 289665
21.22/9.04	o 290403
21.22/9.04	o 291171
21.22/9.05	o 291905
21.22/9.05	o 292791
21.22/9.05	o 293014
21.22/9.05	o 294071
21.22/9.06	o 294957
21.22/9.06	o 295128
21.22/9.06	o 295995
21.22/9.06	o 296881
21.22/9.07	o 297689
21.22/9.07	o 298575
21.22/9.07	o 300094
21.22/9.08	o 301788
21.22/9.08	o 302674
21.22/9.08	o 304330
21.22/9.08	o 305216
21.22/9.08	o 306024
21.22/9.08	o 306910
22.01/9.11	o 307521
22.01/9.11	o 307648
22.01/9.13	o 309342
22.01/9.13	o 310228
22.01/9.13	o 310871
22.01/9.13	o 311757
22.01/9.19	o 311956
22.01/9.19	o 312842
22.01/9.19	o 313580
22.01/9.19	o 315274
22.01/9.20	o 315344
22.01/9.20	o 315437
22.76/9.20	o 316160
22.76/9.20	o 316803
22.76/9.20	o 317689
22.76/9.21	o 319416
22.76/9.21	o 320302
22.76/9.21	o 321110
22.76/9.21	o 321996
22.76/9.21	o 322348
22.76/9.21	o 322418
22.76/9.21	o 323304
22.76/9.22	o 323817
22.76/9.22	o 324473
22.76/9.22	o 325359
22.76/9.22	o 326097
22.76/9.22	o 327791
22.76/9.22	o 328677
22.76/9.22	o 329320
22.76/9.22	o 330206
22.76/9.23	o 330942
22.76/9.23	o 331702
22.76/9.23	o 332477
22.76/9.23	o 332571
22.76/9.23	o 334838
22.76/9.23	o 336532
22.76/9.23	o 337418
22.76/9.23	o 338061
22.76/9.23	o 338947
22.76/9.23	o 340460
22.76/9.24	o 341346
22.76/9.24	o 342132
22.76/9.24	o 343018
22.76/9.24	o 343826
22.76/9.24	o 344712
22.76/9.24	o 345226
22.76/9.24	o 346979
22.76/9.24	o 348673
22.76/9.24	o 349559
22.76/9.24	o 349577
22.76/9.26	o 350385
22.76/9.26	o 351271
22.76/9.26	o 351785
22.76/9.26	o 353538
22.76/9.26	o 355232
22.76/9.26	o 356118
22.76/9.27	o 356373
22.76/9.27	o 357259
22.76/9.27	o 358067
22.76/9.27	o 358953
22.76/9.28	o 359209
22.76/9.28	o 360095
22.76/9.28	o 360609
22.76/9.28	o 362362
22.76/9.28	o 364056
22.76/9.28	o 364942
22.76/9.28	o 366838
22.76/9.28	o 367724
22.76/9.29	o 368532
22.76/9.29	o 369418
22.76/9.30	o 371369
23.53/9.31	o 372255
23.53/9.31	o 373063
23.53/9.31	o 373949
23.53/9.31	o 374125
23.53/9.31	o 375878
23.53/9.31	o 377572
23.53/9.31	o 378458
23.53/9.31	o 378828
23.53/9.31	o 379714
23.53/9.31	o 380228
23.53/9.31	o 381981
23.53/9.31	o 383675
23.53/9.31	o 384561
23.53/9.33	o 385851
23.53/9.33	o 386908
23.53/9.34	o 388195
23.53/9.34	o 389252
23.53/9.34	o 389459
23.53/9.34	o 390600
23.53/9.34	o 392294
23.53/9.34	o 393351
23.53/9.34	o 393488
23.53/9.34	o 394836
23.53/9.34	o 395893
23.53/9.34	o 396530
23.53/9.34	o 397587
23.53/9.35	o 398283
23.53/9.35	o 399340
23.53/9.35	o 399477
23.53/9.35	o 400825
23.53/9.35	o 402519
23.53/9.35	o 403576
23.53/9.35	o 404645
23.53/9.35	o 406339
23.53/9.37	o 407648
23.53/9.37	o 408790
23.53/9.37	o 411943
23.53/9.37	o 413637
23.53/9.37	o 415278
23.53/9.37	o 415757
24.25/9.43	o 416023
24.25/9.44	o 416394
24.25/9.44	o 419176
24.25/9.44	o 420870
24.25/9.44	o 422012
24.25/9.44	o 422383
24.25/9.44	o 423412
24.25/9.44	o 425165
24.25/9.45	o 426859
25.05/9.55	o 426961
25.85/9.65	o 427730
25.85/9.65	o 429130
25.85/9.65	o 430883
25.85/9.66	o 432577
26.66/9.77	o 433458
27.43/9.89	o 433478
27.43/9.89	o 437400
27.43/9.89	o 439094
29.10/10.08	o 439658
29.10/10.09	o 441352
42.54/11.70	o 442204
42.54/11.70	o 442229
42.54/11.70	o 443370
42.54/11.71	o 443395
46.51/12.26	o 443545
46.51/12.27	o 443570
46.51/12.27	o 446380
46.51/12.27	o 446405
47.31/12.35	o 447546
47.31/12.36	o 447571
75.97/16.00	o 448146
80.04/16.49	o 448619
94.33/18.27	o 449892
95.11/18.39	o 451101
95.11/18.39	o 452795
145.31/24.69	o 453133
145.31/24.69	o 454827
145.31/24.69	o 455472
145.31/24.69	o 456036
145.31/24.69	o 457730
166.77/27.33	o 458501
198.63/31.32	o 458695
198.63/31.32	o 460389
218.52/33.87	o 461002
239.23/36.47	o 462202
240.03/36.57	o 462476
240.03/36.58	o 463181
240.03/36.58	o 464160
240.03/36.58	o 465854
240.03/36.58	o 466418
240.03/36.58	o 467499
240.03/36.58	o 468112
619.30/84.35	o 468524
619.30/84.36	o 469088
619.30/84.36	o 470782
757.30/101.73	o 471173
1001.94/132.65	o 471839
1001.94/132.66	o 474512
1001.94/132.66	o 475698
1871.11/242.67	o 475758
1871.11/242.67	o 475783
1871.11/242.68	o 477061
1871.11/242.68	o 477452
1871.11/242.68	o 477477
1875.84/243.23	o 478016
1875.84/243.23	o 478407
1875.84/243.23	o 478432
1875.84/243.28	o 478618
1875.84/243.29	o 478643
2259.88/291.98	o 480680
2259.88/291.99	o 481454
2259.88/291.99	o 484127
2292.06/296.05	o 485313
2601.57/335.29	o 485914
2601.57/335.30	o 487419
2713.25/349.35	o 488605
3358.64/431.04	o 488800
3358.64/431.04	o 488821
3358.64/431.05	o 489212
3358.64/431.05	o 489385
3358.64/431.05	o 491079
3358.64/431.05	o 491470
5259.73/671.62	o 492697
5288.19/675.23	o 493966
6183.72/788.56	o 494359
6584.60/839.27	o 494619
6584.60/839.29	o 495505
6753.17/860.52	o 495514
6753.17/860.53	o 498349
6753.17/860.56	o 499920
6753.17/860.56	o 500532
6753.17/860.57	o 503367
11844.82/1504.46	o 504582
11844.82/1504.46	o 504989
15990.68/2029.21	o 505076
15990.68/2029.22	o 506476
15990.68/2029.22	o 507088
15990.68/2029.22	o 507665
15990.68/2029.22	o 509923
19871.73/2520.02	s SATISFIABLE
19871.73/2520.02	v <instantiation>
19871.73/2520.02	v 	<list>
19871.73/2520.02	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
19871.73/2520.02	v 	</list>
19871.73/2520.02	v 	<values>
19871.73/2520.02	v 		0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19871.73/2520.02	v 	</values>
19871.73/2520.02	v </instantiation>

Verifier Data

OK	509923

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291695-1532633949/watcher-4291695-1532633949 -o /tmp/evaluation-result-4291695-1532633949/solver-4291695-1532633949 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532633886-5907 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1885318086 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291695-1532633949.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=6024, runsolver pid=6021

[startup+0.100142 s]*
/proc/loadavg: 7.91 8.48 8.58 2/198 6044
/proc/meminfo: memFree=21186904/32770624 swapFree=67108860/67108860
[pid=6024] ppid=6021 vsize=26103424 memory=32780 CPUtime=0.11 cores=0-7
/proc/6024/stat : 6024 (java) S 6021 6024 5880 0 -1 1077944320 7109 0 0 0 10 1 0 0 20 0 20 0 80958085 26729906176 8195 33554432000 4194304 4196468 140730487202240 140730487184784 139676978933495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
/proc/6024/statm: 6525856 8195 3145 1 0 6487932 0
[pid=6024/tid=6026] ppid=6021 vsize=26103424 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6024/task/6026/stat : 6026 (java) R 6021 6024 5880 0 -1 4202560 5186 0 0 0 8 1 0 0 20 0 20 0 80958085 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676983136624 139676978945430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6027] ppid=6021 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6024/task/6027/stat : 6027 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676901514384 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6028] ppid=6021 vsize=26103424 memory=140446446614144 CPUtime=0 cores=0-7
/proc/6024/task/6028/stat : 6028 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676536036368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6029] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6029/stat : 6029 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676534983568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6030] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6030/stat : 6030 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676533930768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6031] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6031/stat : 6031 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676532877968 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6032] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6032/stat : 6032 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676531825168 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6033] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6033/stat : 6033 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676530772368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6034] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6034/stat : 6034 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 8206 33554432000 4194304 4196468 140730487202240 139676529719568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6035] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6035/stat : 6035 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675386657648 139676978944642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6036] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6036/stat : 6036 (java) S 6021 6024 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675385603616 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6037] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6037/stat : 6037 (java) S 6021 6024 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675384550768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6038] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6038/stat : 6038 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675383499088 139676978952091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6039] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6039/stat : 6039 (java) R 6021 6024 5880 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675382446448 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6040] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6040/stat : 6040 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675381393648 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6041] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6041/stat : 6041 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675380340848 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6042] ppid=6021 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/6024/task/6042/stat : 6042 (java) R 6021 6024 5880 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675379288048 139676957563953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6043] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6043/stat : 6043 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675378236512 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6044] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6044/stat : 6044 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 8206 33554432000 4194304 4196468 140730487202240 139675377183792 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 32780 KiB

[startup+0.210043 s]*
/proc/loadavg: 7.91 8.48 8.58 4/198 6044
/proc/meminfo: memFree=21174192/32770624 swapFree=67108860/67108860
[pid=6024] ppid=6021 vsize=26103424 memory=43484 CPUtime=0.3 cores=0-7
/proc/6024/stat : 6024 (java) S 6021 6024 5880 0 -1 1077944320 10078 0 0 0 28 2 0 0 20 0 20 0 80958085 26729906176 10871 33554432000 4194304 4196468 140730487202240 140730487184784 139676978933495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
/proc/6024/statm: 6525856 10871 3309 1 0 6487932 0
[pid=6024/tid=6026] ppid=6021 vsize=26103424 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/6024/task/6026/stat : 6026 (java) R 6021 6024 5880 0 -1 4202560 7882 0 0 0 18 2 0 0 20 0 20 0 80958085 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676983154624 139676964614600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6027] ppid=6021 vsize=26103424 memory=10823 CPUtime=0 cores=0-7
/proc/6024/task/6027/stat : 6027 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676901514384 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6028] ppid=6021 vsize=26103424 memory=140446446620221 CPUtime=0 cores=0-7
/proc/6024/task/6028/stat : 6028 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676536036368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6029] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6029/stat : 6029 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676534983568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6030] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6030/stat : 6030 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676533930768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6031] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6031/stat : 6031 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676532877968 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6032] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6032/stat : 6032 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676531825168 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6033] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6033/stat : 6033 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676530772368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6034] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6034/stat : 6034 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 10871 33554432000 4194304 4196468 140730487202240 139676529719568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6035] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6035/stat : 6035 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675386657648 139676978944642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6036] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6036/stat : 6036 (java) S 6021 6024 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675385603616 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6037] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6037/stat : 6037 (java) S 6021 6024 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675384550768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6038] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6038/stat : 6038 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675383499088 139676978952091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6039] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6039/stat : 6039 (java) S 6021 6024 5880 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675382446448 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6040] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6040/stat : 6040 (java) S 6021 6024 5880 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675381393648 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6041] ppid=6021 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/6024/task/6041/stat : 6041 (java) S 6021 6024 5880 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675380340848 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6042] ppid=6021 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/6024/task/6042/stat : 6042 (java) S 6021 6024 5880 0 -1 1077944384 279 0 0 0 6 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675379288048 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6043] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6043/stat : 6043 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675378236512 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6044] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6044/stat : 6044 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 10871 33554432000 4194304 4196468 140730487202240 139675377183792 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43484 KiB

[startup+0.309708 s]*
/proc/loadavg: 7.91 8.48 8.58 2/198 6044
/proc/meminfo: memFree=21170780/32770624 swapFree=67108860/67108860
[pid=6024] ppid=6021 vsize=26103424 memory=47300 CPUtime=0.43 cores=0-7
/proc/6024/stat : 6024 (java) S 6021 6024 5880 0 -1 1077944320 10512 0 0 0 40 3 0 0 20 0 20 0 80958085 26729906176 11825 33554432000 4194304 4196468 140730487202240 140730487184784 139676978933495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
/proc/6024/statm: 6525856 11825 3383 1 0 6487932 0
[pid=6024/tid=6026] ppid=6021 vsize=26103424 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/6024/task/6026/stat : 6026 (java) R 6021 6024 5880 0 -1 4202560 8225 0 0 0 28 2 0 0 20 0 20 0 80958085 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676983095232 139676963013982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6027] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6027/stat : 6027 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676901514384 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6028] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6028/stat : 6028 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676536036368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6029] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6029/stat : 6029 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676534983568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6030] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6030/stat : 6030 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676533930768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6031] ppid=6021 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/6024/task/6031/stat : 6031 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676532877968 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6032] ppid=6021 vsize=26103424 memory=140446303089583 CPUtime=0 cores=0-7
/proc/6024/task/6032/stat : 6032 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676531825168 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6033] ppid=6021 vsize=26103424 memory=140446303091888 CPUtime=0 cores=0-7
/proc/6024/task/6033/stat : 6033 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676530772368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6034] ppid=6021 vsize=26103424 memory=140446303094192 CPUtime=0 cores=0-7
/proc/6024/task/6034/stat : 6034 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26729906176 11825 33554432000 4194304 4196468 140730487202240 139676529719568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6035] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6035/stat : 6035 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675386657648 139676978944642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6036] ppid=6021 vsize=26103424 memory=280892606195344 CPUtime=0 cores=0-7
/proc/6024/task/6036/stat : 6036 (java) S 6021 6024 5880 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675385603616 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6037] ppid=6021 vsize=26103424 memory=280892606202256 CPUtime=0 cores=0-7
/proc/6024/task/6037/stat : 6037 (java) S 6021 6024 5880 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80958088 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675384550768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6038] ppid=6021 vsize=26103424 memory=280892606143504 CPUtime=0 cores=0-7
/proc/6024/task/6038/stat : 6038 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675383499088 139676978952091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6039] ppid=6021 vsize=26103424 memory=280892606216080 CPUtime=0 cores=0-7
/proc/6024/task/6039/stat : 6039 (java) S 6021 6024 5880 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675382446448 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6040] ppid=6021 vsize=26103424 memory=280892606222992 CPUtime=0.01 cores=0-7
/proc/6024/task/6040/stat : 6040 (java) S 6021 6024 5880 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675381393648 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6041] ppid=6021 vsize=26103424 memory=280892606220688 CPUtime=0.01 cores=0-7
/proc/6024/task/6041/stat : 6041 (java) S 6021 6024 5880 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675380340848 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6042] ppid=6021 vsize=26103424 memory=280892606237296 CPUtime=0.07 cores=0-7
/proc/6024/task/6042/stat : 6042 (java) R 6021 6024 5880 0 -1 4202560 286 0 0 0 7 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675379288048 139676958853530 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6043] ppid=6021 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6043/stat : 6043 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675378236512 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6044] ppid=6021 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/6024/task/6044/stat : 6044 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958091 26729906176 11825 33554432000 4194304 4196468 140730487202240 139675377183792 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 47300 KiB

[startup+0.700877 s]
/proc/loadavg: 7.91 8.48 8.58 2/198 6044
/proc/meminfo: memFree=21147092/32770624 swapFree=67108860/67108860
[pid=6024] ppid=6021 vsize=26105492 memory=87760 CPUtime=1 cores=0-7
/proc/6024/stat : 6024 (java) S 6021 6024 5880 0 -1 1077944320 17352 0 0 0 95 5 0 0 20 0 20 0 80958085 26732023808 21940 33554432000 4194304 4196468 140730487202240 140730487184784 139676978933495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
/proc/6024/statm: 6526373 21940 3500 1 0 6488444 0
[pid=6024/tid=6026] ppid=6021 vsize=26105492 memory=0 CPUtime=0.68 cores=0-7
/proc/6024/task/6026/stat : 6026 (java) R 6021 6024 5880 0 -1 4202560 14594 0 0 0 64 4 0 0 20 0 20 0 80958085 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676983156816 139676963013982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6027] ppid=6021 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6027/stat : 6027 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676901514384 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6028] ppid=6021 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6028/stat : 6028 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676536036368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6029] ppid=6021 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/6024/task/6029/stat : 6029 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676534983568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6030] ppid=6021 vsize=26105492 memory=1948 CPUtime=0 cores=0-7
/proc/6024/task/6030/stat : 6030 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676533930768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6031] ppid=6021 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/6024/task/6031/stat : 6031 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676532877968 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6032] ppid=6021 vsize=26105492 memory=8548 CPUtime=0 cores=0-7
/proc/6024/task/6032/stat : 6032 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676531825168 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6033] ppid=6021 vsize=26105492 memory=800 CPUtime=0 cores=0-7
/proc/6024/task/6033/stat : 6033 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676530772368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6034] ppid=6021 vsize=26105492 memory=15876 CPUtime=0 cores=0-7
/proc/6024/task/6034/stat : 6034 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80958086 26732023808 21940 33554432000 4194304 4196468 140730487202240 139676529719568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6035] ppid=6021 vsize=26105492 memory=16436 CPUtime=0 cores=0-7
/proc/6024/task/6035/stat : 6035 (java) S 6021 6024 5880 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80958088 26732023808 21940 33554432000 4194304 4196468 140730487202240 139675386657648 139676978944642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0

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

[pid=6024/tid=6054] ppid=6021 vsize=27850528 memory=8112282956445269571 CPUtime=2453.54 cores=0-7
/proc/6024/task/6054/stat : 6054 (java) R 6021 6024 5880 0 -1 4202560 72044 0 0 0 245302 52 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675282935272 139676592535328 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6055] ppid=6021 vsize=27850528 memory=5520 CPUtime=2453.74 cores=0-7
/proc/6024/task/6055/stat : 6055 (java) R 6021 6024 5880 0 -1 4202560 70294 0 0 0 245324 50 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675281883072 139676587295936 0 4 0 16800975 0 0 0 -1 7 0 0 42 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6056] ppid=6021 vsize=27850528 memory=4616 CPUtime=0.01 cores=0-7
/proc/6024/task/6056/stat : 6056 (java) S 6021 6024 5880 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 46 0 80958858 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675280835728 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6057] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6057/stat : 6057 (java) S 6021 6024 5880 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 46 0 80958868 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675277648912 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6058] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6058/stat : 6058 (java) S 6021 6024 5880 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 46 0 80958868 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675276596112 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6059] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6059/stat : 6059 (java) S 6021 6024 5880 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 46 0 80958928 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675275544336 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6060] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0.01 cores=0-7
/proc/6024/task/6060/stat : 6060 (java) S 6021 6024 5880 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 46 0 80958928 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675274491536 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6061] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6061/stat : 6061 (java) S 6021 6024 5880 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 46 0 80958929 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675273438736 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6062] ppid=6021 vsize=27850528 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6024/task/6062/stat : 6062 (java) S 6021 6024 5880 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 80958929 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675272385936 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6063] ppid=6021 vsize=27850528 memory=916 CPUtime=0 cores=0-7
/proc/6024/task/6063/stat : 6063 (java) S 6021 6024 5880 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675271333136 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6064] ppid=6021 vsize=27850528 memory=4136 CPUtime=0 cores=0-7
/proc/6024/task/6064/stat : 6064 (java) S 6021 6024 5880 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675270280336 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6065] ppid=6021 vsize=27850528 memory=1408 CPUtime=0 cores=0-7
/proc/6024/task/6065/stat : 6065 (java) S 6021 6024 5880 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675269227536 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6066] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6066/stat : 6066 (java) S 6021 6024 5880 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 46 0 80958933 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675268174736 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6067] ppid=6021 vsize=27850528 memory=24052 CPUtime=0.01 cores=0-7
/proc/6024/task/6067/stat : 6067 (java) S 6021 6024 5880 0 -1 1077944384 607 0 0 0 1 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675267122960 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6068] ppid=6021 vsize=27850528 memory=2436 CPUtime=0 cores=0-7
/proc/6024/task/6068/stat : 6068 (java) S 6021 6024 5880 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675266070160 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6069] ppid=6021 vsize=27850528 memory=1296 CPUtime=0 cores=0-7
/proc/6024/task/6069/stat : 6069 (java) S 6021 6024 5880 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675265017360 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6070] ppid=6021 vsize=27850528 memory=1836 CPUtime=0 cores=0-7
/proc/6024/task/6070/stat : 6070 (java) S 6021 6024 5880 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675263964560 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
Current children cumulated CPU time: 19732 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 1926948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.93 8.85 8.75 9/225 6132
/proc/meminfo: memFree=19287516/32770624 swapFree=67108860/67108860
[pid=6024] ppid=6021 vsize=27850528 memory=1926948 CPUtime=19871.7 cores=0-7
/proc/6024/stat : 6024 (java) S 6021 6024 5880 0 -1 1077944320 1795967 0 0 0 1986157 1016 0 0 20 0 46 0 80958085 28518940672 481737 33554432000 4194304 4196468 140730487202240 140730487184784 139676978933495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
/proc/6024/statm: 6962632 481737 3627 1 0 6924182 0
[pid=6024/tid=6026] ppid=6021 vsize=27850528 memory=16436 CPUtime=7.59 cores=0-7
/proc/6024/task/6026/stat : 6026 (java) S 6021 6024 5880 0 -1 1077944384 21994 0 0 0 749 10 0 0 20 0 46 0 80958085 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676983170960 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6027] ppid=6021 vsize=27850528 memory=14052 CPUtime=9.69 cores=0-7
/proc/6024/task/6027/stat : 6027 (java) S 6021 6024 5880 0 -1 1077944384 104928 0 0 0 904 65 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676901514384 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6028] ppid=6021 vsize=27850528 memory=4872558044660077418 CPUtime=9.72 cores=0-7
/proc/6024/task/6028/stat : 6028 (java) S 6021 6024 5880 0 -1 1077944384 111566 0 0 0 909 63 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676536036368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6029] ppid=6021 vsize=27850528 memory=1796 CPUtime=9.7 cores=0-7
/proc/6024/task/6029/stat : 6029 (java) S 6021 6024 5880 0 -1 1077944384 115236 0 0 0 903 67 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676534983568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6030] ppid=6021 vsize=27850528 memory=644 CPUtime=9.72 cores=0-7
/proc/6024/task/6030/stat : 6030 (java) S 6021 6024 5880 0 -1 1077944384 102369 0 0 0 904 68 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676533930768 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6031] ppid=6021 vsize=27850528 memory=956 CPUtime=9.67 cores=0-7
/proc/6024/task/6031/stat : 6031 (java) S 6021 6024 5880 0 -1 1077944384 108861 0 0 0 900 67 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676532877968 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6032] ppid=6021 vsize=27850528 memory=1236 CPUtime=9.69 cores=0-7
/proc/6024/task/6032/stat : 6032 (java) S 6021 6024 5880 0 -1 1077944384 117043 0 0 0 903 66 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676531825168 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 44 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6033] ppid=6021 vsize=27850528 memory=2340 CPUtime=9.66 cores=0-7
/proc/6024/task/6033/stat : 6033 (java) S 6021 6024 5880 0 -1 1077944384 107723 0 0 0 901 65 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676530772368 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6034] ppid=6021 vsize=27850528 memory=1576 CPUtime=9.64 cores=0-7
/proc/6024/task/6034/stat : 6034 (java) S 6021 6024 5880 0 -1 1077944384 110425 0 0 0 903 61 0 0 20 0 46 0 80958086 28518940672 481737 33554432000 4194304 4196468 140730487202240 139676529719568 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6035] ppid=6021 vsize=27850528 memory=928 CPUtime=9.57 cores=0-7
/proc/6024/task/6035/stat : 6035 (java) S 6021 6024 5880 0 -1 1077944384 216415 0 0 0 816 141 0 0 20 0 46 0 80958088 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675386657648 139676978944642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6036] ppid=6021 vsize=27850528 memory=2240 CPUtime=0 cores=0-7
/proc/6024/task/6036/stat : 6036 (java) S 6021 6024 5880 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 80958088 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675385603680 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6037] ppid=6021 vsize=27850528 memory=4124 CPUtime=0 cores=0-7
/proc/6024/task/6037/stat : 6037 (java) S 6021 6024 5880 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 80958088 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675384550784 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6038] ppid=6021 vsize=27850528 memory=2200 CPUtime=0 cores=0-7
/proc/6024/task/6038/stat : 6038 (java) S 6021 6024 5880 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675383499088 139676978952091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6039] ppid=6021 vsize=27850528 memory=7528 CPUtime=1.45 cores=0-7
/proc/6024/task/6039/stat : 6039 (java) S 6021 6024 5880 0 -1 1077944384 7483 0 0 0 143 2 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675382446448 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6040] ppid=6021 vsize=27850528 memory=840 CPUtime=1.75 cores=0-7
/proc/6024/task/6040/stat : 6040 (java) S 6021 6024 5880 0 -1 1077944384 7847 0 0 0 174 1 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675381393648 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6041] ppid=6021 vsize=27850528 memory=1800 CPUtime=1.55 cores=0-7
/proc/6024/task/6041/stat : 6041 (java) S 6021 6024 5880 0 -1 1077944384 8244 0 0 0 154 1 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675380340848 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6042] ppid=6021 vsize=27850528 memory=916 CPUtime=1.25 cores=0-7
/proc/6024/task/6042/stat : 6042 (java) S 6021 6024 5880 0 -1 1077944384 14866 0 0 0 123 2 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675379288048 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6043] ppid=6021 vsize=27850528 memory=4136 CPUtime=0 cores=0-7
/proc/6024/task/6043/stat : 6043 (java) S 6021 6024 5880 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675378236512 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6044] ppid=6021 vsize=27850528 memory=1408 CPUtime=0.75 cores=0-7
/proc/6024/task/6044/stat : 6044 (java) S 6021 6024 5880 0 -1 1077944384 10154 0 0 0 25 50 0 0 20 0 46 0 80958091 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675377183792 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6045] ppid=6021 vsize=27850528 memory=4644 CPUtime=0.01 cores=0-7
/proc/6024/task/6045/stat : 6045 (java) S 6021 6024 5880 0 -1 1077944384 1598 0 0 0 1 0 0 0 20 0 46 0 80958810 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675365835824 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6046] ppid=6021 vsize=27850528 memory=1926948 CPUtime=1.93 cores=0-7
/proc/6024/task/6046/stat : 6046 (java) S 6021 6024 5880 0 -1 1077944384 22817 0 0 0 52 141 0 0 20 0 46 0 80958832 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675362686240 139676978944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6047] ppid=6021 vsize=27850528 memory=4104 CPUtime=2471.66 cores=0-7
/proc/6024/task/6047/stat : 6047 (java) R 6021 6024 5880 0 -1 4202560 72326 0 0 0 247121 45 0 0 20 0 46 0 80958849 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675359530536 139676592227900 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6048] ppid=6021 vsize=27850528 memory=-6733704525061579059 CPUtime=2470.22 cores=0-7
/proc/6024/task/6048/stat : 6048 (java) R 6021 6024 5880 0 -1 4202560 78839 0 0 0 246972 50 0 0 20 0 46 0 80958850 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675358477600 139676592072135 0 4 0 16800975 0 0 0 -1 6 0 0 54 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6049] ppid=6021 vsize=27850528 memory=4124 CPUtime=0.05 cores=0-7
/proc/6024/task/6049/stat : 6049 (java) S 6021 6024 5880 0 -1 1077944384 274 0 0 0 5 0 0 0 20 0 46 0 80958850 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675357430800 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6050] ppid=6021 vsize=27850528 memory=2200 CPUtime=2470.34 cores=0-7
/proc/6024/task/6050/stat : 6050 (java) R 6021 6024 5880 0 -1 4202560 74789 0 0 0 246986 48 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675287144136 139676592860890 0 4 0 16800975 0 0 0 -1 2 0 0 56 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6051] ppid=6021 vsize=27850528 memory=7528 CPUtime=2472.25 cores=0-7
/proc/6024/task/6051/stat : 6051 (java) R 6021 6024 5880 0 -1 4202560 77887 0 0 0 247175 50 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675286093616 139676592068185 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6052] ppid=6021 vsize=27850528 memory=1926948 CPUtime=2471.43 cores=0-7
/proc/6024/task/6052/stat : 6052 (java) R 6021 6024 5880 0 -1 4202560 76048 0 0 0 247094 49 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675285040736 139676592535830 0 4 0 16800975 0 0 0 -1 4 0 0 47 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6053] ppid=6021 vsize=27850528 memory=2240 CPUtime=2470.17 cores=0-7
/proc/6024/task/6053/stat : 6053 (java) R 6021 6024 5880 0 -1 4202560 78007 0 0 0 246964 53 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675283988072 139676592534501 0 4 0 16800975 0 0 0 -1 0 0 0 48 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6054] ppid=6021 vsize=27850528 memory=4124 CPUtime=2470.81 cores=0-7
/proc/6024/task/6054/stat : 6054 (java) R 6021 6024 5880 0 -1 4202560 72116 0 0 0 247029 52 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675282936144 139676592536525 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6055] ppid=6021 vsize=27850528 memory=2200 CPUtime=2471.09 cores=0-7
/proc/6024/task/6055/stat : 6055 (java) R 6021 6024 5880 0 -1 4202560 70356 0 0 0 247058 51 0 0 20 0 46 0 80958857 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675281882336 139676592067935 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6056] ppid=6021 vsize=27850528 memory=7528 CPUtime=0.01 cores=0-7
/proc/6024/task/6056/stat : 6056 (java) S 6021 6024 5880 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 46 0 80958858 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675280835728 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6057] ppid=6021 vsize=27850528 memory=840 CPUtime=0 cores=0-7
/proc/6024/task/6057/stat : 6057 (java) S 6021 6024 5880 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 46 0 80958868 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675277648912 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6058] ppid=6021 vsize=27850528 memory=1800 CPUtime=0 cores=0-7
/proc/6024/task/6058/stat : 6058 (java) S 6021 6024 5880 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 46 0 80958868 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675276596112 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6059] ppid=6021 vsize=27850528 memory=916 CPUtime=0 cores=0-7
/proc/6024/task/6059/stat : 6059 (java) S 6021 6024 5880 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 46 0 80958928 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675275544336 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6060] ppid=6021 vsize=27850528 memory=4136 CPUtime=0.01 cores=0-7
/proc/6024/task/6060/stat : 6060 (java) S 6021 6024 5880 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 46 0 80958928 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675274491536 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6061] ppid=6021 vsize=27850528 memory=1408 CPUtime=0 cores=0-7
/proc/6024/task/6061/stat : 6061 (java) S 6021 6024 5880 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 46 0 80958929 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675273438736 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6062] ppid=6021 vsize=27850528 memory=4644 CPUtime=0 cores=0-7
/proc/6024/task/6062/stat : 6062 (java) S 6021 6024 5880 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 46 0 80958929 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675272385936 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6063] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6063/stat : 6063 (java) S 6021 6024 5880 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675271333136 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6064] ppid=6021 vsize=27850528 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/6024/task/6064/stat : 6064 (java) S 6021 6024 5880 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675270280336 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6065] ppid=6021 vsize=27850528 memory=1800 CPUtime=0 cores=0-7
/proc/6024/task/6065/stat : 6065 (java) S 6021 6024 5880 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 46 0 80958930 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675269227536 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6066] ppid=6021 vsize=27850528 memory=916 CPUtime=0 cores=0-7
/proc/6024/task/6066/stat : 6066 (java) S 6021 6024 5880 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 46 0 80958933 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675268174736 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6067] ppid=6021 vsize=27850528 memory=4136 CPUtime=0.01 cores=0-7
/proc/6024/task/6067/stat : 6067 (java) S 6021 6024 5880 0 -1 1077944384 607 0 0 0 1 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675267122960 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6068] ppid=6021 vsize=27850528 memory=1408 CPUtime=0 cores=0-7
/proc/6024/task/6068/stat : 6068 (java) S 6021 6024 5880 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675266070160 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6069] ppid=6021 vsize=27850528 memory=4644 CPUtime=0 cores=0-7
/proc/6024/task/6069/stat : 6069 (java) S 6021 6024 5880 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675265017360 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
[pid=6024/tid=6070] ppid=6021 vsize=27850528 memory=1926948 CPUtime=0 cores=0-7
/proc/6024/task/6070/stat : 6070 (java) S 6021 6024 5880 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 80958934 28518940672 481737 33554432000 4194304 4196468 140730487202240 139675263964560 139676978943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27131904 140730487211085 140730487211269 140730487211269 140730487214031 0
Current children cumulated CPU time: 19871.7 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 1926948 KiB

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

[startup+2520.21 s]
# the end of solver process 6024 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19862.8 s, system=10.1811 s

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

[startup+2520.2 s]*
/proc/loadavg: 8.93 8.85 8.75 2/181 6135
/proc/meminfo: memFree=21080160/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.21
CPU time (s): 19873
CPU user time (s): 19862.8
CPU system time (s): 10.1811
CPU usage (%): 788.545
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 1936084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19862.8
system time used= 10.1811
maximum resident set size= 1936084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1798997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 861671
involuntary context switches= 433379


# summary of solver processes directly reported to runsolver:
#   pid: 6024
#   total CPU time (s): 19873
#   total CPU user time (s): 19862.8
#   total CPU system time (s): 10.1811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.6814 second user time and 37.3285 second system time

The end

Launcher Data

Begin job on node136 at 2018-07-26 21:39:09
IDJOB=4291695
IDBENCH=141145
IDSOLVER=2745
FILE ID=node136/4291695-1532633949
RUNJOBID= node136-1532633886-5907
PBS_JOBID= 21022181
Free space on /tmp= 55796 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291695-1532633949/watcher-4291695-1532633949 -o /tmp/evaluation-result-4291695-1532633949/solver-4291695-1532633949 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532633886-5907 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1885318086 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291695-1532633949.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e
RANDOM SEED=1885318086

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21205776 kB
MemAvailable:   31929096 kB
Buffers:          236244 kB
Cached:         10712684 kB
SwapCached:            0 kB
Active:          2817512 kB
Inactive:        8183216 kB
Active(anon):       3004 kB
Inactive(anon):    76668 kB
Active(file):    2814508 kB
Inactive(file):  8106548 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35560 kB
Writeback:             0 kB
AnonPages:         57320 kB
Mapped:            41020 kB
Shmem:             25228 kB
Slab:             258020 kB
SReclaimable:     230724 kB
SUnreclaim:        27296 kB
KernelStack:        3216 kB
PageTables:         4696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55760 MiB
End job on node136 at 2018-07-26 22:21:10