Trace number 4308677

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)759775 2520.05 2451.42

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 benchmark759775
Best CPU time to get the best result obtained on this benchmark2520.05
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.55	c version: 2018-08-14
0.67/0.55	c seed: 1319800591
0.67/0.55	c timeout: 2520
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
3.53/1.94	c Parsing done, starting first complete search...
4.05/2.19	o 0
4.05/2.19	o 6527
4.05/2.19	o 18807
4.05/2.20	o 25334
4.05/2.20	o 35323
4.05/2.20	o 47975
4.05/2.20	o 64491
4.25/2.21	o 66925
4.25/2.21	o 80776
4.25/2.21	o 83210
4.25/2.21	o 87313
4.25/2.21	o 89747
4.25/2.21	o 90894
4.25/2.22	o 93328
4.25/2.22	o 108372
4.25/2.22	o 110806
4.25/2.23	o 130788
4.25/2.23	o 133222
4.25/2.23	o 140375
4.25/2.23	o 142809
4.25/2.23	o 146478
4.25/2.23	o 148912
4.25/2.23	o 163909
4.25/2.24	o 166343
4.25/2.24	o 177636
4.25/2.24	o 180070
4.25/2.24	o 185576
4.25/2.24	o 188010
4.25/2.24	o 189023
4.25/2.25	o 191457
4.25/2.25	o 191805
4.25/2.25	o 192536
4.25/2.25	o 199073
4.25/2.25	o 207013
4.25/2.25	o 209447
4.25/2.25	o 211141
4.25/2.26	o 213422
4.25/2.26	o 222324
4.25/2.26	o 224044
4.25/2.26	o 224392
4.25/2.26	o 226478
4.25/2.26	o 226826
4.25/2.26	o 228520
4.25/2.26	o 237280
4.25/2.27	o 246683
4.25/2.27	o 250130
4.25/2.28	o 251648
4.25/2.28	o 253342
4.25/2.28	o 254977
4.25/2.28	o 255393
4.25/2.28	o 258974
4.25/2.29	o 263510
4.25/2.29	o 265145
4.25/2.29	o 265561
4.25/2.29	o 269142
4.55/2.31	o 269540
4.55/2.31	o 271974
4.55/2.31	o 273668
4.55/2.32	o 278016
4.55/2.32	o 282863
4.55/2.32	o 284498
4.55/2.32	o 284914
4.55/2.32	o 288495
4.55/2.33	o 289631
4.55/2.33	o 292065
4.55/2.33	o 293021
4.55/2.35	o 293360
4.55/2.35	o 295054
4.55/2.36	o 296190
4.55/2.36	o 298624
4.55/2.36	o 299580
4.55/2.38	o 301188
4.55/2.38	o 302882
4.55/2.38	o 302939
4.55/2.38	o 306092
4.55/2.38	o 307786
4.55/2.38	o 309421
4.55/2.39	o 309837
4.87/2.41	o 311065
4.87/2.41	o 312021
4.87/2.45	o 312417
4.87/2.45	o 312818
4.87/2.45	o 315252
4.87/2.45	o 316138
4.87/2.45	o 316208
4.87/2.46	o 317094
5.16/2.58	o 318527
5.16/2.58	o 320961
5.16/2.58	o 321917
5.16/2.58	o 323194
5.16/2.59	o 324150
5.71/2.73	o 324428
5.71/2.73	o 324940
5.71/2.73	o 325552
5.71/2.73	o 328387
5.71/2.73	o 331489
5.71/2.73	o 334324
5.71/2.74	o 336557
5.71/2.77	o 336947
5.91/2.92	o 338053
5.91/2.92	o 338137
5.91/2.92	o 338527
5.91/2.92	o 339831
5.91/2.92	o 340221
6.02/3.07	o 340385
6.02/3.07	o 341689
6.02/3.07	o 342079
6.32/3.33	o 342275
6.32/3.34	o 342714
6.32/3.34	o 343855
6.32/3.34	o 345549
6.53/3.51	o 345713
6.53/3.51	o 347407
6.97/3.90	o 348741
6.97/3.90	o 350435
6.97/3.91	o 351576
6.97/3.91	o 353270
6.97/3.92	o 353809
6.97/3.92	o 355503
7.08/4.05	o 356544
7.08/4.05	o 357083
7.08/4.05	o 358777
7.48/4.44	o 358941
7.48/4.44	o 360635
8.51/5.34	o 363297
8.51/5.34	o 367446
8.51/5.34	o 374155
10.56/7.30	o 374333
10.56/7.30	o 376027
10.56/7.31	o 377221
10.56/7.31	o 378915
11.26/8.04	o 378940
13.53/10.22	o 379187
13.53/10.23	o 379798
13.53/10.23	o 379823
13.53/10.23	o 383947
13.53/10.24	o 383972
13.82/10.52	o 385510
13.82/10.52	o 385535
16.02/12.76	o 386024
16.02/12.76	o 386049
16.02/12.76	o 386461
16.02/12.76	o 386486
16.12/12.81	o 387614
16.12/12.81	o 387639
16.12/12.81	o 391061
16.12/12.81	o 391086
17.02/13.72	o 391512
17.02/13.72	o 391537
20.36/17.00	o 392526
20.36/17.00	o 395973
20.36/17.00	o 397139
20.36/17.01	o 397164
20.36/17.01	o 398231
20.36/17.01	o 399397
20.36/17.01	o 399422
20.36/17.03	o 401066
20.36/17.03	o 401091
20.36/17.03	o 402232
20.36/17.03	o 402257
20.47/17.12	o 402683
20.47/17.12	o 402708
21.06/17.75	o 403385
21.06/17.75	o 403408
21.06/17.75	o 404574
21.06/17.75	o 405666
21.06/17.75	o 406832
21.06/17.76	o 406857
22.11/18.76	o 407898
22.11/18.76	o 407923
22.21/18.89	o 408349
22.21/18.89	o 408374
23.81/20.47	o 408708
23.81/20.47	o 408733
24.21/20.89	o 408758
24.21/20.89	o 411016
24.21/20.89	o 411041
25.01/21.68	o 411164
25.01/21.68	o 411189
25.01/21.68	o 413999
25.01/21.68	o 414024
25.01/21.68	o 415165
25.01/21.68	o 415190
26.48/23.04	o 415616
26.48/23.04	o 415641
32.59/29.18	o 416658
32.59/29.18	o 418175
32.59/29.18	o 418200
32.59/29.19	o 419341
32.59/29.19	o 419366
32.59/29.19	o 419792
32.59/29.20	o 419817
39.71/36.22	o 420127
39.71/36.22	o 420152
39.71/36.22	o 424276
39.71/36.23	o 424301
42.10/38.61	o 425099
42.10/38.61	o 425124
64.42/60.95	o 425712
64.42/60.95	o 425737
101.14/97.69	o 426964
101.14/97.69	o 427577
101.14/97.69	o 427602
101.14/97.70	o 429799
101.24/97.70	o 429824
101.24/97.70	o 430412
101.24/97.70	o 430437
176.03/172.48	o 432259
176.03/172.48	o 432284
176.03/172.49	o 433082
176.03/172.49	o 433107
256.93/253.28	c First complete search done, starting ALNS search...
258.83/254.45	o 439291
258.83/254.45	o 443156
258.83/254.45	o 448826
258.83/254.46	o 453042
258.83/254.46	o 454585
258.83/254.46	o 456039
258.83/254.46	o 460255
258.83/254.46	o 462311
258.83/254.46	o 465158
258.83/254.46	o 467214
258.83/254.46	o 469374
258.83/254.46	o 471430
258.83/254.46	o 476063
258.83/254.47	o 480279
258.83/254.47	o 482335
258.83/254.47	o 482978
258.83/254.47	o 485034
258.83/254.47	o 486909
258.83/254.47	o 489608
258.83/254.47	o 491664
265.25/260.22	o 494485
265.25/260.22	o 498172
265.25/260.23	o 498613
265.25/260.23	o 499136
265.25/260.23	o 499322
265.25/260.25	o 501731
265.25/260.25	o 502358
265.25/260.25	o 504332
265.25/260.25	o 508019
265.25/260.25	o 508646
268.40/263.14	o 519597
268.40/263.14	o 521485
268.40/263.14	o 521653
268.40/263.14	o 523541
268.40/263.14	o 528457
268.40/263.15	o 530513
268.40/263.15	o 532401
268.40/263.16	o 533161
268.40/263.16	o 537376
268.40/263.16	o 539264
268.40/263.16	o 540345
268.40/263.16	o 542233
268.40/263.16	o 544770
268.40/263.17	o 550873
268.40/263.17	o 553842
268.40/263.17	o 555730
271.23/265.13	o 557553
271.23/265.13	o 557578
271.23/265.13	o 559811
271.23/265.13	o 559836
271.35/265.24	o 559877
271.35/265.24	o 562135
271.35/265.24	o 562160
271.35/265.25	o 564183
271.35/265.25	o 564208
271.35/265.26	o 566441
271.35/265.26	o 566466
271.54/265.46	o 566761
271.54/265.46	o 569019
271.54/265.46	o 569044
272.55/266.42	o 569100
272.55/266.42	o 569125
272.55/266.44	o 570469
272.55/266.44	o 570494
272.55/266.45	o 571487
272.55/266.45	o 571512
272.55/266.45	o 573196
272.55/266.45	o 573221
272.55/266.45	o 573773
272.55/266.45	o 576031
272.55/266.45	o 576608
272.55/266.45	o 578866
272.55/266.46	o 578891
273.98/267.82	o 580251
273.98/267.82	o 580738
273.98/267.82	o 583373
273.98/267.82	o 584883
273.98/267.82	o 588005
273.98/267.82	o 590640
273.98/267.82	o 590826
274.15/267.91	o 592562
274.15/267.93	o 593535
274.15/267.93	o 593560
274.15/267.98	o 596294
274.15/267.99	o 596738
274.15/267.99	o 596763
274.15/268.00	o 600094
274.26/268.00	o 600119
274.81/268.52	o 602030
274.81/268.52	o 602055
284.86/278.41	o 603560
294.73/288.06	o 604690
294.73/288.07	o 607659
294.84/288.13	o 610852
294.96/288.21	o 611812
294.96/288.21	o 613241
294.96/288.21	o 615499
294.96/288.22	o 615819
294.96/288.22	o 618077
294.96/288.26	o 626050
295.70/288.97	o 627491
295.70/288.97	o 627811
295.70/288.97	o 630069
295.70/288.98	o 631724
295.70/288.98	o 631910
295.70/288.98	o 633982
295.70/288.98	o 634168
295.82/289.02	o 636188
295.97/289.13	o 637228
295.97/289.14	o 637704
295.97/289.14	o 638925
295.97/289.14	o 640981
295.97/289.14	o 644595
295.97/289.14	o 646651
295.97/289.19	o 648304
295.97/289.19	o 651751
295.97/289.19	o 651804
295.97/289.20	o 652080
295.97/289.20	o 655527
296.08/289.23	o 657055
296.19/289.32	o 657283
296.19/289.38	o 657485
296.19/289.38	o 659541
302.14/294.90	o 661441
302.96/295.74	o 663927
352.63/344.00	o 664546
352.63/344.00	o 664571
366.06/357.12	o 665851
366.06/357.15	o 666720
366.06/357.15	o 669298
366.25/357.34	o 671784
366.35/357.41	o 674542
377.93/368.54	o 677908
408.01/397.88	o 684195
456.29/444.85	o 685982
494.10/481.43	o 687999
495.46/482.76	o 688634
498.43/485.23	o 689441
498.43/485.23	o 691763
498.43/485.24	o 693284
498.82/485.60	o 693783
498.82/485.60	o 694584
498.82/485.60	o 696105
500.36/487.14	o 700254
500.55/487.33	o 701775
512.79/499.22	o 708110
556.99/542.27	o 709934
556.99/542.27	o 712420
557.18/542.46	o 714821
562.02/547.12	o 715617
568.82/553.75	o 717122
568.82/553.75	o 717374
568.82/553.75	o 718879
569.93/554.85	o 719222
569.93/554.85	o 720063
569.93/554.85	o 720727
570.39/555.22	o 722665
609.59/593.27	o 728804
609.59/593.27	o 729468
640.08/622.93	o 729987
640.08/622.93	o 731925
640.74/623.59	o 732808
640.74/623.60	o 734746
646.43/629.12	o 740416
647.58/630.27	o 744110
647.58/630.27	o 744906
691.22/672.11	o 746001
691.22/672.16	o 747758
691.51/672.48	o 751272
691.51/672.49	o 753210
914.26/889.22	o 754622
918.59/893.48	o 755620
918.59/893.48	o 756168
918.59/893.49	o 758106
1420.60/1381.83	o 759775
2520.01/2451.40	s SATISFIABLE
2520.01/2451.40	v <instantiation>
2520.01/2451.40	v 	<list>
2520.01/2451.40	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]
2520.01/2451.40	v 	</list>
2520.01/2451.40	v 	<values>
2520.01/2451.40	v 		0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 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 1 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 1 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 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 1 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 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.01/2451.40	v 	</values>
2520.01/2451.40	v </instantiation>

