Trace number 4310549

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)742697 252.1 240.725

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay100_c18.xml
MD5SUM229d8d70b2521f5ebfd70fdb2bbdf7b3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark742697
Best CPU time to get the best result obtained on this benchmark252.1
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":"count","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.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1823746950
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.49/1.98	c Parsing done, starting first complete search...
4.26/2.23	o 0
4.26/2.23	o 6527
4.26/2.23	o 18807
4.26/2.24	o 25334
4.26/2.24	o 35323
4.26/2.24	o 47975
4.26/2.24	o 64491
4.26/2.26	o 66925
4.26/2.26	o 80776
4.26/2.26	o 83210
4.26/2.26	o 87313
4.26/2.26	o 89747
4.26/2.26	o 90894
4.26/2.26	o 93328
4.26/2.26	o 108372
4.26/2.26	o 110806
4.26/2.26	o 130788
4.26/2.26	o 133222
4.26/2.27	o 140375
4.26/2.28	o 142809
4.26/2.28	o 146478
4.26/2.28	o 148912
4.26/2.28	o 163909
4.26/2.28	o 166343
4.26/2.28	o 177636
4.26/2.28	o 180070
4.26/2.28	o 185576
4.26/2.28	o 188010
4.26/2.28	o 189023
4.26/2.28	o 191457
4.26/2.29	o 191805
4.26/2.29	o 192536
4.26/2.29	o 199073
4.26/2.29	o 207013
4.26/2.29	o 209447
4.26/2.29	o 211141
4.26/2.29	o 213422
4.26/2.29	o 222324
4.26/2.29	o 224044
4.26/2.29	o 224392
4.26/2.30	o 226478
4.53/2.30	o 226826
4.53/2.30	o 228520
4.53/2.30	o 237280
4.53/2.30	o 246683
4.53/2.31	o 250130
4.53/2.31	o 251648
4.53/2.31	o 253342
4.53/2.31	o 254977
4.53/2.32	o 255393
4.53/2.32	o 258974
4.53/2.32	o 263510
4.53/2.32	o 265145
4.53/2.32	o 265561
4.53/2.33	o 269142
4.53/2.34	o 269540
4.53/2.35	o 271974
4.53/2.35	o 273668
4.53/2.35	o 278016
4.53/2.35	o 282863
4.53/2.35	o 284498
4.53/2.36	o 284914
4.53/2.36	o 288495
4.53/2.36	o 289631
4.53/2.36	o 292065
4.53/2.37	o 293021
4.53/2.38	o 293360
4.53/2.38	o 295054
4.53/2.39	o 296190
4.53/2.39	o 298624
4.53/2.39	o 299580
4.84/2.41	o 301188
4.84/2.41	o 302882
4.84/2.41	o 302939
4.84/2.41	o 306092
4.84/2.41	o 307786
4.84/2.41	o 309421
4.84/2.42	o 309837
4.84/2.44	o 311065
4.84/2.44	o 312021
4.84/2.48	o 312417
4.84/2.48	o 312818
4.84/2.48	o 315252
4.84/2.48	o 316138
4.84/2.48	o 316208
4.84/2.48	o 317094
5.46/2.60	o 318527
5.46/2.60	o 320961
5.46/2.60	o 321917
5.46/2.61	o 323194
5.46/2.61	o 324150
5.74/2.78	o 324428
5.74/2.79	o 324940
5.74/2.79	o 325552
5.74/2.79	o 328387
5.74/2.79	o 331489
5.74/2.79	o 334324
5.74/2.79	o 336557
5.96/2.83	o 336947
6.06/2.98	o 338053
6.06/2.98	o 338137
6.06/2.98	o 338527
6.06/2.99	o 339831
6.06/2.99	o 340221
6.27/3.13	o 340385
6.27/3.13	o 341689
6.27/3.13	o 342079
6.58/3.41	o 342275
6.58/3.41	o 342714
6.58/3.41	o 343855
6.58/3.41	o 345549
6.69/3.59	o 345713
6.69/3.59	o 347407
7.22/4.01	o 348741
7.22/4.01	o 350435
7.22/4.01	o 351576
7.22/4.01	o 353270
7.22/4.03	o 353809
7.22/4.03	o 355503
7.32/4.16	o 356544
7.32/4.16	o 357083
7.32/4.16	o 358777
7.71/4.56	o 358941
7.71/4.56	o 360635
8.71/5.49	o 363297
8.71/5.49	o 367446
8.71/5.49	o 374155
10.86/7.55	o 374333
10.86/7.55	o 376027
10.86/7.55	o 377221
10.86/7.55	o 378915
11.67/8.33	o 378940
14.02/10.61	o 379187
14.02/10.62	o 379798
14.02/10.62	o 379823
14.02/10.62	o 383947
14.02/10.63	o 383972
14.32/10.92	o 385510
14.32/10.92	o 385535
16.62/13.28	o 386024
16.62/13.28	o 386049
16.62/13.28	o 386461
16.62/13.28	o 386486
16.72/13.33	o 387614
16.72/13.33	o 387639
16.72/13.33	o 391061
16.72/13.33	o 391086
17.75/14.30	o 391512
17.75/14.30	o 391537
21.15/17.71	o 392526
21.15/17.71	o 395973
21.15/17.71	o 397139
21.15/17.71	o 397164
21.15/17.71	o 398231
21.15/17.71	o 399397
21.15/17.71	o 399422
21.15/17.73	o 401066
21.15/17.73	o 401091
21.15/17.73	o 402232
21.15/17.73	o 402257
21.25/17.83	o 402683
21.25/17.83	o 402708
22.01/18.51	o 403385
22.01/18.51	o 403408
22.01/18.51	o 404574
22.01/18.51	o 405666
22.01/18.51	o 406832
22.01/18.51	o 406857
23.01/19.54	o 407898
23.01/19.54	o 407923
23.11/19.68	o 408349
23.11/19.68	o 408374
24.81/21.34	o 408708
24.81/21.34	o 408733
25.21/21.77	o 408758
25.21/21.77	o 411016
25.21/21.77	o 411041
26.17/22.62	o 411164
26.17/22.62	o 411189
26.17/22.63	o 413999
26.17/22.63	o 414024
26.17/22.63	o 415165
26.17/22.63	o 415190
27.58/24.02	o 415616
27.58/24.03	o 415641
30.07/26.52	c First complete search done, starting ALNS search...
30.27/26.62	o 417307
30.27/26.62	o 418200
30.27/26.62	o 421568
30.27/26.62	o 422461
30.27/26.62	o 423023
30.27/26.63	o 426416
30.27/26.63	o 429828
30.27/26.63	o 430390
30.27/26.63	o 430721
30.27/26.63	o 431283
30.27/26.63	o 432793
30.27/26.63	o 433530
30.27/26.63	o 436942
30.27/26.63	o 437835
30.27/26.63	o 438397
30.27/26.63	o 438998
30.27/26.63	o 439891
30.27/26.63	o 440453
30.27/26.64	o 440913
30.27/26.64	o 441787
30.27/26.64	o 442349
30.27/26.64	o 443843
30.27/26.64	o 444405
30.27/26.64	o 445351
30.27/26.64	o 447407
30.27/26.64	o 449053
30.27/26.64	o 452465
30.27/26.64	o 454521
30.27/26.64	o 455083
30.27/26.64	o 455529
30.27/26.65	o 457585
30.27/26.65	o 458147
30.27/26.65	o 458582
30.27/26.65	o 459678
30.27/26.65	o 460240
30.27/26.65	o 461734
30.27/26.65	o 462296
30.27/26.65	o 465671
30.27/26.65	o 466233
30.27/26.65	o 466408
30.27/26.65	o 466433
30.27/26.65	o 466970
30.27/26.65	o 466995
30.27/26.66	o 469820
30.27/26.66	o 470382
30.27/26.66	o 471668
30.27/26.66	o 472230
30.27/26.66	o 473622
30.27/26.66	o 474184
30.27/26.66	o 475923
30.27/26.66	o 476485
30.27/26.66	o 477771
30.27/26.66	o 478333
30.27/26.66	o 478758
30.27/26.66	o 480606
30.27/26.66	o 481168
30.27/26.67	o 481492
30.27/26.67	o 481495
30.27/26.67	o 481566
30.27/26.67	o 481739
30.27/26.67	o 482301
30.27/26.67	o 482797
30.27/26.67	o 483359
30.27/26.67	o 484574
30.27/26.67	o 485136
30.27/26.67	o 487842
30.27/26.67	o 490677
30.27/26.68	o 491239
30.27/26.68	o 491310
30.27/26.68	o 491326
30.27/26.68	o 491888
30.27/26.68	o 494161
30.27/26.68	o 494723
30.27/26.68	o 496852
30.27/26.68	o 497429
30.27/26.68	o 500264
30.27/26.68	o 500826
30.27/26.68	o 500897
30.27/26.68	o 501150
30.27/26.68	o 501221
30.27/26.69	o 501770
30.27/26.69	o 504605
30.27/26.69	o 504676
30.27/26.69	o 505982
30.27/26.69	o 506544
30.27/26.69	o 506615
30.27/26.69	o 508105
30.27/26.69	o 510323
30.27/26.69	o 510394
30.27/26.70	o 511671
30.47/26.70	o 512233
30.47/26.70	o 512450
30.47/26.70	o 514506
30.47/26.70	o 515068
30.47/26.70	o 516422
30.47/26.70	o 516984
30.47/26.70	o 519834
30.47/26.70	o 520396
30.47/26.70	o 521415
30.47/26.70	o 521977
30.47/26.70	o 524250
30.47/26.71	o 524812
30.47/26.71	o 525756
30.47/26.71	o 528591
30.47/26.71	o 530809
33.04/28.42	o 542264
37.07/31.95	o 550125
37.07/31.95	o 553508
39.49/34.05	o 553643
39.49/34.06	o 554717
39.49/34.06	o 556129
39.49/34.06	o 557685
39.49/34.06	o 558886
39.49/34.06	o 561372
39.49/34.06	o 564604
39.49/34.06	o 567090
39.49/34.07	o 568215
39.49/34.07	o 570701
39.49/34.09	o 573138
39.49/34.09	o 575624
39.62/34.17	o 575889
39.62/34.17	o 575937
39.62/34.17	o 577555
39.62/34.17	o 580376
39.62/34.18	o 582224
39.62/34.19	o 582837
39.89/34.34	o 582941
39.89/34.34	o 584842
39.89/34.34	o 587610
39.89/34.37	o 587681
39.99/34.42	o 588223
39.99/34.42	o 588294
42.12/36.45	o 589365
45.99/40.03	o 589479
45.99/40.03	o 591327
45.99/40.07	o 592413
45.99/40.08	o 594289
45.99/40.08	o 597124
45.99/40.08	o 598972
46.28/40.30	o 599658
46.28/40.30	o 600049
46.68/40.77	o 600367
46.79/40.86	o 601642
46.79/40.86	o 602328
46.79/40.86	o 602719
46.89/40.92	o 609230
51.19/45.12	o 613418
51.19/45.14	o 613528
51.19/45.14	o 615947
51.19/45.14	o 620366
51.19/45.14	o 623435
53.39/47.20	o 623845
53.39/47.20	o 625693
57.53/51.35	o 626554
57.53/51.35	o 630918
57.75/51.53	o 631989
57.75/51.53	o 633210
57.75/51.53	o 635058
58.11/51.87	o 636641
58.11/51.89	o 638573
58.11/51.89	o 642020
58.30/51.91	o 642686
58.30/51.94	o 648973
58.30/51.98	o 654999
58.65/52.20	o 655024
58.76/52.34	o 656341
58.76/52.36	o 657173
58.76/52.36	o 658244
58.76/52.36	o 661313
58.86/52.50	o 663604
68.50/61.90	o 663805
74.88/68.25	o 664934
74.88/68.28	o 665135
75.49/68.89	o 666083
83.29/76.58	o 667585
83.90/77.13	o 672430
86.72/79.93	o 674321
86.72/79.93	o 675900
89.86/83.05	o 677465
98.32/91.30	o 680588
98.32/91.30	o 682644
98.32/91.30	o 685307
98.32/91.30	o 687363
98.42/91.45	o 688046
98.42/91.46	o 689894
98.42/91.47	o 691493
98.42/91.47	o 693341
101.70/94.60	o 693399
102.61/95.56	o 693460
102.61/95.56	o 694462
102.61/95.56	o 694832
102.71/95.64	o 696656
102.71/95.64	o 698956
102.71/95.64	o 701591
104.35/97.28	o 703527
104.35/97.28	o 708246
107.41/100.24	o 712957
107.41/100.24	o 715592
125.07/117.42	o 715778
130.75/122.92	o 715942
130.75/122.92	o 717998
188.69/179.18	o 720618
189.21/179.61	o 721180
199.58/189.74	o 725756
205.35/195.34	o 727481
205.35/195.36	o 728893
216.58/206.23	o 728944
232.61/221.89	o 732194
232.61/221.89	o 734772
233.45/222.62	o 735834
233.45/222.68	o 736312
233.45/222.68	o 739250
233.45/222.68	o 742697
252.05/240.70	s SATISFIABLE
252.05/240.70	v <instantiation>
252.05/240.70	v 	<list>
252.05/240.70	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]
252.05/240.70	v 	</list>
252.05/240.70	v 	<values>
252.05/240.70	v 		0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 1 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 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 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 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 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 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 1 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 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 1 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 
252.05/240.70	v 	</values>
252.05/240.70	v </instantiation>

