Trace number 4291701

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-07-02SAT (TO)46810432 2400.06 2334.93

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching080_c18.xml
MD5SUM8abf4f1f4dc00a8da6097f5555605512
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46256429
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints318
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":2000}]
Minimum constraint arity3
Maximum constraint arity76
Distribution of constraint arities[{"arity":3,"count":9},{"arity":5,"count":1},{"arity":6,"count":29},{"arity":8,"count":1},{"arity":9,"count":2},{"arity":10,"count":181},{"arity":11,"count":1},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":19,"count":2},{"arity":21,"count":1},{"arity":23,"count":3},{"arity":24,"count":3},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":2},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":3},{"arity":33,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":5},"...",{"arity":45,"count":4}, {"arity":46,"count":6}, {"arity":47,"count":2}, {"arity":48,"count":3}, {"arity":49,"count":2}, {"arity":50,"count":1}, {"arity":51,"count":2}, {"arity":52,"count":2}, {"arity":54,"count":1}, {"arity":55,"count":2}, {"arity":56,"count":2}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":4}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":71,"count":1}, {"arity":76,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":318}]
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.66/0.56	c version: 2018-07-02
0.66/0.56	c seed: 1929902878
0.66/0.56	c timeout: 2400
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.58	c Parsing instance...
3.03/1.90	c Parsing done, starting first complete search...
3.71/2.13	o 0
3.71/2.13	o 641197
3.71/2.14	o 712441
3.71/2.14	o 929580
3.71/2.14	o 1506658
3.71/2.14	o 1642021
3.71/2.15	o 2089401
3.71/2.15	o 2159120
3.71/2.16	o 2391515
3.71/2.16	o 2462759
3.71/2.17	o 3323040
3.71/2.18	o 3528225
3.71/2.18	o 3599469
3.71/2.18	o 3662215
3.71/2.19	o 3731934
3.71/2.19	o 3759144
3.71/2.19	o 3964329
3.98/2.26	o 4004886
3.98/2.27	o 4076130
3.98/2.27	o 4237281
3.98/2.27	o 4308525
3.98/2.28	o 4513710
4.90/2.57	o 4565152
4.90/2.57	o 4702497
4.90/2.57	o 4773741
4.90/2.58	o 4834962
4.90/2.58	o 4906206
5.05/2.61	o 4967761
5.05/2.62	o 5040481
5.05/2.62	o 5103227
5.05/2.62	o 5172946
5.21/2.78	o 5189709
5.21/2.79	o 5267996
5.21/2.79	o 5405341
6.67/4.04	o 5408088
6.86/4.21	o 5520698
6.86/4.21	o 5535074
6.86/4.21	o 5606318
6.86/4.21	o 5673190
6.86/4.21	o 5824854
6.86/4.21	o 5896098
7.67/5.03	o 5937302
7.67/5.03	o 6074647
12.18/9.50	c First complete search done, starting ALNS search...
12.35/9.69	o 7226667
12.35/9.69	o 7998259
12.35/9.69	o 8443589
12.35/9.69	o 8722907
12.35/9.70	o 9049169
12.52/9.70	o 9494499
12.52/9.70	o 9819910
12.52/9.71	o 9888558
12.52/9.71	o 10008477
12.52/9.71	o 10333888
12.52/9.71	o 10551836
12.52/9.71	o 10602966
12.52/9.71	o 10632347
12.52/9.71	o 10700995
12.52/9.71	o 11146325
12.52/9.71	o 11212010
12.52/9.71	o 11657340
12.52/9.71	o 11944492
12.52/9.71	o 12010177
12.52/9.71	o 12129228
12.52/9.72	o 12455507
12.52/9.72	o 12652058
12.52/9.72	o 12760389
12.52/9.72	o 12978337
12.52/9.72	o 13181234
12.52/9.72	o 13289565
12.52/9.72	o 13507513
13.03/10.10	o 13521153
13.21/10.11	o 13587726
13.21/10.11	o 13742365
13.21/10.11	o 13794523
13.21/10.14	o 13841896
13.21/10.14	o 13894054
13.53/10.42	o 13925857
13.53/10.43	o 13978015
13.75/10.61	o 14144462
13.75/10.61	o 14417832
13.75/10.64	o 14517363
13.75/10.65	o 14569521
14.10/10.95	o 14617882
14.10/10.95	o 14771824
14.10/10.95	o 14935436
14.10/10.97	o 14987594
14.21/11.07	o 15015927
14.21/11.07	o 15068085
14.31/11.11	o 15098933
14.31/11.11	o 15372303
14.31/11.12	o 15526942
14.31/11.13	o 15579100
15.71/11.84	o 15962295
15.71/11.84	o 16100722
15.71/11.84	o 16260805
15.71/11.84	o 16733960
15.71/11.84	o 17153289
15.71/11.84	o 17552791
15.71/11.84	o 17886614
15.71/11.84	o 17905054
15.71/11.85	o 17924881
15.71/11.85	o 18324383
15.71/11.85	o 18581040
15.71/11.85	o 18658206
15.71/11.85	o 18773127
15.71/11.85	o 18811394
15.71/11.85	o 19145217
15.71/11.85	o 19210896
15.71/11.85	o 19544719
15.71/11.85	o 19621885
15.71/11.86	o 19698239
15.71/11.86	o 19954896
15.71/11.86	o 20032062
15.71/11.86	o 20104964
15.71/11.87	o 20334071
15.71/11.87	o 20411237
15.82/11.91	o 20617010
15.82/11.91	o 20694176
15.82/11.96	o 20750215
15.82/11.97	o 20955988
15.82/11.97	o 21033154
16.65/12.57	o 21193540
16.65/12.58	o 21217590
16.65/12.58	o 21233167
16.65/12.58	o 21551413
16.65/12.58	o 21835323
16.65/12.58	o 21847842
16.65/12.58	o 22045920
16.65/12.59	o 22243321
16.65/12.59	o 22364166
16.65/12.59	o 22474097
16.65/12.59	o 22582153
16.65/12.59	o 22594942
16.65/12.59	o 22702998
16.65/12.59	o 22793020
16.65/12.59	o 22990421
16.65/12.60	o 23111266
16.75/12.60	o 23219322
16.75/12.60	o 23329483
16.75/12.60	o 23450328
16.75/12.60	o 23558384
16.75/12.60	o 23786155
16.75/12.61	o 23894211
16.75/12.61	o 23907000
16.75/12.61	o 24015056
16.75/12.62	o 24021078
16.75/12.62	o 24141923
16.75/12.62	o 24339324
16.75/12.62	o 24460169
16.75/12.62	o 24623234
16.75/12.62	o 24744079
16.75/12.62	o 24792890
16.75/12.63	o 24827226
16.75/12.63	o 25111136
16.75/12.63	o 25231940
16.75/12.64	o 25515850
16.75/12.64	o 25759592
16.75/12.64	o 26043502
16.96/12.88	o 26293377
17.18/13.06	o 26511872
17.18/13.06	o 26598662
17.18/13.08	o 26621560
17.18/13.08	o 26708350
17.29/13.11	o 26795081
17.29/13.14	o 26856411
17.71/13.50	o 27046043
17.71/13.50	o 27056919
17.71/13.53	o 27157462
17.71/13.54	o 27168338
17.71/13.55	o 27211269
17.71/13.55	o 27222145
17.81/13.61	o 27244252
17.81/13.61	o 27298059
17.81/13.63	o 27308935
17.91/13.70	o 27311379
17.91/13.72	o 27322255
18.11/13.98	o 27329953
18.11/13.98	o 27433784
18.11/13.99	o 27495179
18.11/13.99	o 27581969
18.22/14.06	o 27592845
18.32/14.12	o 27595289
18.32/14.13	o 27606165
18.32/14.15	o 27650649
18.32/14.18	o 27745027
18.41/14.20	o 27798834
18.52/14.33	o 27809710
18.72/14.59	o 27813745
18.72/14.59	o 27918221
18.82/14.64	o 27920922
18.82/14.67	o 28007712
18.82/14.69	o 28012599
18.82/14.69	o 28066406
18.93/14.78	o 28117400
19.35/15.12	o 28206283
21.79/17.42	o 28406144
21.79/17.44	o 28446635
21.93/17.51	o 28627077
21.93/17.51	o 28859662
21.93/17.51	o 29069952
21.93/17.52	o 29237938
21.93/17.56	o 29314540
22.03/17.60	o 29315798
22.03/17.63	o 29392400
22.03/17.67	o 29414349
22.03/17.67	o 29456999
22.03/17.68	o 29548383
22.03/17.68	o 29624985
24.31/19.71	o 29651760
25.56/20.99	o 29823521
27.18/22.51	o 29905835
27.18/22.51	o 30077596
37.74/32.96	o 30347152
37.74/32.96	o 30631124
37.74/32.96	o 31042442
37.74/32.97	o 31412478
37.74/32.97	o 31823796
38.03/33.12	o 31886512
38.03/33.12	o 31905717
38.03/33.14	o 32057625
38.03/33.15	o 32312292
38.03/33.17	o 32499312
38.03/33.18	o 32728423
38.03/33.18	o 32751476
38.03/33.19	o 32824510
38.03/33.19	o 33158051
38.13/33.20	o 33345071
38.13/33.25	o 33575583
38.13/33.28	o 33762603
38.43/33.51	o 33823993
38.53/33.65	o 33875882
38.53/33.66	o 33937272
40.33/35.48	o 33976442
120.14/114.73	o 34132160
120.34/114.92	o 34194532
120.34/114.93	o 34196858
120.34/114.93	o 34454688
120.46/115.07	o 34581255
120.46/115.07	o 34606740
120.46/115.07	o 34625649
120.46/115.07	o 34774606
120.46/115.07	o 34800091
120.66/115.22	o 34994069
120.66/115.22	o 35512454
121.80/116.37	o 35893303
121.80/116.37	o 36522104
121.92/116.47	o 37167791
122.72/117.22	o 37270838
123.44/117.90	o 37914116
123.44/118.00	o 38342110
123.44/118.00	o 39041956
148.93/143.34	o 39197153
150.93/145.37	o 39238559
151.33/145.79	o 39266158
173.95/168.24	o 39282970
195.62/189.77	o 39316334
230.81/224.26	o 39404439
231.32/224.72	o 39704377
242.35/235.48	o 39744143
257.72/250.46	o 39866796
260.27/252.94	o 40047716
283.01/275.05	o 40238780
283.83/275.84	o 40251368
303.44/294.91	o 40257839
303.55/295.01	o 40591439
303.65/295.12	o 40725191
303.65/295.17	o 41016577
303.65/295.17	o 41127907
303.95/295.49	o 41172447
305.78/297.21	o 41234979
306.11/297.50	o 41306824
306.11/297.52	o 41598210
306.73/298.17	o 41706791
306.92/298.34	o 41853141
309.08/300.49	o 42019719
323.47/314.45	o 42044625
323.57/314.54	o 42513545
331.14/321.99	o 42701024
331.37/322.16	o 42834776
346.75/337.18	o 42942456
346.84/337.22	o 43254021
359.65/349.69	o 43409488
369.22/359.00	o 43468199
371.58/361.25	o 43573705
379.18/368.66	o 43574719
380.30/369.78	o 43839599
407.51/396.29	o 43966539
419.54/407.92	o 44444359
431.14/419.21	o 44538242
432.18/420.22	o 44666038
435.32/423.32	o 44973604
462.84/450.00	o 45188817
462.84/450.00	o 45318174
472.86/459.69	o 45418881
477.64/464.35	o 45730531
477.84/464.55	o 45823648
600.85/584.17	o 45882410
604.15/587.39	o 46175112
729.05/708.34	o 46180740
819.51/796.40	o 46352836
854.78/830.81	o 46596673
957.09/930.50	o 46634211
990.34/962.76	o 46801602
1077.41/1047.75	o 46810432
2400.03/2334.90	s SATISFIABLE
2400.03/2334.90	v <instantiation>
2400.03/2334.90	v 	<list>
2400.03/2334.90	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]
2400.03/2334.90	v 	</list>
2400.03/2334.90	v 	<values>
2400.03/2334.90	v 		0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 
2400.03/2334.90	v 	</values>
2400.03/2334.90	v </instantiation>