Verifier Data 

OK	759775

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308677-1534283096/watcher-4308677-1534283096 -o /tmp/evaluation-result-4308677-1534283096/solver-4308677-1534283096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1319800591 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308677-1534283096.xml 

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

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


[startup+0.100731 s]*
/proc/loadavg: 1.93 1.86 1.85 3/216 14818
/proc/meminfo: memFree=18994980/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14082736 memory=32596 CPUtime=0.11 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 7063 0 0 0 10 1 0 0 20 0 15 0 245872805 14420721664 8149 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3520684 8149 3162 1 0 3482761 0
[pid=14803/tid=14805] ppid=14800 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 5097 0 0 0 8 1 0 0 20 0 15 0 245872806 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728942323696 139728918296501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14082736 memory=5793855691544730041 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728411816864 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728410764272 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0.01 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) R 14800 14803 11932 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728406555376 139728931186940 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 8149 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32596 KiB

[startup+0.215195 s]*
/proc/loadavg: 1.93 1.86 1.85 6/216 14818
/proc/meminfo: memFree=18979724/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14082736 memory=46592 CPUtime=0.31 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 10240 0 0 0 29 2 0 0 20 0 15 0 245872805 14420721664 11648 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3520684 11648 3393 1 0 3482761 0
[pid=14803/tid=14805] ppid=14800 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 7825 0 0 0 19 1 0 0 20 0 15 0 245872806 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728942320144 139728938102166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14082736 memory=4211974166739627402 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728411816864 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728410764272 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0.05 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) R 14800 14803 11932 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728406551856 139728923255795 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 11648 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46592 KiB