Verifier Data 

OK	742697

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

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

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

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

solver pid=20566, runsolver pid=20562

[startup+0.10009 s]*
/proc/loadavg: 1.43 1.40 1.42 3/219 20599
/proc/meminfo: memFree=19109788/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14082736 memory=30148 CPUtime=0.11 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 6465 0 0 0 10 1 0 0 20 0 15 0 250467512 14420721664 7537 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3520684 7537 3129 1 0 3482761 0
[pid=20566/tid=20572] ppid=20562 vsize=14082736 memory=6735269665583770266 CPUtime=0.09 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 4541 0 0 0 8 1 0 0 20 0 15 0 250467512 14420721664 7537 33554432000 4194304 4196468 140732141426336 140212414628064 140212394513758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14082736 memory=4211974377222028682 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 7537 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 7537 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 7537 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 7537 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211884356896 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211883304560 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0.01 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 7537 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30148 KiB

[startup+0.214637 s]*
/proc/loadavg: 1.43 1.40 1.42 8/219 20599
/proc/meminfo: memFree=19077680/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14082736 memory=46712 CPUtime=0.3 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 10258 0 0 0 28 2 0 0 20 0 15 0 250467512 14420721664 11678 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3520684 11678 3348 1 0 3482761 0
[pid=20566/tid=20572] ppid=20562 vsize=14082736 memory=4871374705135476842 CPUtime=0.19 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 8008 0 0 0 18 1 0 0 20 0 15 0 250467512 14420721664 11678 33554432000 4194304 4196468 140732141426336 140212414661672 140212394513758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14082736 memory=4211974377222028682 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 11678 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 11678 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 11678 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 11678 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211884356896 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211883304560 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) R 20562 20566 20506 0 -1 4202560 371 0 0 0 1 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211881199728 140212402670398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) R 20562 20566 20506 0 -1 4202560 218 0 0 0 1 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211880127944 140212388071696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0.06 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) R 20562 20566 20506 0 -1 1077944384 310 0 0 0 6 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 11678 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46712 KiB