Verifier Data 

OK	46810432

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291701-1532257146/watcher-4291701-1532257146 -o /tmp/evaluation-result-4291701-1532257146/solver-4291701-1532257146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1929902878 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291701-1532257146.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30409, runsolver pid=30406
Current StackSize limit: 8192 KiB


[startup+0.101531 s]*
/proc/loadavg: 1.15 1.29 1.31 4/215 30424
/proc/meminfo: memFree=28751660/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14082740 memory=32344 CPUtime=0.11 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 7502 0 0 0 10 1 0 0 20 0 15 0 43277776 14420725760 8086 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3520685 8086 3163 1 0 3482761 0
[pid=30409/tid=30411] ppid=30406 vsize=14082740 memory=-8629632960754258304 CPUtime=0.08 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 5537 0 0 0 8 0 0 0 20 0 15 0 43277776 14420725760 8086 33554432000 4194304 4196468 140732422356384 139736798817208 139736778696030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 8086 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 8086 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 8086 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 8086 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277778 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735706305696 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735705252592 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0.01 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) R 30406 30409 26714 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 43277781 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735701043696 139736778862953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277782 14420725760 8086 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 32344 KiB

[startup+0.210231 s]*
/proc/loadavg: 1.15 1.29 1.31 6/215 30424
/proc/meminfo: memFree=28736544/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14082740 memory=45744 CPUtime=0.3 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 10608 0 0 0 28 2 0 0 20 0 15 0 43277776 14420725760 11436 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3520685 11436 3354 1 0 3482761 0
[pid=30409/tid=30411] ppid=30406 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 8242 0 0 0 19 1 0 0 20 0 15 0 43277776 14420725760 11436 33554432000 4194304 4196468 140732422356384 139736798840864 139736786852670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 11436 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14082740 memory=4050344792065996448 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 11436 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 11436 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 11436 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43277778 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735706305696 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735705252592 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) R 30406 30409 26714 0 -1 1077944384 367 0 0 0 1 0 0 0 20 0 15 0 43277781 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) R 30406 30409 26714 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 15 0 43277781 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735702096752 139736786904992 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0.06 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) R 30406 30409 26714 0 -1 4202560 384 0 0 0 6 0 0 0 20 0 15 0 43277781 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735701043696 139736794627478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277782 14420725760 11436 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 45744 KiB