[startup+0.310401 s]*
/proc/loadavg: 1.93 1.86 1.85 3/216 14818
/proc/meminfo: memFree=18976064/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14082736 memory=49828 CPUtime=0.42 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 10633 0 0 0 40 2 0 0 20 0 15 0 245872805 14420721664 12457 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3520684 12457 3394 1 0 3482761 0
[pid=14803/tid=14805] ppid=14800 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 8180 0 0 0 28 1 0 0 20 0 15 0 245872806 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728942259664 139728918366018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14082736 memory=4211974166739627402 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14082736 memory=140440534839215 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14082736 memory=140440397535404 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14082736 memory=140440397532623 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872806 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14082736 memory=140440534848823 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14082736 memory=140440397541807 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728411816864 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14082736 memory=280880795074448 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872808 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728410764272 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14082736 memory=280880795072144 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 75 0 0 0 2 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0.07 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 414 0 0 0 7 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14082736 memory=140440534836864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872811 14420721664 12457 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49828 KiB

[startup+0.700705 s]
/proc/loadavg: 1.93 1.86 1.85 3/216 14818
/proc/meminfo: memFree=18951880/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14084804 memory=88144 CPUtime=0.99 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 17400 0 0 0 94 5 0 0 20 0 15 0 245872805 14422839296 22036 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3521201 22036 3504 1 0 3483273 0
[pid=14803/tid=14805] ppid=14800 vsize=14084804 memory=872 CPUtime=0.67 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 14462 0 0 0 64 3 0 0 20 0 15 0 245872806 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728942315648 139728922170718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14084804 memory=6272 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872806 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14084804 memory=5787213857196369745 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245872808 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245872808 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728411816864 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245872808 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728410764272 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14084804 memory=219 CPUtime=0.07 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 740 0 0 0 7 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 247 0 0 0 7 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 567 0 0 0 14 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14084804 memory=280880795258352 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872811 14422839296 22036 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88144 KiB

