Trace number 4298979

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
slowpoke 2018-04-29SAT (TO)45711678 2520.05 2483.43

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
43.45/24.56	o 45718490
43.45/24.57	o 45718488
43.45/24.57	o 45718482
43.45/24.58	o 45718476
43.45/24.58	o 45718475
43.45/24.59	o 45718474
43.68/24.60	o 45718473
43.68/24.62	o 45718469
43.68/24.64	o 45718468
43.68/24.65	o 45718467
43.83/24.71	o 45718466
47.23/28.03	o 45718465
47.23/28.04	o 45718464
47.23/28.07	o 45718463
47.43/28.21	o 45718459
47.54/28.31	o 45718456
47.64/28.40	o 45718454
50.41/31.17	o 45718449
50.41/31.18	o 45718448
50.41/31.20	o 45718446
50.53/31.28	o 45718445
53.66/34.31	o 45718444
53.66/34.33	o 45718442
53.66/34.33	o 45718441
53.66/34.34	o 45718440
53.76/34.40	o 45718438
53.76/34.41	o 45718436
53.76/34.43	o 45718435
56.47/37.18	o 45718434
138.41/118.18	o 45718433
138.60/118.40	o 45718432
141.42/121.12	o 45718431
141.91/121.63	o 45718430
141.91/121.63	o 45718429
141.91/121.63	o 45718428
144.61/124.36	o 45718424
144.81/124.55	o 45718423
144.81/124.55	o 45718422
144.91/124.67	o 45718420
147.92/127.63	o 45718419
152.12/131.82	o 45718416
152.12/131.82	o 45718415
154.72/134.49	o 45718410
154.82/134.52	o 45718407
154.92/134.67	o 45718393
154.92/134.67	o 45718392
155.02/134.70	o 45718391
155.02/134.71	o 45718389
155.02/134.77	o 45718388
155.13/134.85	o 45718387
2223.66/2193.30	o 45711946
2223.66/2193.31	o 45711945
2223.66/2193.32	o 45711944
2223.66/2193.32	o 45711939
2223.80/2193.43	o 45711932
2224.14/2193.76	o 45711931
2224.24/2193.82	o 45711930
2227.14/2196.70	o 45711927
2227.14/2196.78	o 45711926
2227.33/2196.84	o 45711924
2227.33/2196.84	o 45711922
2227.33/2196.84	o 45711921
2227.33/2196.85	o 45711920
2227.43/2196.94	o 45711914
2227.43/2196.95	o 45711913
2227.43/2196.95	o 45711912
2227.64/2197.11	o 45711907
2227.83/2197.33	o 45711902
2230.64/2200.19	o 45711881
2230.64/2200.20	o 45711880
2230.90/2200.33	o 45711879
2230.90/2200.33	o 45711878
2231.00/2200.42	o 45711875
2231.10/2200.53	o 45711874
2233.71/2203.16	o 45711865
2233.71/2203.16	o 45711858
2233.71/2203.17	o 45711856
2233.71/2203.18	o 45711855
2233.71/2203.19	o 45711851
2233.97/2203.32	o 45711850
2234.47/2203.80	o 45711849
2234.47/2203.86	o 45711848
2237.17/2206.60	o 45711847
2237.27/2206.67	o 45711846
2272.54/2241.13	o 45711845
2272.54/2241.13	o 45711844
2272.54/2241.16	o 45711843
2275.40/2243.96	o 45711839
2275.96/2244.46	o 45711838
2275.96/2244.47	o 45711832
2275.96/2244.47	o 45711831
2276.06/2244.60	o 45711828
2276.16/2244.60	o 45711827
2278.86/2247.38	o 45711825
2278.96/2247.48	o 45711823
2279.16/2247.63	o 45711822
2279.74/2248.11	o 45711820
2289.38/2257.66	o 45711819
2289.38/2257.66	o 45711818
2289.74/2257.93	o 45711817
2289.74/2257.93	o 45711816
2292.79/2260.95	o 45711815
2292.79/2260.95	o 45711811
2292.79/2260.97	o 45711810
2317.12/2284.62	o 45711809
2320.79/2288.25	o 45711808
2320.79/2288.29	o 45711807
2320.99/2288.45	o 45711806
2323.86/2291.26	o 45711805
2323.86/2291.29	o 45711797
2324.36/2291.70	o 45711796
2324.36/2291.70	o 45711795
2327.13/2294.48	o 45711794
2327.33/2294.61	o 45711792
2327.53/2294.80	o 45711791
2327.91/2295.16	o 45711785
2327.91/2295.16	o 45711784
2327.91/2295.19	o 45711783
2330.81/2298.02	o 45711781
2330.81/2298.02	o 45711779
2331.17/2298.31	o 45711777
2334.64/2301.73	o 45711776
2334.74/2301.85	o 45711775
2365.02/2331.53	o 45711774
2367.89/2334.34	o 45711773
2367.89/2334.36	o 45711768
2367.99/2334.40	o 45711767
2368.19/2334.65	o 45711764
2396.64/2362.54	o 45711763
2396.64/2362.58	o 45711762
2396.74/2362.64	o 45711761
2399.40/2365.26	o 45711755
2399.40/2365.26	o 45711753
2399.50/2365.33	o 45711752
2399.50/2365.37	o 45711751
2399.60/2365.46	o 45711750
2400.00/2365.81	o 45711749
2402.75/2368.55	o 45711745
2402.95/2368.79	o 45711744
2403.05/2368.80	o 45711743
2403.05/2368.87	o 45711742
2406.29/2372.07	o 45711741
2443.34/2408.30	o 45711740
2443.34/2408.32	o 45711739
2443.34/2408.36	o 45711735
2443.91/2408.89	o 45711734
2446.71/2411.62	o 45711730
2446.71/2411.63	o 45711729
2446.81/2411.71	o 45711724
2446.98/2411.88	o 45711723
2447.38/2412.22	o 45711714
2450.08/2414.99	o 45711712
2450.08/2415.00	o 45711704
2450.19/2415.08	o 45711702
2450.19/2415.09	o 45711696
2450.19/2415.09	o 45711695
2450.65/2415.40	o 45711690
2453.60/2418.31	o 45711689
2463.30/2427.81	o 45711686
2476.76/2441.05	o 45711685
2476.76/2441.06	o 45711684
2477.12/2441.36	o 45711681
2479.93/2444.11	o 45711680
2479.93/2444.12	o 45711679
2480.29/2444.46	o 45711678
2520.00/2483.40	s SATISFIABLE
2520.00/2483.41	v <instantiation>
2520.00/2483.41	v 	<list>
2520.00/2483.41	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] 
2520.00/2483.41	v 	</list>
2520.00/2483.41	v 	<values>
2520.00/2483.41	v 		2624 2720 2532 2296 2568 2628 2140 2416 2660 2620 2520 2224 2192 2708 2120 2220 2584 2656 2120 2664 2696 2696 2376 2660 2272 2212 2596 2180 2684 2636 2180 2644 2660 2648 2720 2528 2180 2180 2528 2276 2524 2584 2660 2236 2160 2220 2468 2188 2668 2440 2660 2416 2656 2588 2324 2680 2700 2180 2364 2160 2544 2628 2680 2320 2620 2604 2232 2644 2160 2256 2660 2684 2688 2640 2696 2180 2404 2216 2700 2140 2392 2652 2192 2176 2480 2644 2152 2560 2640 2448 2668 2568 2656 2596 2488 2568 2624 2140 2444 2352 2220 2660 2604 2668 2428 2656 2428 2360 2620 2184 2644 2204 2556 2700 2140 2600 2372 2624 2660 2232 2200 2528 2700 2664 2244 2680 2192 2700 2660 2620 2644 2232 2484 2620 2148 2708 2160 2700 2660 2388 2120 2252 2376 2696 2180 2492 2660 2412 2604 2692 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 7 1 0 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 7 0 0 0 0 1 0 9 0 9 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 8 0 0 0 9 0 0 4 0 0 0 0 0 0 0 0 1 1 3 0 4 0 1 9 0 1 5 0 0 0 5 0 0 2 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 8 0 0 0 0 0 9 1 1 0 0 0 7 0 5 0 0 1 0 0 8 0 0 8 0 0 0 0 0 0 1 0 5 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 3 0 0 8 0 0 1 1 0 4 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 6 0 0 2 0 0 8 0 0 7 0 0 0 0 1 0 0 0 0 1 4 0 0 0 0 2 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 2 8 9 1 9 0 0 8 0 0 0 1 0 0 0 9 7 7 0 4 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 4 0 0 0 0 0 0 0 0 7 0 4 0 0 0 0 0 0 0 0 0 0 0 0 1 0 9 0 9 0 0 0 9 0 0 1 0 0 3 0 0 0 0 0 0 0 0 9 0 1 0 4 0 0 6 1 0 1 0 0 1 0 0 3 9 0 0 1 0 0 0 0 9 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 7 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 1 0 0 1 0 0 4 1 5 1 1 0 0 7 7 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 9 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 2 0 0 0 8 9 0 0 0 0 4 0 0 0 0 0 0 0 36 72 36 304 60 64 136 200 600 60 508 124 52 540 40 292 292 600 228 132 188 212 300 164 272 116 156 360 64 28 348 244 112 72 52 36 124 448 104 32 392 160 24 448 436 200 80 388 20 80 40 264 456 504 560 92 112 272 104 192 296 228 244 52 92 236 228 276 4 64 136 220 480 296 180 440 468 40 48 396 96 388 364 68 480 468 44 24 472 80 128 300 400 308 200 344 72 168 148 180 460 424 476 404 396 420 204 476 184 336 464 508 32 492 496 212 508 200 448 508 436 24 88 64 60 576 308 580 132 52 40 368 60 464 68 384 436 12 100 112 404 136 396 16 96 72 36 476 516 284 60 136 112 80 268 136 448 516 112 16 136 72 168 76 36 420 332 376 480 304 44 520 28 76 512 36 536 280 212 228 72 192 280 192 284 144 324 116 132 72 32 92 232 36 92 52 392 388 424 376 428 268 432 388 20 432 448 416 68 320 44 404 112 112 64 220 64 464 76 416 40 172 32 424 40 156 56 124 324 52 92 16 60 456 420 24 208 16 152 488 348 20 516 36 472 476 308 388 520 464 368 408 36 412 52 56 524 72 296 20 40 120 8 52 160 204 52 60 52 560 488 76 580 292 580 76 488 600 132 172 92 172 380 448 516 304 348 520 480 488 248 376 40 520 464 368 100 208 48 172 168 56 392 392 92 72 76 384 344 420 136 20 372 100 320 176 136 96 136 424 404 208 92 444 104 48 500 40 408 76 384 404 464 156 416 84 408 424 460 444 528 540 480 436 520 440 36 172 348 132 404 476 272 116 232 224 192 472 8 456 68 8 512 520 28 124 12 468 64 228 236 116 208 252 244 500 428 28 256 180 36 32 236 204 200 64 240 204 480 176 516 36 356 108 372 68 144 408 356 296 108 120 372 360 76 488 528 80 72 296 48 220 256 80 560 100 96 516 300 440 444 324 276 212 256 260 336 300 332 328 192 268 96 152 140 24 60 112 404 76 52 72 408 28 252 476 268 64 128 340 172 388 68 480 48 64 500 368 444 56 388 444 96 424 56 388 216 460 116 496 232 232 508 460 228 20 252 188 36 400 108 404 40 428 460 504 468 64 36 12 24 248 280 440 20 480 292 324 224 444 420 232 164 252 264 344 492 508 560 80 552 464 64 520 268 264 164 212 8 84 84 468 28 264 44 452 432 468 448 480 448 56 212 516 180 124 52 52 288 48 504 412 48 472 468 540 112 116 132 84 16 268 20 24 396 408 388 52 208 176 248 204 448 24 296 184 40 548 100 76 192 36 404 436 220 68 40 172 220 100 88 76 180 272 36 68 304 212 504 560 20 520 40 224 84 200 216 212 268 172 448 400 424 488 100 416 480 176 464 372 112 520 280 548 244 216 288 268 196 308 268 284 128 460 440 60 496 452 496 48 456 496 208 28 312 408 396 140 172 272 100 224 288 272 288 140 76 112 188 492 40 96 44 124 448 12 508 468 16 272 284 208 16 64 136 176 120 472 512 40 580 168 160 512 56 
2520.00/2483.41	v 	</values>
2520.00/2483.41	v </instantiation>