[startup+0.310306 s]*
/proc/loadavg: 1.15 1.29 1.31 3/215 30424
/proc/meminfo: memFree=28733380/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14082740 memory=49276 CPUtime=0.43 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 11021 0 0 0 41 2 0 0 20 0 15 0 43277776 14420725760 12319 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3520685 12319 3356 1 0 3482761 0
[pid=30409/tid=30411] ppid=30406 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 8572 0 0 0 28 1 0 0 20 0 15 0 43277776 14420725760 12319 33554432000 4194304 4196468 140732422356384 139736798843184 139736776179047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 12319 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14082740 memory=3905948129013429920 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 12319 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 12319 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277777 14420725760 12319 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43277778 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735706305696 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43277779 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735705252592 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 43277781 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 43277781 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0.08 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 418 0 0 0 8 0 0 0 20 0 15 0 43277781 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14082740 memory=140646269482624 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277782 14420725760 12319 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49276 KiB

[startup+0.701567 s]
/proc/loadavg: 1.15 1.29 1.31 3/215 30424
/proc/meminfo: memFree=28711740/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14084808 memory=89748 CPUtime=0.98 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 17802 0 0 0 93 5 0 0 20 0 15 0 43277776 14422843392 22437 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3521202 22437 3499 1 0 3483273 0
[pid=30409/tid=30411] ppid=30406 vsize=14084808 memory=1724 CPUtime=0.68 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 14891 0 0 0 64 4 0 0 20 0 15 0 43277776 14422843392 22437 33554432000 4194304 4196468 140732422356384 139736798834768 139736774266295 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14422843392 22437 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14084808 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14422843392 22437 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14422843392 22437 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277777 14422843392 22437 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14084808 memory=1956 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43277778 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14084808 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43277779 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735706305696 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14084808 memory=8356 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43277779 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735705252592 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14084808 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14084808 memory=7811323491934034026 CPUtime=0.05 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 556 0 0 0 5 0 0 0 20 0 15 0 43277781 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14084808 memory=5787213827063244903 CPUtime=0.08 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 421 0 0 0 8 0 0 0 20 0 15 0 43277781 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 552 0 0 0 15 0 0 0 20 0 15 0 43277781 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14084808 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277782 14422843392 22437 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89748 KiB