[startup+0.310419 s]*
/proc/loadavg: 1.43 1.40 1.42 3/219 20599
/proc/meminfo: memFree=19071104/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14082736 memory=50424 CPUtime=0.43 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 10718 0 0 0 41 2 0 0 20 0 15 0 250467512 14420721664 12606 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3520684 12606 3354 1 0 3482761 0
[pid=20566/tid=20572] ppid=20562 vsize=14082736 memory=281301835841776 CPUtime=0.29 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 8392 0 0 0 28 1 0 0 20 0 15 0 250467512 14420721664 12606 33554432000 4194304 4196468 140732141426336 140212414595008 140212391996800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14082736 memory=4211974377222028682 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 12606 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14082736 memory=140651017240497 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 12606 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14082736 memory=140650918029896 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 12606 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14082736 memory=140650918034383 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14420721664 12606 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14082736 memory=140651017258650 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14082736 memory=140650918034383 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211884356896 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14082736 memory=281301836089488 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467515 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211883304560 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14082736 memory=281301836087184 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14082736 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0.08 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 330 0 0 0 8 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14082736 memory=140651017238144 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467518 14420721664 12606 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50424 KiB

[startup+0.700731 s]
/proc/loadavg: 1.43 1.40 1.42 3/219 20599
/proc/meminfo: memFree=19026816/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14084804 memory=88516 CPUtime=0.99 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 17577 0 0 0 95 4 0 0 20 0 15 0 250467512 14422839296 22129 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3521201 22129 3497 1 0 3483273 0
[pid=20566/tid=20572] ppid=20562 vsize=14084804 memory=10096 CPUtime=0.67 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 14808 0 0 0 64 3 0 0 20 0 15 0 250467512 14422839296 22129 33554432000 4194304 4196468 140732141426336 140212414657440 140212394513758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14422839296 22129 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14084804 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14422839296 22129 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14084804 memory=4639098309541127013 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14422839296 22129 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14084804 memory=5937268701925763154 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14422839296 22129 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14084804 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250467515 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250467515 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211884356896 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250467515 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211883304560 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14084804 memory=268 CPUtime=0.06 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 546 0 0 0 6 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14084804 memory=7 CPUtime=0.08 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 395 0 0 0 8 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14084804 memory=20503 CPUtime=0.15 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 447 0 0 0 15 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14084804 memory=281301836271088 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467518 14422839296 22129 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88516 KiB