Verifier Data 

OK	45711678

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298979-1532795762/watcher-4298979-1532795762 -o /tmp/evaluation-result-4298979-1532795762/solver-4298979-1532795762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15807 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298979-1532795762.xml --timelimit 2520 

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

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

solver pid=17964, runsolver pid=17961

[startup+0.101133 s]*
/proc/loadavg: 2.31 1.67 1.45 3/219 17979
/proc/meminfo: memFree=18719608/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661056 memory=26392 CPUtime=0.13 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 5494 0 0 0 11 2 0 0 20 0 15 0 97139431 10916921344 6598 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665264 6598 2832 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 3387 0 0 0 8 1 0 0 20 0 15 0 97139432 10916921344 6598 33554432000 4194304 4196468 140725648586560 139775250483952 139775246273942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661056 memory=5793855488348514745 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 6598 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774737217056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97139435 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0.01 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) R 17961 17964 15776 0 -1 4202560 300 0 0 0 1 0 0 0 20 0 15 0 97139437 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139438 10916921344 6598 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 26392 KiB

[startup+0.210809 s]*
/proc/loadavg: 2.31 1.67 1.45 4/219 17979
/proc/meminfo: memFree=18708072/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661056 memory=38584 CPUtime=0.34 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 8281 0 0 0 31 3 0 0 20 0 15 0 97139431 10916921344 9646 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665264 9646 2965 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 5208 0 0 0 19 1 0 0 20 0 15 0 97139432 10916921344 9646 33554432000 4194304 4196468 140725648586560 139775250500416 139775246283933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661056 memory=4211973963543412106 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 9646 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774737217056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97139435 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) R 17961 17964 15776 0 -1 1077944384 777 0 0 0 3 0 0 0 20 0 15 0 97139437 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) R 17961 17964 15776 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 15 0 97139437 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774733007088 139775225915984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0.08 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) R 17961 17964 15776 0 -1 4202560 858 0 0 0 8 0 0 0 20 0 15 0 97139437 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774731952096 139775231427662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139438 10916921344 9646 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 38584 KiB