[startup+1.50074 s]
/proc/loadavg: 1.93 1.86 1.85 6/216 14818
/proc/meminfo: memFree=18912088/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14086852 memory=190060 CPUtime=2.74 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 23873 0 0 0 266 8 0 0 20 0 15 0 245872805 14424936448 47515 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3521713 47515 3549 1 0 3483785 0
[pid=14803/tid=14805] ppid=14800 vsize=14086852 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 17045 0 0 0 142 5 0 0 20 0 15 0 245872806 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728942325664 139728579395596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245872806 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14086852 memory=-7088493582599803438 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245872806 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14086852 memory=-6079119013371667296 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 245872808 14424936448 47515 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0

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

/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 152145 0 0 0 235988 86 0 0 20 0 15 0 245872806 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728942327312 139728580480524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14092996 memory=2798648 CPUtime=19.72 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 16896 0 0 0 1918 54 0 0 20 0 15 0 245872806 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14092996 memory=2434976 CPUtime=19.7 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 14745 0 0 0 1916 54 0 0 20 0 15 0 245872806 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14092996 memory=2092 CPUtime=19.67 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 20440 0 0 0 1911 56 0 0 20 0 15 0 245872806 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14092996 memory=1576 CPUtime=19.73 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 14898 0 0 0 1918 55 0 0 20 0 15 0 245872806 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14092996 memory=924 CPUtime=1.18 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 76230 0 0 0 97 21 0 0 20 0 15 0 245872808 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14092996 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728411816928 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14092996 memory=3980 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728410764288 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14092996 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14092996 memory=288230574492221466 CPUtime=2.8 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 13974 0 0 0 277 3 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14092996 memory=288230596050944315 CPUtime=2.99 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 15750 0 0 0 297 2 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14092996 memory=13847469322668609 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 16965 0 0 0 116 4 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14092996 memory=3364 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14092996 memory=36948 CPUtime=1.29 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1490 0 0 0 57 72 0 0 20 0 15 0 245872811 14431227904 608744 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 2449.14 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2434976 KiB