[startup+1.50085 s]
/proc/loadavg: 1.40 1.39 1.42 5/206 20600
/proc/meminfo: memFree=19008360/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14086852 memory=182980 CPUtime=2.79 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 22713 0 0 0 272 7 0 0 20 0 15 0 250467512 14424936448 45745 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3521713 45745 3543 1 0 3483785 0
[pid=20566/tid=20572] ppid=20562 vsize=14086852 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 17303 0 0 0 141 5 0 0 20 0 15 0 250467512 14424936448 45745 33554432000 4194304 4196468 140732141426336 140212414668704 140212047534274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14424936448 45745 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14086852 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14424936448 45745 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14086852 memory=8761640388971749472 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250467513 14424936448 45745 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14086852 memory=8761640388971749472 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250467513 14424936448 45745 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14086852 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 250467515 14424936448 45745 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0

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

/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 36624 0 0 0 16083 34 0 0 20 0 15 0 250467512 14431227904 512381 33554432000 4194304 4196468 140732141426336 140212414670272 140212047806308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14092996 memory=56 CPUtime=0.9 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 3984 0 0 0 73 17 0 0 20 0 15 0 250467513 14431227904 512381 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14092996 memory=2041348 CPUtime=0.89 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 1676 0 0 0 73 16 0 0 20 0 15 0 250467513 14431227904 512381 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14092996 memory=2049524 CPUtime=0.9 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 1673 0 0 0 73 17 0 0 20 0 15 0 250467513 14431227904 512381 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14092996 memory=2041336 CPUtime=0.9 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 1550 0 0 0 73 17 0 0 20 0 15 0 250467513 14431227904 512381 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14092996 memory=2023848 CPUtime=0.12 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 2655 0 0 0 10 2 0 0 20 0 15 0 250467515 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14092996 memory=2041348 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211884356960 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14092996 memory=2035912 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211883304576 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14092996 memory=796 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14092996 memory=5408 CPUtime=2.62 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 7851 0 0 0 260 2 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14092996 memory=4128 CPUtime=2.56 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 6707 0 0 0 255 1 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14092996 memory=68060 CPUtime=1.15 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 13487 0 0 0 112 3 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14092996 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14092996 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 636 0 0 0 3 5 0 0 20 0 15 0 250467518 14431227904 512381 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 171.37 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2049524 KiB