[startup+0.310708 s]*
/proc/loadavg: 2.31 1.67 1.45 4/219 17979
/proc/meminfo: memFree=18661972/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661056 memory=90692 CPUtime=0.55 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 8963 0 0 0 51 4 0 0 20 0 15 0 97139431 10916921344 22673 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665264 22673 3034 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661056 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 5249 0 0 0 27 3 0 0 20 0 15 0 97139432 10916921344 22673 33554432000 4194304 4196468 140725648586560 139775250500416 139774882763550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661056 memory=4211973963543412106 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 22673 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661056 memory=280474530507136 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661056 memory=280474383798784 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661056 memory=140237191885583 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139433 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661056 memory=280474530516352 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661056 memory=140237191890191 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774737217056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661056 memory=140237191908304 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97139435 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661056 memory=140237191912282 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661056 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) R 17961 17964 15776 0 -1 4202560 1006 0 0 0 8 0 0 0 20 0 15 0 97139437 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774734059888 139775230648700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661056 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) R 17961 17964 15776 0 -1 4202560 294 0 0 0 4 0 0 0 20 0 15 0 97139437 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774733007088 139775225522696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661056 memory=140237338621568 CPUtime=0.11 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 1045 0 0 0 11 0 0 0 20 0 15 0 97139437 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661056 memory=140237338647960 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139438 10916921344 23185 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 90692 KiB