[startup+1.50071 s]
/proc/loadavg: 1.15 1.29 1.31 5/215 30424
/proc/meminfo: memFree=28676484/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14086856 memory=182656 CPUtime=2.51 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 21356 0 0 0 243 8 0 0 20 0 15 0 43277776 14424940544 45664 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3521714 45664 3543 1 0 3483785 0
[pid=30409/tid=30411] ppid=30406 vsize=14086856 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 16643 0 0 0 142 5 0 0 20 0 15 0 43277776 14424940544 45664 33554432000 4194304 4196468 140732422356384 139736798849184 139736435834996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14086856 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14424940544 45664 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14086856 memory=-6509546260019855299 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14424940544 45664 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14086856 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43277777 14424940544 45664 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14086856 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43277777 14424940544 45664 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 43277778 14424940544 45664 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0

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

/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 115901 0 0 0 224075 64 0 0 20 0 15 0 43277776 14431232000 280048 33554432000 4194304 4196468 140732422356384 139736798852688 139736441092567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14093000 memory=1120192 CPUtime=18.82 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 19290 0 0 0 1826 56 0 0 20 0 15 0 43277777 14431232000 280048 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14093000 memory=-8312670058677691234 CPUtime=18.81 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 20693 0 0 0 1824 57 0 0 20 0 15 0 43277777 14431232000 280048 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14093000 memory=1120192 CPUtime=18.8 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 17439 0 0 0 1823 57 0 0 20 0 15 0 43277777 14431232000 280048 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14093000 memory=1134040 CPUtime=18.81 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 16042 0 0 0 1825 56 0 0 20 0 15 0 43277777 14431232000 280048 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14093000 memory=1120192 CPUtime=1.35 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 81416 0 0 0 111 24 0 0 20 0 15 0 43277778 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14093000 memory=1120192 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735706305760 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14093000 memory=199 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735705252608 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14093000 memory=1120192 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14093000 memory=4140 CPUtime=2.65 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 24370 0 0 0 262 3 0 0 20 0 15 0 43277781 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14093000 memory=1120192 CPUtime=2.24 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 17703 0 0 0 222 2 0 0 20 0 15 0 43277781 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14093000 memory=9924 CPUtime=1.17 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 31744 0 0 0 113 4 0 0 20 0 15 0 43277781 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14093000 memory=1120192 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14093000 memory=1120192 CPUtime=1.16 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1613 0 0 0 59 57 0 0 20 0 15 0 43277782 14431232000 280048 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 2325.3 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1120192 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.46 1.47 3/215 30597
/proc/meminfo: memFree=26866744/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14093000 memory=1047756 CPUtime=2386.88 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 351281 0 0 0 238315 373 0 0 20 0 15 0 43277776 14431232000 261939 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3523250 261939 3622 1 0 3485321 0
[pid=30409/tid=30411] ppid=30406 vsize=14093000 memory=1037084 CPUtime=2300.83 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 117775 0 0 0 230019 64 0 0 20 0 15 0 43277776 14431232000 261939 33554432000 4194304 4196468 140732422356384 139736798852688 139736432335052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14093000 memory=1023792 CPUtime=19.34 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 19580 0 0 0 1877 57 0 0 20 0 15 0 43277777 14431232000 261939 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14093000 memory=1047756 CPUtime=19.33 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 20966 0 0 0 1875 58 0 0 20 0 15 0 43277777 14431232000 261939 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14093000 memory=932 CPUtime=19.32 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 17949 0 0 0 1874 58 0 0 20 0 15 0 43277777 14431232000 261939 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14093000 memory=1568 CPUtime=19.33 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 16389 0 0 0 1875 58 0 0 20 0 15 0 43277777 14431232000 261939 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14093000 memory=4140 CPUtime=1.37 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 81712 0 0 0 113 24 0 0 20 0 15 0 43277778 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14093000 memory=14836 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735706305760 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14093000 memory=1023232 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735705252608 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14093000 memory=836 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14093000 memory=836 CPUtime=2.65 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 24372 0 0 0 262 3 0 0 20 0 15 0 43277781 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14093000 memory=1796 CPUtime=2.25 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 17706 0 0 0 222 3 0 0 20 0 15 0 43277781 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14093000 memory=912 CPUtime=1.17 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 31747 0 0 0 113 4 0 0 20 0 15 0 43277781 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14093000 memory=1009384 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14093000 memory=1023792 CPUtime=1.2 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1631 0 0 0 62 58 0 0 20 0 15 0 43277782 14431232000 261939 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 2386.88 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1047756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2334.9 s]
/proc/loadavg: 1.36 1.43 1.46 3/215 30597
/proc/meminfo: memFree=26769184/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14093000 memory=1164400 CPUtime=2400.03 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 354219 0 0 0 239623 380 0 0 20 0 15 0 43277776 14431232000 291100 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3523250 291100 3622 1 0 3485321 0
[pid=30409/tid=30411] ppid=30406 vsize=14093000 memory=1163096 CPUtime=2313.24 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 117991 0 0 0 231259 65 0 0 20 0 15 0 43277776 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736798851240 139736441092492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14093000 memory=1062092 CPUtime=19.53 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 19696 0 0 0 1894 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.51 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 21063 0 0 0 1891 60 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.5 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 18024 0 0 0 1891 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.5 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 16465 0 0 0 1891 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14093000 memory=796 CPUtime=1.39 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 83991 0 0 0 114 25 0 0 20 0 15 0 43277778 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735706305760 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735705252608 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14093000 memory=1173336 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14093000 memory=1163096 CPUtime=2.65 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 24449 0 0 0 262 3 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14093000 memory=6791534058613427641 CPUtime=2.25 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 17706 0 0 0 222 3 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14093000 memory=7307764874479100754 CPUtime=1.17 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 31747 0 0 0 113 4 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14093000 memory=2344 CPUtime=1.2 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1633 0 0 0 62 58 0 0 20 0 15 0 43277782 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1164400 KiB

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