[startup+222.301 s]
/proc/loadavg: 1.40 1.40 1.41 3/219 20678
/proc/meminfo: memFree=15331452/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14092996 memory=2118072 CPUtime=233.1 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 93447 0 0 0 23166 144 0 0 20 0 15 0 250467512 14431227904 529518 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3523249 529518 3607 1 0 3485321 0
[pid=20566/tid=20572] ppid=20562 vsize=14092996 memory=288230574492221466 CPUtime=220.59 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 42868 0 0 0 22024 35 0 0 20 0 15 0 250467512 14431227904 529518 33554432000 4194304 4196468 140732141426336 140212414669360 140212047806308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14092996 memory=2122692 CPUtime=1.42 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 4219 0 0 0 119 23 0 0 20 0 15 0 250467513 14431227904 529518 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14092996 memory=-9181546050914066336 CPUtime=1.41 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 2109 0 0 0 119 22 0 0 20 0 15 0 250467513 14431227904 529518 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14092996 memory=2118072 CPUtime=1.42 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 2277 0 0 0 119 23 0 0 20 0 15 0 250467513 14431227904 529518 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14092996 memory=2117588 CPUtime=1.42 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 1795 0 0 0 118 24 0 0 20 0 15 0 250467513 14431227904 529518 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14092996 memory=2117076 CPUtime=0.16 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 2913 0 0 0 13 3 0 0 20 0 15 0 250467515 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14092996 memory=2102260 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211884356960 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14092996 memory=2109380 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211883304576 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14092996 memory=2118072 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14092996 memory=2100 CPUtime=2.71 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 10111 0 0 0 269 2 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14092996 memory=16228 CPUtime=2.6 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 8899 0 0 0 259 1 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14092996 memory=2122692 CPUtime=1.17 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 16039 0 0 0 114 3 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14092996 memory=2120644 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14092996 memory=4128 CPUtime=0.11 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 777 0 0 0 4 7 0 0 20 0 15 0 250467518 14431227904 529518 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 233.1 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2118072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.701 s]
/proc/loadavg: 1.23 1.36 1.40 3/219 20678
/proc/meminfo: memFree=15285936/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14092996 memory=2151852 CPUtime=252.05 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 94045 0 0 0 25052 153 0 0 20 0 15 0 250467512 14431227904 537963 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3523249 537963 3607 1 0 3485321 0
[pid=20566/tid=20572] ppid=20562 vsize=14092996 memory=2117588 CPUtime=238.79 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 43007 0 0 0 23844 35 0 0 20 0 15 0 250467512 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212414670272 140212052170652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.6 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 4269 0 0 0 134 26 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.58 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 2152 0 0 0 134 24 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.59 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 2327 0 0 0 134 25 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14092996 memory=25185 CPUtime=1.6 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 1841 0 0 0 134 26 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14092996 memory=2124236 CPUtime=0.17 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 2913 0 0 0 14 3 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14092996 memory=2144688 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211884356960 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14092996 memory=876 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211883304576 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14092996 memory=2124244 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14092996 memory=2131424 CPUtime=2.74 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 10330 0 0 0 272 2 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14092996 memory=2146752 CPUtime=2.6 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 8950 0 0 0 259 1 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14092996 memory=4128 CPUtime=1.17 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 16039 0 0 0 114 3 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14092996 memory=2151852 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14092996 memory=840 CPUtime=0.12 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 777 0 0 0 5 7 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2151852 KiB

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