[startup+0.700953 s]
/proc/loadavg: 2.31 1.67 1.45 7/219 17979
/proc/meminfo: memFree=18442396/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661056 memory=393100 CPUtime=1.57 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 11961 0 0 0 124 33 0 0 20 0 15 0 97139431 10916921344 98275 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665264 98275 3073 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661056 memory=56 CPUtime=0.56 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) S 17961 17964 15776 0 -1 1077944384 5286 0 0 0 50 6 0 0 20 0 15 0 97139432 10916921344 98275 33554432000 4194304 4196468 140725648586560 139775250501264 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) R 17961 17964 15776 0 -1 4202560 174 0 0 0 5 6 0 0 20 0 15 0 97139433 10916921344 98275 33554432000 4194304 4196468 140725648586560 139775215975056 139775239358740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) R 17961 17964 15776 0 -1 4202560 168 0 0 0 5 6 0 0 20 0 15 0 97139433 10916921344 98275 33554432000 4194304 4196468 140725648586560 139774851942816 139775239361707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661056 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) R 17961 17964 15776 0 -1 4202560 160 0 0 0 4 6 0 0 20 0 15 0 97139433 10916921344 98275 33554432000 4194304 4196468 140725648586560 139774850890128 139775239364724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661056 memory=8320808402719684661 CPUtime=0.11 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) R 17961 17964 15776 0 -1 4202560 188 0 0 0 5 6 0 0 20 0 15 0 97139433 10916921344 98275 33554432000 4194304 4196468 140725648586560 139774849837528 139775239364724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661056 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 98275 33554432000 4194304 4196468 140725648586560 139774738269600 139775246272213 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661056 memory=796 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97139434 10916921344 98275 33554432000 4194304 4196468 140725648586560 139774737217056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661056 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97139435 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661056 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661056 memory=1200 CPUtime=0.16 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 1518 0 0 0 16 0 0 0 20 0 15 0 97139437 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661056 memory=12136 CPUtime=0.23 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 1846 0 0 0 23 0 0 0 20 0 15 0 97139437 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661056 memory=1008 CPUtime=0.12 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 1177 0 0 0 12 0 0 0 20 0 15 0 97139437 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661056 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661056 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97139438 10916921344 98787 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 393100 KiB