[startup+2334.93 s]
# the end of solver process 30409 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.25 s, system=3.81453 s

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

[startup+2334.9 s]
/proc/loadavg: 1.36 1.43 1.46 3/215 30597
/proc/meminfo: memFree=26769184/32770624 swapFree=67108860/67108860
[pid=30409] ppid=30406 vsize=14093000 memory=1164400 CPUtime=2400.03 cores=0,2,4,6
/proc/30409/stat : 30409 (java) S 30406 30409 26714 0 -1 1077944320 354219 0 0 0 239623 380 0 0 20 0 15 0 43277776 14431232000 291100 33554432000 4194304 4196468 140732422356384 140732422338928 139736794615543 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
/proc/30409/statm: 3523250 291100 3622 1 0 3485321 0
[pid=30409/tid=30411] ppid=30406 vsize=14093000 memory=1163096 CPUtime=2313.24 cores=0,2,4,6
/proc/30409/task/30411/stat : 30411 (java) R 30406 30409 26714 0 -1 4202560 117991 0 0 0 231259 65 0 0 20 0 15 0 43277776 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736798851240 139736441092492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30412] ppid=30406 vsize=14093000 memory=1062092 CPUtime=19.53 cores=0,2,4,6
/proc/30409/task/30412/stat : 30412 (java) S 30406 30409 26714 0 -1 1077944384 19696 0 0 0 1894 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736762174480 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30413] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.51 cores=0,2,4,6
/proc/30409/task/30413/stat : 30413 (java) S 30406 30409 26714 0 -1 1077944384 21063 0 0 0 1891 60 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736389713040 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30414] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.5 cores=0,2,4,6
/proc/30409/task/30414/stat : 30414 (java) S 30406 30409 26714 0 -1 1077944384 18024 0 0 0 1891 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736388659984 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30415] ppid=30406 vsize=14093000 memory=1164400 CPUtime=19.5 cores=0,2,4,6
/proc/30409/task/30415/stat : 30415 (java) S 30406 30409 26714 0 -1 1077944384 16465 0 0 0 1891 59 0 0 20 0 15 0 43277777 14431232000 291100 33554432000 4194304 4196468 140732422356384 139736387607440 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30416] ppid=30406 vsize=14093000 memory=796 CPUtime=1.39 cores=0,2,4,6
/proc/30409/task/30416/stat : 30416 (java) S 30406 30409 26714 0 -1 1077944384 83991 0 0 0 114 25 0 0 20 0 15 0 43277778 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735707359472 139736794626690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30417] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30417/stat : 30417 (java) S 30406 30409 26714 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735706305760 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30418] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30418/stat : 30418 (java) S 30406 30409 26714 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 43277779 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735705252608 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30419] ppid=30406 vsize=14093000 memory=1173336 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30419/stat : 30419 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735704201168 139736794634139 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30420] ppid=30406 vsize=14093000 memory=1163096 CPUtime=2.65 cores=0,2,4,6
/proc/30409/task/30420/stat : 30420 (java) S 30406 30409 26714 0 -1 1077944384 24449 0 0 0 262 3 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735703149296 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30421] ppid=30406 vsize=14093000 memory=6791534058613427641 CPUtime=2.25 cores=0,2,4,6
/proc/30409/task/30421/stat : 30421 (java) S 30406 30409 26714 0 -1 1077944384 17706 0 0 0 222 3 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735702096752 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30422] ppid=30406 vsize=14093000 memory=7307764874479100754 CPUtime=1.17 cores=0,2,4,6
/proc/30409/task/30422/stat : 30422 (java) S 30406 30409 26714 0 -1 1077944384 31747 0 0 0 113 4 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735701043696 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30423] ppid=30406 vsize=14093000 memory=1164040 CPUtime=0 cores=0,2,4,6
/proc/30409/task/30423/stat : 30423 (java) S 30406 30409 26714 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43277781 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735699991392 139736794625749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
[pid=30409/tid=30424] ppid=30406 vsize=14093000 memory=2344 CPUtime=1.2 cores=0,2,4,6
/proc/30409/task/30424/stat : 30424 (java) S 30406 30409 26714 0 -1 1077944384 1633 0 0 0 62 58 0 0 20 0 15 0 43277782 14431232000 291100 33554432000 4194304 4196468 140732422356384 139735698938416 139736794626690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 22650880 140732422358100 140732422358281 140732422358281 140732422361039 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1164400 KiB