[startup+240.725 s]
# the end of solver process 20566 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.543 s, system=1.55678 s

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

[startup+240.701 s]
/proc/loadavg: 1.23 1.36 1.40 3/219 20678
/proc/meminfo: memFree=15285936/32770624 swapFree=67108860/67108860
[pid=20566] ppid=20562 vsize=14092996 memory=2151852 CPUtime=252.05 cores=1,3,5,7
/proc/20566/stat : 20566 (java) S 20562 20566 20506 0 -1 1077944320 94045 0 0 0 25052 153 0 0 20 0 15 0 250467512 14431227904 537963 33554432000 4194304 4196468 140732141426336 140732141408880 140212410433271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
/proc/20566/statm: 3523249 537963 3607 1 0 3485321 0
[pid=20566/tid=20572] ppid=20562 vsize=14092996 memory=2117588 CPUtime=238.79 cores=1,3,5,7
/proc/20566/task/20572/stat : 20572 (java) R 20562 20566 20506 0 -1 4202560 43007 0 0 0 23844 35 0 0 20 0 15 0 250467512 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212414670272 140212052170652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20578] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.6 cores=1,3,5,7
/proc/20566/task/20578/stat : 20578 (java) S 20562 20566 20506 0 -1 1077944384 4269 0 0 0 134 26 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212363053456 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20579] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.58 cores=1,3,5,7
/proc/20566/task/20579/stat : 20579 (java) S 20562 20566 20506 0 -1 1077944384 2152 0 0 0 134 24 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212005169424 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20580] ppid=20562 vsize=14092996 memory=2151852 CPUtime=1.59 cores=1,3,5,7
/proc/20566/task/20580/stat : 20580 (java) S 20562 20566 20506 0 -1 1077944384 2327 0 0 0 134 25 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212004117136 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20581] ppid=20562 vsize=14092996 memory=25185 CPUtime=1.6 cores=1,3,5,7
/proc/20566/task/20581/stat : 20581 (java) S 20562 20566 20506 0 -1 1077944384 1841 0 0 0 134 26 0 0 20 0 15 0 250467513 14431227904 537963 33554432000 4194304 4196468 140732141426336 140212003064336 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20582] ppid=20562 vsize=14092996 memory=2124236 CPUtime=0.17 cores=1,3,5,7
/proc/20566/task/20582/stat : 20582 (java) S 20562 20566 20506 0 -1 1077944384 2913 0 0 0 14 3 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211885410928 140212410444418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20584] ppid=20562 vsize=14092996 memory=2144688 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20584/stat : 20584 (java) S 20562 20566 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211884356960 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20586] ppid=20562 vsize=14092996 memory=876 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20586/stat : 20586 (java) S 20562 20566 20506 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250467515 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211883304576 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20589] ppid=20562 vsize=14092996 memory=2124244 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20589/stat : 20589 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211882252880 140212410451867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20591] ppid=20562 vsize=14092996 memory=2131424 CPUtime=2.74 cores=1,3,5,7
/proc/20566/task/20591/stat : 20591 (java) S 20562 20566 20506 0 -1 1077944384 10330 0 0 0 272 2 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211881199728 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20593] ppid=20562 vsize=14092996 memory=2146752 CPUtime=2.6 cores=1,3,5,7
/proc/20566/task/20593/stat : 20593 (java) S 20562 20566 20506 0 -1 1077944384 8950 0 0 0 259 1 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211880146928 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20595] ppid=20562 vsize=14092996 memory=4128 CPUtime=1.17 cores=1,3,5,7
/proc/20566/task/20595/stat : 20595 (java) S 20562 20566 20506 0 -1 1077944384 16039 0 0 0 114 3 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211879094640 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20596] ppid=20562 vsize=14092996 memory=2151852 CPUtime=0 cores=1,3,5,7
/proc/20566/task/20596/stat : 20596 (java) S 20562 20566 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211878042080 140212410443477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
[pid=20566/tid=20598] ppid=20562 vsize=14092996 memory=840 CPUtime=0.12 cores=1,3,5,7
/proc/20566/task/20598/stat : 20598 (java) S 20562 20566 20506 0 -1 1077944384 777 0 0 0 5 7 0 0 20 0 15 0 250467518 14431227904 537963 33554432000 4194304 4196468 140732141426336 140211876989872 140212410444418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27164672 140732141429850 140732141430030 140732141430030 140732141432783 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2151852 KiB