[startup+1.50085 s]
/proc/loadavg: 2.31 1.67 1.45 8/219 17979
/proc/meminfo: memFree=18177780/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661132 memory=634228 CPUtime=3.34 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 14666 0 0 0 284 50 0 0 20 0 15 0 97139431 10916999168 158557 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665283 158557 3145 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661132 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 5645 0 0 0 118 7 0 0 20 0 15 0 97139432 10916999168 158557 33554432000 4194304 4196468 140725648586560 139775250499720 139774883856344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661132 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 622 0 0 0 12 9 0 0 20 0 15 0 97139433 10916999168 158557 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661132 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 386 0 0 0 10 10 0 0 20 0 15 0 97139433 10916999168 158557 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661132 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 512 0 0 0 10 9 0 0 20 0 15 0 97139433 10916999168 158557 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661132 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 442 0 0 0 11 10 0 0 20 0 15 0 97139433 10916999168 158557 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 15 0 97139434 10916999168 158557 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0

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

/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 824179 0 0 0 231108 129 0 0 20 0 15 0 97139432 10916999168 864151 33554432000 4194304 4196468 140725648586560 139775250502928 139774888820182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661132 memory=3452464 CPUtime=9.16 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 115900 0 0 0 820 96 0 0 20 0 15 0 97139433 10916999168 864151 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661132 memory=3452184 CPUtime=9.12 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 98926 0 0 0 817 95 0 0 20 0 15 0 97139433 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661132 memory=3452664 CPUtime=9.09 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 122435 0 0 0 813 96 0 0 20 0 15 0 97139433 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661132 memory=3456272 CPUtime=9.13 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 120142 0 0 0 814 99 0 0 20 0 15 0 97139433 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661132 memory=3456280 CPUtime=0.54 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 18812 0 0 0 47 7 0 0 20 0 15 0 97139434 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661132 memory=3456280 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 97139434 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774737217120 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661132 memory=3456604 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 97139435 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661132 memory=3456604 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661132 memory=280474384976976 CPUtime=1.94 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 11183 0 0 0 193 1 0 0 20 0 15 0 97139437 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661132 memory=3456280 CPUtime=2.14 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 14170 0 0 0 212 2 0 0 20 0 15 0 97139437 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661132 memory=4132 CPUtime=0.62 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 9002 0 0 0 61 1 0 0 20 0 15 0 97139437 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661132 memory=3456604 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661132 memory=3456280 CPUtime=1.42 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1870 0 0 0 70 72 0 0 20 0 15 0 97139438 10916999168 864151 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 2355.66 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3456604 KiB

