Trace number 4291729

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)1487688 2400.12 2378.92

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2501073
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.56	c seed: 724687093
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.70/1.93	c Parsing done, starting search...
3.99/2.07	o 1161587
4.86/2.46	o 1171268
4.86/2.48	o 1175107
4.86/2.48	o 1180458
4.86/2.48	o 1184704
4.86/2.48	o 1192506
6.21/2.90	o 1198695
6.21/2.90	o 1202005
6.21/2.90	o 1208787
6.21/2.90	o 1210221
6.21/2.90	o 1220180
6.21/2.90	o 1223181
6.21/2.90	o 1229853
6.21/2.90	o 1230542
6.21/2.90	o 1232213
6.21/2.90	o 1232902
6.21/2.90	o 1238243
6.21/2.90	o 1238932
6.21/2.90	o 1244069
6.21/2.90	o 1252202
6.21/2.90	o 1253382
6.21/2.90	o 1253563
6.21/2.90	o 1253601
6.21/2.90	o 1254554
6.21/2.90	o 1254735
6.21/2.90	o 1256289
6.21/2.90	o 1256470
6.21/2.90	o 1256978
6.21/2.90	o 1257159
6.21/2.90	o 1257650
6.21/2.90	o 1257831
6.21/2.90	o 1258520
6.21/2.90	o 1262311
6.21/2.90	o 1263445
6.21/2.90	o 1263818
6.21/2.90	o 1264496
6.21/2.90	o 1264677
6.21/2.90	o 1265051
6.21/2.90	o 1265740
6.21/2.90	o 1267101
6.21/2.90	o 1271528
6.21/2.90	o 1272916
6.21/2.90	o 1273206
6.21/2.90	o 1274148
6.21/2.90	o 1275509
6.21/2.90	o 1277278
6.21/2.90	o 1278510
6.21/2.90	o 1280986
6.21/2.90	o 1283987
6.21/2.90	o 1285219
6.21/2.90	o 1285593
6.21/2.90	o 1287138
6.21/2.90	o 1287469
6.21/2.90	o 1289014
6.21/2.90	o 1293961
6.21/2.90	o 1295193
6.21/2.90	o 1298327
6.21/2.90	o 1300263
6.21/2.90	o 1303284
6.21/2.90	o 1305220
6.21/2.90	o 1308221
6.21/2.90	o 1308350
6.21/2.90	o 1309582
6.21/2.90	o 1311437
6.21/2.90	o 1313077
6.21/2.90	o 1314438
6.21/2.90	o 1314700
6.21/2.90	o 1319647
6.21/2.90	o 1321287
6.21/2.90	o 1322648
6.21/2.90	o 1323680
6.21/2.90	o 1326683
6.21/2.90	o 1327081
6.21/2.90	o 1327759
6.21/2.90	o 1332716
6.21/2.90	o 1334077
6.21/2.90	o 1334485
6.21/2.90	o 1335846
6.21/2.90	o 1337078
6.21/2.90	o 1338340
6.21/2.90	o 1340276
6.21/2.90	o 1341637
6.21/2.90	o 1341932
6.21/2.90	o 1343771
6.21/2.90	o 1343922
6.21/2.90	o 1344935
6.21/2.90	o 1346774
6.21/2.90	o 1346925
6.21/2.90	o 1347378
6.21/2.90	o 1348923
6.21/2.90	o 1354953
6.21/2.90	o 1359910
6.21/2.90	o 1364857
6.21/2.90	o 1365152
6.21/2.90	o 1366214
6.21/2.90	o 1366991
6.21/2.90	o 1367142
6.21/2.90	o 1367575
6.21/2.90	o 1368352
6.21/2.90	o 1368503
6.21/2.90	o 1369419
6.21/2.90	o 1371258
6.21/2.90	o 1371789
6.21/2.90	o 1371940
6.21/2.90	o 1372490
6.21/2.90	o 1373709
6.21/2.90	o 1374164
6.21/2.90	o 1374941
6.21/2.90	o 1375340
6.21/2.90	o 1375491
6.21/2.90	o 1375602
6.21/2.90	o 1376152
6.21/2.90	o 1380559
6.21/2.90	o 1381109
6.21/2.90	o 1382693
6.21/2.90	o 1382844
6.21/2.90	o 1383243
6.21/2.90	o 1383394
6.21/2.94	o 1383690
6.21/2.94	o 1383841
6.21/2.98	o 1388430
6.21/2.98	o 1388725
6.21/2.98	o 1390564
6.21/2.98	o 1390715
6.21/2.99	o 1391299
6.21/2.99	o 1391925
6.21/2.99	o 1392076
6.21/3.00	o 1392626
6.88/3.55	o 1393117
6.88/3.55	o 1394059
6.88/3.55	o 1395995
6.88/3.55	o 1397834
6.88/3.55	o 1398418
6.88/3.55	o 1399195
6.88/3.58	o 1399483
6.88/3.58	o 1401419
6.88/3.58	o 1402196
7.18/3.82	o 1403280
7.18/3.82	o 1405178
7.18/3.82	o 1413104
7.18/3.83	o 1413285
7.18/3.83	o 1413782
7.18/3.83	o 1413963
7.18/3.83	o 1415143
7.18/3.83	o 1415324
7.18/3.84	o 1415920
7.18/3.84	o 1416101
7.18/3.85	o 1416470
7.18/3.85	o 1416651
7.54/4.12	o 1418219
7.63/4.23	o 1418387
7.63/4.23	o 1419164
7.63/4.24	o 1420396
7.63/4.27	o 1420525
7.63/4.27	o 1421757
7.73/4.32	o 1422307
8.39/4.93	o 1422842
8.39/4.93	o 1423607
8.39/4.93	o 1424549
8.39/4.94	o 1425099
8.66/5.15	o 1425774
8.66/5.15	o 1426324
74.34/70.68	o 1426538
74.34/70.68	o 1427315
74.34/70.68	o 1427560
74.34/70.68	o 1428153
74.44/70.72	o 1428703
77.94/74.22	o 1429588
77.94/74.22	o 1429607
77.94/74.29	o 1430129
77.94/74.29	o 1430226
77.94/74.29	o 1430974
77.94/74.29	o 1432065
78.14/74.42	o 1432783
78.14/74.42	o 1433874
78.14/74.42	o 1434651
78.34/74.63	o 1434694
78.34/74.66	o 1434999
78.34/74.66	o 1435244
79.64/75.92	o 1436130
79.64/75.92	o 1436907
172.52/168.31	o 1437071
172.52/168.31	o 1437182
172.52/168.32	o 1437505
172.52/168.32	o 1437616
179.37/175.18	o 1437896
179.37/175.18	o 1438007
179.37/175.18	o 1438141
179.37/175.19	o 1438252
179.37/175.19	o 1438876
179.37/175.19	o 1438987
179.37/175.19	o 1439653
179.37/175.19	o 1439764
179.47/175.23	o 1440082
179.47/175.23	o 1440193
179.47/175.23	o 1440233
179.47/175.23	o 1440344
179.47/175.24	o 1440478
179.47/175.24	o 1440589
179.47/175.24	o 1441745
179.47/175.24	o 1441856
179.47/175.24	o 1441990
179.47/175.24	o 1442101
179.47/175.25	o 1442767
179.47/175.25	o 1442878
179.58/175.36	o 1443072
179.58/175.36	o 1443183
179.58/175.36	o 1443317
179.58/175.36	o 1443428
632.89/625.84	o 1443793
632.89/625.84	o 1443904
632.89/625.84	o 1444149
633.21/626.11	o 1445352
633.21/626.11	o 1445597
634.51/627.41	o 1445869
634.51/627.42	o 1446646
634.51/627.42	o 1446891
634.71/627.62	o 1447821
634.71/627.62	o 1448598
647.30/640.13	o 1448811
647.30/640.16	o 1449056
661.69/654.41	o 1450126
661.69/654.43	o 1450955
661.69/654.43	o 1451200
665.71/658.41	o 1451696
830.18/821.77	o 1451951
923.17/914.04	o 1451967
929.40/920.27	o 1452064
929.40/920.27	o 1452363
1056.33/1046.24	o 1452484
1056.33/1046.24	o 1453627
1056.33/1046.25	o 1453636
1056.33/1046.25	o 1454580
1056.33/1046.25	o 1454731
1056.53/1046.45	o 1454940
1078.52/1068.24	o 1455193
1078.52/1068.24	o 1455488
1078.52/1068.24	o 1455639
1078.52/1068.24	o 1456592
1078.52/1068.25	o 1456743
1078.52/1068.25	o 1457327
1078.52/1068.25	o 1457478
1078.52/1068.26	o 1457491
1078.52/1068.26	o 1459840
1078.52/1068.26	o 1461566
1078.52/1068.28	o 1461775
1703.43/1688.55	o 1462753
1708.26/1693.33	o 1462904
1720.48/1705.45	o 1463694
1793.59/1777.93	o 1464133
1859.68/1843.40	o 1464690
1859.78/1843.54	o 1464948
1859.78/1843.54	o 1465018
1859.78/1843.54	o 1466103
1859.78/1843.54	o 1467364
1859.78/1843.55	o 1467811
1859.78/1843.55	o 1469149
1859.78/1843.55	o 1470410
1859.89/1843.65	o 1470469
1859.89/1843.69	o 1470691
1859.99/1843.70	o 1470692
1859.99/1843.70	o 1472030
1859.99/1843.70	o 1473291
1859.99/1843.70	o 1473737
1894.90/1878.35	o 1474121
2211.26/2191.90	o 1474133
2211.26/2191.90	o 1474580
2211.26/2191.90	o 1476627
2211.26/2191.90	o 1477074
2211.26/2191.90	o 1477435
2211.26/2191.91	o 1478303
2211.56/2192.28	o 1479399
2217.41/2198.05	o 1479889
2217.41/2198.05	o 1481434
2217.41/2198.05	o 1482302
2336.72/2316.20	o 1482970
2336.72/2316.21	o 1485469
2369.04/2348.26	o 1485581
2369.04/2348.26	o 1486870
2385.32/2364.32	o 1487688
2400.08/2378.90	s SATISFIABLE
2400.08/2378.91	v <instantiation>
2400.08/2378.91	v 	<list>
2400.08/2378.91	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2400.08/2378.91	v 	</list>
2400.08/2378.91	v 	<values>
2400.08/2378.91	v 		1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2400.08/2378.91	v 	</values>
2400.08/2378.91	v </instantiation>