[startup+2442.3 s]
/proc/loadavg: 1.57 1.57 1.59 3/215 15009
/proc/meminfo: memFree=18692636/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14092996 memory=2310832 CPUtime=2510.69 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 350161 0 0 0 250673 396 0 0 20 0 15 0 245872805 14431227904 577708 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3523249 577708 3618 1 0 3485321 0
[pid=14803/tid=14805] ppid=14800 vsize=14092996 memory=288230596050944315 CPUtime=2420.19 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 155698 0 0 0 241933 86 0 0 20 0 15 0 245872806 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728942327232 139728580480540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14092996 memory=13847469322668609 CPUtime=20.23 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 17193 0 0 0 1969 54 0 0 20 0 15 0 245872806 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14092996 memory=3460 CPUtime=20.21 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 15002 0 0 0 1967 54 0 0 20 0 15 0 245872806 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14092996 memory=1104 CPUtime=20.18 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 20882 0 0 0 1962 56 0 0 20 0 15 0 245872806 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14092996 memory=14912 CPUtime=20.24 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 15330 0 0 0 1969 55 0 0 20 0 15 0 245872806 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14092996 memory=3364 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 76415 0 0 0 99 21 0 0 20 0 15 0 245872808 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14092996 memory=36948 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728411816928 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14092996 memory=13820 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728410764288 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14092996 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14092996 memory=496 CPUtime=2.8 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 13976 0 0 0 277 3 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14092996 memory=928 CPUtime=2.99 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 15752 0 0 0 297 2 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14092996 memory=1168 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 16967 0 0 0 116 4 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14092996 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14092996 memory=2811032 CPUtime=1.33 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1508 0 0 0 59 74 0 0 20 0 15 0 245872811 14431227904 577708 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 2510.69 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2310832 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.4 s]
/proc/loadavg: 1.64 1.58 1.59 3/215 15009
/proc/meminfo: memFree=18716528/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14092996 memory=2308780 CPUtime=2520.01 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 350517 0 0 0 251605 396 0 0 20 0 15 0 245872805 14431227904 577195 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3523249 577195 3618 1 0 3485321 0
[pid=14803/tid=14805] ppid=14800 vsize=14092996 memory=2413944 CPUtime=2429.22 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 155978 0 0 0 242836 86 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728942327248 139728585255809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14092996 memory=2392912 CPUtime=20.3 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 17203 0 0 0 1976 54 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14092996 memory=2310832 CPUtime=20.28 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 15032 0 0 0 1974 54 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14092996 memory=2308780 CPUtime=20.26 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 20905 0 0 0 1970 56 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14092996 memory=2308780 CPUtime=20.31 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 15343 0 0 0 1976 55 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14092996 memory=2329812 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 76415 0 0 0 99 21 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14092996 memory=2331864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728411816928 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14092996 memory=2331864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728410764288 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14092996 memory=2329812 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14092996 memory=2329812 CPUtime=2.8 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 13976 0 0 0 277 3 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14092996 memory=2331864 CPUtime=2.99 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 15752 0 0 0 297 2 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14092996 memory=2331864 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 16967 0 0 0 116 4 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14092996 memory=3684 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14092996 memory=66924 CPUtime=1.33 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1508 0 0 0 59 74 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2308780 KiB

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