Child status: 143
Real time (s): 2334.93
CPU time (s): 2400.06
CPU user time (s): 2396.25
CPU system time (s): 3.81453
CPU usage (%): 102.79
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 2513040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.25
system time used= 3.81453
maximum resident set size= 2515172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79290
involuntary context switches= 4942


# summary of solver processes directly reported to runsolver:
#   pid: 30409
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2396.25
#   total CPU system time (s): 3.81453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1245 second user time and 21.1411 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-22 12:59:06
IDJOB=4291701
IDBENCH=141146
IDSOLVER=2746
FILE ID=node149/4291701-1532257146
RUNJOBID= node149-1532226534-26745
PBS_JOBID= 21018956
Free space on /tmp= 51848 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-matching080_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-4291701-1532257146/watcher-4291701-1532257146 -o /tmp/evaluation-result-4291701-1532257146/solver-4291701-1532257146 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532226534-26745 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1929902878 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291701-1532257146.xml

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

MD5SUM BENCH= 8abf4f1f4dc00a8da6097f5555605512
RANDOM SEED=1929902878

node149.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.60
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.60
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.60
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.60
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:        28769352 kB
MemAvailable:   31442192 kB
Buffers:          109172 kB
Cached:          2823976 kB
SwapCached:            0 kB
Active:          2050748 kB
Inactive:        1470880 kB
Active(anon):     538228 kB
Inactive(anon):    70200 kB
Active(file):    1512520 kB
Inactive(file):  1400680 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35976 kB
Writeback:             8 kB
AnonPages:        553276 kB
Mapped:            48912 kB
Shmem:             17032 kB
Slab:             178332 kB
SReclaimable:     150952 kB
SUnreclaim:        27380 kB
KernelStack:        3664 kB
PageTables:         6472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1239720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 51812 MiB
End job on node149 at 2018-07-22 13:38:01