Verifier Data 

OK	1487688

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291729-1532257803/watcher-4291729-1532257803 -o /tmp/evaluation-result-4291729-1532257803/solver-4291729-1532257803 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 724687093 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291729-1532257803.xml 

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

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


[startup+0.100166 s]*
/proc/loadavg: 1.81 1.75 1.71 3/219 2501
/proc/meminfo: memFree=19880984/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14082740 memory=31804 CPUtime=0.11 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 6851 0 0 0 10 1 0 0 20 0 15 0 43343464 14420725760 7951 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3520685 7951 3152 1 0 3482761 0
[pid=2486/tid=2488] ppid=2483 vsize=14082740 memory=8940607975817108597 CPUtime=0.09 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 4896 0 0 0 8 1 0 0 20 0 15 0 43343465 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545832977152 140545828803741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14082740 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545369822496 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545368770160 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0.01 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 285 0 0 0 1 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 7951 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31804 KiB

[startup+0.210866 s]*
/proc/loadavg: 1.81 1.75 1.71 6/219 2501
/proc/meminfo: memFree=19865356/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14082740 memory=47340 CPUtime=0.3 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 10489 0 0 0 27 3 0 0 20 0 15 0 43343464 14420725760 11835 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3520685 11835 3321 1 0 3482761 0
[pid=2486/tid=2488] ppid=2483 vsize=14082740 memory=8940607975817108597 CPUtime=0.2 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 8232 0 0 0 18 2 0 0 20 0 15 0 43343465 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545833008352 140545439714608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14082740 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545369822496 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545368770160 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) R 2483 2486 30695 0 -1 4202560 509 0 0 0 2 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545366655440 140545810326349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) R 2483 2486 30695 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545365612528 140545809482112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0.05 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) R 2483 2486 30695 0 -1 1077944384 311 0 0 0 5 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 11900 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47340 KiB