[startup+2451.42 s]
# the end of solver process 14803 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.07 s, system=3.98143 s

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

[startup+2451.4 s]
/proc/loadavg: 1.64 1.58 1.59 3/215 15009
/proc/meminfo: memFree=18716528/32770624 swapFree=67108368/67108860
[pid=14803] ppid=14800 vsize=14092996 memory=2308780 CPUtime=2520.01 cores=1,3,5,7
/proc/14803/stat : 14803 (java) S 14800 14803 11932 0 -1 1077944320 350517 0 0 0 251605 396 0 0 20 0 15 0 245872805 14431227904 577195 33554432000 4194304 4196468 140726852623392 140726852605936 139728938090231 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
/proc/14803/statm: 3523249 577195 3618 1 0 3485321 0
[pid=14803/tid=14805] ppid=14800 vsize=14092996 memory=2413944 CPUtime=2429.22 cores=1,3,5,7
/proc/14803/task/14805/stat : 14805 (java) R 14800 14803 11932 0 -1 4202560 155978 0 0 0 242836 86 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728942327248 139728585255809 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14806] ppid=14800 vsize=14092996 memory=2392912 CPUtime=20.3 cores=1,3,5,7
/proc/14803/task/14806/stat : 14806 (java) S 14800 14803 11932 0 -1 1077944384 17203 0 0 0 1976 54 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728533691152 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14807] ppid=14800 vsize=14092996 memory=2310832 CPUtime=20.28 cores=1,3,5,7
/proc/14803/task/14807/stat : 14807 (java) S 14800 14803 11932 0 -1 1077944384 15032 0 0 0 1974 54 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728532638608 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14808] ppid=14800 vsize=14092996 memory=2308780 CPUtime=20.26 cores=1,3,5,7
/proc/14803/task/14808/stat : 14808 (java) S 14800 14803 11932 0 -1 1077944384 20905 0 0 0 1970 56 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728531586064 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14809] ppid=14800 vsize=14092996 memory=2308780 CPUtime=20.31 cores=1,3,5,7
/proc/14803/task/14809/stat : 14809 (java) S 14800 14803 11932 0 -1 1077944384 15343 0 0 0 1976 55 0 0 20 0 15 0 245872806 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728530533520 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14810] ppid=14800 vsize=14092996 memory=2329812 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14810/stat : 14810 (java) S 14800 14803 11932 0 -1 1077944384 76415 0 0 0 99 21 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728412870640 139728938101378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14811] ppid=14800 vsize=14092996 memory=2331864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14811/stat : 14811 (java) S 14800 14803 11932 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728411816928 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14812] ppid=14800 vsize=14092996 memory=2331864 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14812/stat : 14812 (java) S 14800 14803 11932 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245872808 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728410764288 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14813] ppid=14800 vsize=14092996 memory=2329812 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14813/stat : 14813 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728409712848 139728938108827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14814] ppid=14800 vsize=14092996 memory=2329812 CPUtime=2.8 cores=1,3,5,7
/proc/14803/task/14814/stat : 14814 (java) S 14800 14803 11932 0 -1 1077944384 13976 0 0 0 277 3 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728408660464 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14815] ppid=14800 vsize=14092996 memory=2331864 CPUtime=2.99 cores=1,3,5,7
/proc/14803/task/14815/stat : 14815 (java) S 14800 14803 11932 0 -1 1077944384 15752 0 0 0 297 2 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728407607920 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14816] ppid=14800 vsize=14092996 memory=2331864 CPUtime=1.2 cores=1,3,5,7
/proc/14803/task/14816/stat : 14816 (java) S 14800 14803 11932 0 -1 1077944384 16967 0 0 0 116 4 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728406555376 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14817] ppid=14800 vsize=14092996 memory=3684 CPUtime=0 cores=1,3,5,7
/proc/14803/task/14817/stat : 14817 (java) S 14800 14803 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728405503072 139728938100437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
[pid=14803/tid=14818] ppid=14800 vsize=14092996 memory=66924 CPUtime=1.33 cores=1,3,5,7
/proc/14803/task/14818/stat : 14818 (java) S 14800 14803 11932 0 -1 1077944384 1508 0 0 0 59 74 0 0 20 0 15 0 245872811 14431227904 577195 33554432000 4194304 4196468 140726852623392 139728404449584 139728938101378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 42 0 0 6293624 6294260 33644544 140726852629588 140726852629769 140726852629769 140726852632527 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2308780 KiB