[startup+2382.3 s]
/proc/loadavg: 1.57 1.64 1.68 3/220 18155
/proc/meminfo: memFree=19980180/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661132 memory=3460704 CPUtime=2416.83 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 1349590 0 0 0 241094 589 0 0 20 0 15 0 97139431 10916999168 865176 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665283 865176 3195 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661132 memory=3460528 CPUtime=2371.96 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 826397 0 0 0 237066 130 0 0 20 0 15 0 97139432 10916999168 865176 33554432000 4194304 4196468 140725648586560 139775250502928 139774888822645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661132 memory=3460704 CPUtime=9.54 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 117885 0 0 0 858 96 0 0 20 0 15 0 97139433 10916999168 865176 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661132 memory=3460516 CPUtime=9.52 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 101146 0 0 0 856 96 0 0 20 0 15 0 97139433 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661132 memory=3460704 CPUtime=9.47 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 124700 0 0 0 851 96 0 0 20 0 15 0 97139433 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661132 memory=3460244 CPUtime=9.52 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 122637 0 0 0 852 100 0 0 20 0 15 0 97139433 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661132 memory=5860704122851453014 CPUtime=0.56 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 19097 0 0 0 48 8 0 0 20 0 15 0 97139434 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661132 memory=3460516 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 97139434 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774737217120 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661132 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 97139435 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661132 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661132 memory=2196 CPUtime=1.94 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 11186 0 0 0 193 1 0 0 20 0 15 0 97139437 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661132 memory=3460704 CPUtime=2.15 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 14172 0 0 0 213 2 0 0 20 0 15 0 97139437 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661132 memory=4132 CPUtime=0.62 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 9004 0 0 0 61 1 0 0 20 0 15 0 97139437 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661132 memory=3460660 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661132 memory=3460660 CPUtime=1.45 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1896 0 0 0 71 74 0 0 20 0 15 0 97139438 10916999168 865176 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 2416.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3460704 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.69 1.69 3/220 18156
/proc/meminfo: memFree=19978104/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661132 memory=3462748 CPUtime=2478.12 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 1360773 0 0 0 247218 594 0 0 20 0 15 0 97139431 10916999168 865687 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665283 865687 3195 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661132 memory=3462748 CPUtime=2431.51 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 828896 0 0 0 243018 133 0 0 20 0 15 0 97139432 10916999168 865687 33554432000 4194304 4196468 140725648586560 139775250502928 139774888820104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661132 memory=3460704 CPUtime=9.96 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 119774 0 0 0 900 96 0 0 20 0 15 0 97139433 10916999168 865687 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661132 memory=3460708 CPUtime=9.94 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 103693 0 0 0 898 96 0 0 20 0 15 0 97139433 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661132 memory=3462756 CPUtime=9.9 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 126776 0 0 0 894 96 0 0 20 0 15 0 97139433 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661132 memory=3462748 CPUtime=9.95 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 124493 0 0 0 895 100 0 0 20 0 15 0 97139433 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661132 memory=3462748 CPUtime=0.57 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 19367 0 0 0 49 8 0 0 20 0 15 0 97139434 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661132 memory=3462748 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 97139434 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774737217120 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661132 memory=3462748 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 97139435 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661132 memory=3462760 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661132 memory=956 CPUtime=1.94 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 11188 0 0 0 193 1 0 0 20 0 15 0 97139437 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661132 memory=3462748 CPUtime=2.15 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 14175 0 0 0 213 2 0 0 20 0 15 0 97139437 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661132 memory=4620 CPUtime=0.62 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 9006 0 0 0 61 1 0 0 20 0 15 0 97139437 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661132 memory=3462760 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661132 memory=1404 CPUtime=1.49 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1935 0 0 0 73 76 0 0 20 0 15 0 97139438 10916999168 865687 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 2478.12 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3462748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2483.4 s]
/proc/loadavg: 1.84 1.71 1.70 3/219 18156
/proc/meminfo: memFree=19978608/32770624 swapFree=67108860/67108860
[pid=17964] ppid=17961 vsize=10661132 memory=3462744 CPUtime=2520 cores=0,2,4,6
/proc/17964/stat : 17964 (java) S 17961 17964 15776 0 -1 1077944320 1363842 0 0 0 251403 597 0 0 20 0 15 0 97139431 10916999168 865686 33554432000 4194304 4196468 140725648586560 140725648569104 139775246262007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
/proc/17964/statm: 2665283 865686 3195 1 0 2627263 0
[pid=17964/tid=17966] ppid=17961 vsize=10661132 memory=3462748 CPUtime=2472.34 cores=0,2,4,6
/proc/17964/task/17966/stat : 17966 (java) R 17961 17964 15776 0 -1 4202560 829822 0 0 0 247100 134 0 0 20 0 15 0 97139432 10916999168 865686 33554432000 4194304 4196468 140725648586560 139775250502928 139774888819873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17967] ppid=17961 vsize=10661132 memory=6791534058613427641 CPUtime=10.21 cores=0,2,4,6
/proc/17964/task/17967/stat : 17967 (java) S 17961 17964 15776 0 -1 1077944384 120489 0 0 0 925 96 0 0 20 0 15 0 97139433 10916999168 865686 33554432000 4194304 4196468 140725648586560 139775215975056 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17968] ppid=17961 vsize=10661132 memory=4620 CPUtime=10.19 cores=0,2,4,6
/proc/17964/task/17968/stat : 17968 (java) S 17961 17964 15776 0 -1 1077944384 103893 0 0 0 923 96 0 0 20 0 15 0 97139433 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774851942928 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17969] ppid=17961 vsize=10661132 memory=15872 CPUtime=10.15 cores=0,2,4,6
/proc/17964/task/17969/stat : 17969 (java) S 17961 17964 15776 0 -1 1077944384 127384 0 0 0 919 96 0 0 20 0 15 0 97139433 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774850890128 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17970] ppid=17961 vsize=10661132 memory=16312 CPUtime=10.2 cores=0,2,4,6
/proc/17964/task/17970/stat : 17970 (java) S 17961 17964 15776 0 -1 1077944384 124984 0 0 0 920 100 0 0 20 0 15 0 97139433 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774849837328 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17971] ppid=17961 vsize=10661132 memory=18276 CPUtime=0.58 cores=0,2,4,6
/proc/17964/task/17971/stat : 17971 (java) S 17961 17964 15776 0 -1 1077944384 19470 0 0 0 50 8 0 0 20 0 15 0 97139434 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774738271088 139775246273154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17972] ppid=17961 vsize=10661132 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17972/stat : 17972 (java) S 17961 17964 15776 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 97139434 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774737217120 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17973] ppid=17961 vsize=10661132 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17973/stat : 17973 (java) S 17961 17964 15776 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 15 0 97139435 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774736164208 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17974] ppid=17961 vsize=10661132 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17974/stat : 17974 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774735112528 139775246280603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17975] ppid=17961 vsize=10661132 memory=77219217032814 CPUtime=1.94 cores=0,2,4,6
/proc/17964/task/17975/stat : 17975 (java) S 17961 17964 15776 0 -1 1077944384 11189 0 0 0 193 1 0 0 20 0 15 0 97139437 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774734059888 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17976] ppid=17961 vsize=10661132 memory=6944656425123094137 CPUtime=2.15 cores=0,2,4,6
/proc/17964/task/17976/stat : 17976 (java) S 17961 17964 15776 0 -1 1077944384 14175 0 0 0 213 2 0 0 20 0 15 0 97139437 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774733007088 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17977] ppid=17961 vsize=10661132 memory=-6876588628788076935 CPUtime=0.62 cores=0,2,4,6
/proc/17964/task/17977/stat : 17977 (java) S 17961 17964 15776 0 -1 1077944384 9006 0 0 0 61 1 0 0 20 0 15 0 97139437 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774731954288 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17978] ppid=17961 vsize=10661132 memory=6944613755395144096 CPUtime=0 cores=0,2,4,6
/proc/17964/task/17978/stat : 17978 (java) S 17961 17964 15776 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97139437 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774730901728 139775246272213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
[pid=17964/tid=17979] ppid=17961 vsize=10661132 memory=6791534058613427641 CPUtime=1.52 cores=0,2,4,6
/proc/17964/task/17979/stat : 17979 (java) S 17961 17964 15776 0 -1 1077944384 1960 0 0 0 74 78 0 0 20 0 15 0 97139438 10916999168 865686 33554432000 4194304 4196468 140725648586560 139774729850032 139775246273154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21184512 140725648589980 140725648590089 140725648590089 140725648592847 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 3462744 KiB

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