[startup+0.310902 s]*
/proc/loadavg: 1.81 1.75 1.71 3/219 2501
/proc/meminfo: memFree=19861836/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14082740 memory=51192 CPUtime=0.44 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 10875 0 0 0 41 3 0 0 20 0 15 0 43343464 14420725760 12798 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3520685 12798 3427 1 0 3482761 0
[pid=2486/tid=2488] ppid=2483 vsize=14082740 memory=1404 CPUtime=0.3 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 8564 0 0 0 28 2 0 0 20 0 15 0 43343465 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545832993328 140545810345371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14082740 memory=4294969536 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14082740 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343465 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14082740 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14082740 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545369822496 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14082740 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43343467 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545368770160 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14082740 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 529 0 0 0 3 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14082740 memory=14429134847 CPUtime=0.01 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14082740 memory=140422479254760 CPUtime=0.07 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14082740 memory=280844714090480 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343470 14420725760 12798 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51192 KiB

[startup+0.700748 s]
/proc/loadavg: 1.81 1.75 1.71 3/219 2501
/proc/meminfo: memFree=19837900/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14084808 memory=90624 CPUtime=0.99 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 17579 0 0 0 94 5 0 0 20 0 15 0 43343464 14422843392 22656 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3521202 22656 3500 1 0 3483273 0
[pid=2486/tid=2488] ppid=2483 vsize=14084808 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 14895 0 0 0 63 4 0 0 20 0 15 0 43343465 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545833007232 140545812862302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14084808 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14084808 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343465 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14084808 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43343467 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14084808 memory=7014751519734519121 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43343467 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545369822496 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14084808 memory=6082790152121116775 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43343467 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545368770160 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14084808 memory=5787213827046467687 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14084808 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 675 0 0 0 9 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14084808 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 392 0 0 0 15 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343470 14422843392 22656 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90624 KiB