Child status: 143
Real time (s): 2451.42
CPU time (s): 2520.05
CPU user time (s): 2516.07
CPU system time (s): 3.98143
CPU usage (%): 102.799
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2633964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 3.98143
maximum resident set size= 2636012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77861
involuntary context switches= 2814


# summary of solver processes directly reported to runsolver:
#   pid: 14803
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.07
#   total CPU system time (s): 3.98143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9081 second user time and 22.2565 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-14 23:44:56
IDJOB=4308677
IDBENCH=141157
IDSOLVER=2792
FILE ID=node148/4308677-1534283096
RUNJOBID= node148-1534270838-13463
PBS_JOBID= 21038117
Free space on /tmp= 42612 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-4308677-1534283096/watcher-4308677-1534283096 -o /tmp/evaluation-result-4308677-1534283096/solver-4308677-1534283096 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13463 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1319800591 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308677-1534283096.xml

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

MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3
RANDOM SEED=1319800591

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19012568 kB
MemAvailable:   27117500 kB
Buffers:          161976 kB
Cached:          8149468 kB
SwapCached:            4 kB
Active:          9189284 kB
Inactive:        3954120 kB
Active(anon):    4785752 kB
Inactive(anon):    98752 kB
Active(file):    4403532 kB
Inactive(file):  3855368 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             36016 kB
Writeback:             0 kB
AnonPages:       4839692 kB
Mapped:            68168 kB
Shmem:             49588 kB
Slab:             303592 kB
SReclaimable:     274492 kB
SUnreclaim:        29100 kB
KernelStack:        3552 kB
PageTables:        14892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5701768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4655104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-15 00:25:48