[startup+2483.43 s]
# the end of solver process 17964 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.06 s, system=5.9961 s

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

Child status: 143
Real time (s): 2483.43
CPU time (s): 2520.05
CPU user time (s): 2514.06
CPU system time (s): 5.9961
CPU usage (%): 101.475
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 5916604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.06
system time used= 5.9961
maximum resident set size= 5917400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1365218
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= 63393
involuntary context switches= 3022


# summary of solver processes directly reported to runsolver:
#   pid: 17964
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2514.06
#   total CPU system time (s): 5.9961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2386 second user time and 22.553 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 18:36:03
IDJOB=4298979
IDBENCH=141278
IDSOLVER=2765
FILE ID=node132/4298979-1532795762
RUNJOBID= node132-1532775768-15807
PBS_JOBID= 21022466
Free space on /tmp= 51540 MiB

SOLVER NAME= slowpoke 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test01-0150_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298979-1532795762/watcher-4298979-1532795762 -o /tmp/evaluation-result-4298979-1532795762/solver-4298979-1532795762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532775768-15807 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298979-1532795762.xml --timelimit 2520

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

MD5SUM BENCH= 0e4565184fd00ba85c2da13ba2e2ff53
RANDOM SEED=173867815

node132.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.65
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.65
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.65
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.65
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:        18734736 kB
MemAvailable:   27496224 kB
Buffers:          207204 kB
Cached:          8756644 kB
SwapCached:            0 kB
Active:          7537676 kB
Inactive:        5905480 kB
Active(anon):    4429316 kB
Inactive(anon):    77832 kB
Active(file):    3108360 kB
Inactive(file):  5827648 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            138004 kB
Writeback:             0 kB
AnonPages:       4451388 kB
Mapped:            54936 kB
Shmem:             25248 kB
Slab:             282384 kB
SReclaimable:     253940 kB
SUnreclaim:        28444 kB
KernelStack:        3568 kB
PageTables:        13864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5163608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4333568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 51904 MiB
End job on node132 at 2018-07-28 19:17:26