[startup+1.50076 s]
/proc/loadavg: 1.81 1.75 1.71 5/219 2501
/proc/meminfo: memFree=19791244/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14086856 memory=191984 CPUtime=2.98 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 24210 0 0 0 290 8 0 0 20 0 15 0 43343464 14424940544 47996 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3521714 47996 3557 1 0 3483785 0
[pid=2486/tid=2488] ppid=2483 vsize=14086856 memory=280844556353472 CPUtime=1.46 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 17317 0 0 0 140 6 0 0 20 0 15 0 43343465 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545833017080 140545444650202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14086856 memory=280844556527200 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14086856 memory=140422435911296 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43343465 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14086856 memory=280844556687984 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43343465 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14086856 memory=15542916252936085 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 15 0 43343467 14424940544 47996 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0

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

/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 45033 0 0 0 224860 27 0 0 20 0 15 0 43343465 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545833020064 140545447426115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14090952 memory=564064 CPUtime=5.73 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 6681 0 0 0 531 42 0 0 20 0 15 0 43343465 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14090952 memory=566112 CPUtime=5.76 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 6153 0 0 0 540 36 0 0 20 0 15 0 43343465 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14090952 memory=566112 CPUtime=5.71 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 7325 0 0 0 532 39 0 0 20 0 15 0 43343465 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14090952 memory=566112 CPUtime=5.75 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 5345 0 0 0 532 43 0 0 20 0 15 0 43343465 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14090952 memory=564064 CPUtime=5.69 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 6944 0 0 0 535 34 0 0 20 0 15 0 43343467 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545369822560 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14090952 memory=564064 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545368770176 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14090952 memory=566112 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14090952 memory=566112 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 6873 0 0 0 141 1 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14090952 memory=566112 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 4058 0 0 0 142 0 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14090952 memory=566112 CPUtime=0.75 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 11122 0 0 0 74 1 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14090952 memory=566112 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14090952 memory=566112 CPUtime=1.11 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1099 0 0 0 55 56 0 0 20 0 15 0 43343470 14429134848 141528 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 2282.3 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 566112 KiB