Child status: 143
Real time (s): 240.725
CPU time (s): 252.1
CPU user time (s): 250.543
CPU system time (s): 1.55678
CPU usage (%): 104.725
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2151852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.543
system time used= 1.55679
maximum resident set size= 2152880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13335
involuntary context switches= 654


# summary of solver processes directly reported to runsolver:
#   pid: 20566
#   total CPU time (s): 252.1
#   total CPU user time (s): 250.543
#   total CPU system time (s): 1.55678

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19596 second user time and 2.60166 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 12:30:43
IDJOB=4310549
IDBENCH=141157
IDSOLVER=2796
FILE ID=node139/4310549-1534329043
RUNJOBID= node139-1534329043-20538
PBS_JOBID= 21038153
Free space on /tmp= 35016 MiB

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

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

MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3
RANDOM SEED=1823746950

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19144496 kB
MemAvailable:   31897536 kB
Buffers:          270068 kB
Cached:         12582664 kB
SwapCached:            0 kB
Active:          6213168 kB
Inactive:        6690640 kB
Active(anon):       5276 kB
Inactive(anon):   106808 kB
Active(file):    6207892 kB
Inactive(file):  6583832 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             71388 kB
Writeback:             0 kB
AnonPages:         58384 kB
Mapped:            65216 kB
Shmem:             57996 kB
Slab:             417632 kB
SReclaimable:     389776 kB
SUnreclaim:        27856 kB
KernelStack:        3216 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

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