[startup+2322.3 s]
/proc/loadavg: 0.51 0.86 1.17 2/197 2617
/proc/meminfo: memFree=20432312/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14090952 memory=570216 CPUtime=2342.88 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 103345 0 0 0 234055 233 0 0 20 0 15 0 43343464 14429134848 142554 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3522738 142554 3594 1 0 3484809 0
[pid=2486/tid=2488] ppid=2483 vsize=14090952 memory=570208 CPUtime=2308.49 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 45609 0 0 0 230821 28 0 0 20 0 15 0 43343465 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545833019888 140545447493653 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14090952 memory=568160 CPUtime=5.92 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 6750 0 0 0 549 43 0 0 20 0 15 0 43343465 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14090952 memory=570216 CPUtime=5.95 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 6400 0 0 0 559 36 0 0 20 0 15 0 43343465 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14090952 memory=570216 CPUtime=5.9 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 7362 0 0 0 550 40 0 0 20 0 15 0 43343465 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14090952 memory=568160 CPUtime=5.93 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 5514 0 0 0 550 43 0 0 20 0 15 0 43343465 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14090952 memory=570216 CPUtime=5.84 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 7068 0 0 0 549 35 0 0 20 0 15 0 43343467 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14090952 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545369822560 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14090952 memory=11956 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545368770176 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14090952 memory=568160 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14090952 memory=568160 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 6875 0 0 0 141 1 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14090952 memory=570216 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 4060 0 0 0 142 0 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14090952 memory=570208 CPUtime=0.76 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 11166 0 0 0 75 1 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14090952 memory=570216 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14090952 memory=570216 CPUtime=1.14 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1116 0 0 0 57 57 0 0 20 0 15 0 43343470 14429134848 142554 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 2342.88 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 570216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.9 s]
/proc/loadavg: 0.80 0.87 1.15 2/197 2618
/proc/meminfo: memFree=20425996/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14090952 memory=576360 CPUtime=2400.08 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 104622 0 0 0 239769 239 0 0 20 0 15 0 43343464 14429134848 144090 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3522738 144090 3594 1 0 3484809 0
[pid=2486/tid=2488] ppid=2483 vsize=14090952 memory=576360 CPUtime=2364.68 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 46182 0 0 0 236440 28 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545833020048 140545447425686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14090952 memory=576360 CPUtime=6.13 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 6973 0 0 0 568 45 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14090952 memory=574312 CPUtime=6.16 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 6516 0 0 0 579 37 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14090952 memory=574312 CPUtime=6.11 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 7473 0 0 0 570 41 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14090952 memory=576360 CPUtime=6.14 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 5624 0 0 0 569 45 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14090952 memory=576360 CPUtime=6 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 7200 0 0 0 564 36 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14090952 memory=574312 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545369822560 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14090952 memory=574312 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545368770176 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14090952 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14090952 memory=576360 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 6877 0 0 0 141 1 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14090952 memory=576360 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 4062 0 0 0 142 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14090952 memory=15872 CPUtime=0.76 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 11168 0 0 0 75 1 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14090952 memory=576360 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14090952 memory=574312 CPUtime=1.17 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1122 0 0 0 58 59 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 576360 KiB

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

[startup+2378.92 s]
# the end of solver process 2486 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.72 s, system=2.39628 s

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

[startup+2378.9 s]
/proc/loadavg: 0.80 0.87 1.15 2/197 2618
/proc/meminfo: memFree=20425996/32770624 swapFree=67108860/67108860
[pid=2486] ppid=2483 vsize=14090952 memory=576360 CPUtime=2400.08 cores=0,2,4,6
/proc/2486/stat : 2486 (java) S 2483 2486 30695 0 -1 1077944320 104622 0 0 0 239769 239 0 0 20 0 15 0 43343464 14429134848 144090 33554432000 4194304 4196468 140722650468864 140722650451408 140545828781815 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
/proc/2486/statm: 3522738 144090 3594 1 0 3484809 0
[pid=2486/tid=2488] ppid=2483 vsize=14090952 memory=576360 CPUtime=2364.68 cores=0,2,4,6
/proc/2486/task/2488/stat : 2488 (java) R 2483 2486 30695 0 -1 4202560 46182 0 0 0 236440 28 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545833020048 140545447425686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2489] ppid=2483 vsize=14090952 memory=576360 CPUtime=6.13 cores=0,2,4,6
/proc/2486/task/2489/stat : 2489 (java) S 2483 2486 30695 0 -1 1077944384 6973 0 0 0 568 45 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545424538000 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2490] ppid=2483 vsize=14090952 memory=574312 CPUtime=6.16 cores=0,2,4,6
/proc/2486/task/2490/stat : 2490 (java) S 2483 2486 30695 0 -1 1077944384 6516 0 0 0 579 37 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545423485200 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2491] ppid=2483 vsize=14090952 memory=574312 CPUtime=6.11 cores=0,2,4,6
/proc/2486/task/2491/stat : 2491 (java) S 2483 2486 30695 0 -1 1077944384 7473 0 0 0 570 41 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545422432912 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2492] ppid=2483 vsize=14090952 memory=576360 CPUtime=6.14 cores=0,2,4,6
/proc/2486/task/2492/stat : 2492 (java) S 2483 2486 30695 0 -1 1077944384 5624 0 0 0 569 45 0 0 20 0 15 0 43343465 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545421380112 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2493] ppid=2483 vsize=14090952 memory=576360 CPUtime=6 cores=0,2,4,6
/proc/2486/task/2493/stat : 2493 (java) S 2483 2486 30695 0 -1 1077944384 7200 0 0 0 564 36 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545370876528 140545828792962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2494] ppid=2483 vsize=14090952 memory=574312 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2494/stat : 2494 (java) S 2483 2486 30695 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545369822560 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2495] ppid=2483 vsize=14090952 memory=574312 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2495/stat : 2495 (java) S 2483 2486 30695 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 43343467 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545368770176 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2496] ppid=2483 vsize=14090952 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2496/stat : 2496 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545367718480 140545828800411 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2497] ppid=2483 vsize=14090952 memory=576360 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2497/stat : 2497 (java) S 2483 2486 30695 0 -1 1077944384 6877 0 0 0 141 1 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545366665328 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2498] ppid=2483 vsize=14090952 memory=576360 CPUtime=1.42 cores=0,2,4,6
/proc/2486/task/2498/stat : 2498 (java) S 2483 2486 30695 0 -1 1077944384 4062 0 0 0 142 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545365612528 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2499] ppid=2483 vsize=14090952 memory=15872 CPUtime=0.76 cores=0,2,4,6
/proc/2486/task/2499/stat : 2499 (java) S 2483 2486 30695 0 -1 1077944384 11168 0 0 0 75 1 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545364560240 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2500] ppid=2483 vsize=14090952 memory=576360 CPUtime=0 cores=0,2,4,6
/proc/2486/task/2500/stat : 2500 (java) S 2483 2486 30695 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545363507680 140545828792021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
[pid=2486/tid=2501] ppid=2483 vsize=14090952 memory=574312 CPUtime=1.17 cores=0,2,4,6
/proc/2486/task/2501/stat : 2501 (java) S 2483 2486 30695 0 -1 1077944384 1122 0 0 0 58 59 0 0 20 0 15 0 43343470 14429134848 144090 33554432000 4194304 4196468 140722650468864 140545362455472 140545828792962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27074560 140722650473545 140722650473737 140722650473737 140722650476495 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 576360 KiB

Child status: 143
Real time (s): 2378.92
CPU time (s): 2400.12
CPU user time (s): 2397.72
CPU system time (s): 2.39628
CPU usage (%): 100.891
Max. virtual memory (cumulated for all children) (KiB): 14090984
Max. memory (cumulated for all children) (KiB): 626380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.72
system time used= 2.39628
maximum resident set size= 636160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199954
involuntary context switches= 6578


# summary of solver processes directly reported to runsolver:
#   pid: 2486
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2397.72
#   total CPU system time (s): 2.39628

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9618 second user time and 22.6561 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-22 13:10:03
IDJOB=4291729
IDBENCH=141152
IDSOLVER=2743
FILE ID=node132/4291729-1532257803
RUNJOBID= node132-1532226532-30726
PBS_JOBID= 21018953
Free space on /tmp= 55092 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291729-1532257803/watcher-4291729-1532257803 -o /tmp/evaluation-result-4291729-1532257803/solver-4291729-1532257803 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532226532-30726 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 724687093 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291729-1532257803.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=724687093

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:        19899652 kB
MemAvailable:   30886604 kB
Buffers:          243488 kB
Cached:         10893576 kB
SwapCached:            0 kB
Active:          3083376 kB
Inactive:        9158688 kB
Active(anon):    1107028 kB
Inactive(anon):    17036 kB
Active(file):    1976348 kB
Inactive(file):  9141652 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35592 kB
Writeback:             0 kB
AnonPages:       1299932 kB
Mapped:            49160 kB
Shmem:             17056 kB
Slab:             324752 kB
SReclaimable:     297412 kB
SUnreclaim:        27340 kB
KernelStack:        3888 kB
PageTables:         7412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2098396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 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= 55092 MiB
End job on node132 at 2018-07-22 13:49:42