Trace number 4409742

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
cosoco 2.0 parallelSAT (TO)1870470 20122.4 2520.02

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
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

2.54/0.56	c
2.54/0.56	c This is cosoco 2.00 --  
2.54/0.56	c
2.54/0.56	c command line: cosoco -model -nbcores=8 HOME/instance-4409742-1569840257.xml 
2.54/0.56	c enable optimization
2.54/0.56	c ========================================[ Problem Statistics ]===========================================
2.54/0.56	c |                                                                                                       
2.54/0.56	c |  Parse time        :         0.19 s 
2.54/0.56	c |
2.54/0.56	c |               Variables: 2000
2.54/0.56	c |            Domain Sizes: 2..2
2.54/0.56	c |
2.54/0.56	c |             Constraints: 301
2.54/0.56	c |                   Arity: 17..2000
2.54/0.56	c | 
2.54/0.56	c |                   Types: 
2.54/0.56	c |                          Sum: 301
2.54/0.56	c |                          
2.54/0.56	c |               Objective: Maximize Sum
2.54/0.56	
2.54/0.56	c =========================================================================================================
2.54/0.56	c Parallel mode: Portfolio
2.54/0.56	c [pFactory][Group N°0] created (threads:8).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2.54/0.56	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2.54/0.56	c [pFactory][Group N°0] concurrent mode: enabled.
2.54/0.56	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2.54/0.56	c [pFactory][Group N°0] task 7 launched on thread 1.
2.54/0.56	c [pFactory][Group N°0] task 6 launched on thread 2.
2.54/0.56	c [pFactory][Group N°0] task 5 launched on thread 6.
2.54/0.56	c [pFactory][Group N°0] task 4 launched on thread 7.
2.54/0.56	c [pFactory][Group N°0] task 3 launched on thread 4.
2.54/0.56	c [pFactory][Group N°0] task 2 launched on thread 5.
2.54/0.56	c [pFactory][Group N°0] task 1 launched on thread 3.
2.54/0.56	c [pFactory][Group N°0] task 0 launched on thread 0.
2.54/0.56	o 0
2.54/0.58	o 1210326
10.00/1.71	o 1216604
629.35/79.16	o 1222353
634.15/79.70	o 1225831
638.14/80.25	o 1234192
642.14/80.80	o 1234778
646.92/81.34	o 1236796
650.98/81.89	o 1252847
655.71/82.43	o 1256072
659.77/82.97	o 1258044
664.50/83.52	o 1263218
668.48/84.06	o 1271326
673.28/84.62	o 1272146
677.27/85.15	o 1273957
682.07/85.70	o 1278461
686.06/86.26	o 1278510
690.92/86.82	o 1282872
694.84/87.37	o 1286430
699.70/87.97	o 1286448
708.41/89.02	o 1292221
712.41/89.56	o 1298308
721.20/90.62	o 1305802
729.18/91.68	o 1311822
737.97/92.74	o 1317252
745.94/93.80	o 1317868
754.79/94.85	o 1319781
758.72/95.40	o 1330858
767.50/96.45	o 1333987
776.29/97.51	o 1334692
780.28/98.05	o 1335949
784.28/98.59	o 1338562
793.06/99.65	o 1341961
801.04/100.68	o 1343958
805.03/101.19	o 1347956
813.82/102.21	o 1351887
821.80/103.22	o 1354545
829.78/104.24	o 1357226
837.77/105.25	o 1361219
841.83/105.77	o 1368788
845.76/106.29	o 1370024
854.54/107.30	o 1374711
862.53/108.31	o 1379218
866.59/108.83	o 1384661
874.56/109.84	o 1396462
878.45/110.30	o 1402324
885.64/111.20	o 1407558
892.83/112.10	o 1409295
896.03/112.56	o 1425131
900.02/113.02	o 1429345
907.27/113.92	o 1429812
914.46/114.83	o 1437173
921.58/115.73	o 1440045
928.77/116.63	o 1446044
931.96/117.09	o 1448588
939.22/118.00	o 1454780
946.41/118.90	o 1462167
953.53/119.80	o 1470348
961.50/120.71	o 1470568
964.69/121.18	o 1471717
968.69/121.63	o 1480157
972.68/122.11	o 1483224
975.88/122.56	o 1490497
979.87/123.03	o 1491131
983.06/123.49	o 1492391
991.05/124.41	o 1493399
994.31/124.87	o 1496621
1001.43/125.78	o 1497755
1005.42/126.25	o 1507403
1012.61/127.16	o 1515465
1019.79/128.07	o 1518859
1027.05/128.99	o 1519367
1030.98/129.45	o 1520044
1035.04/129.92	o 1523409
1042.22/130.82	o 1528846
1049.34/131.74	o 1529050
1056.53/132.63	o 1532574
1059.72/133.09	o 1534968
1860.63/233.35	o 1536491
1871.01/234.67	o 1552357
1875.00/235.12	o 1558130
1885.39/236.44	o 1559114
1934.10/242.55	o 1571369
2041.91/256.06	o 1571948
2132.15/267.38	o 1576389
2240.02/280.87	o 1577770
2243.95/281.33	o 1579788
2327.00/291.77	o 1580332
2351.82/294.83	o 1587826
2459.58/308.31	o 1590683
2462.77/308.75	o 1590732
2681.58/336.14	o 1590892
2684.78/336.58	o 1591409
2688.76/337.03	o 1598670
2691.96/337.48	o 1599220
2696.02/337.94	o 1605721
2699.15/338.38	o 1606240
2747.86/344.47	o 1611663
2966.74/371.87	o 1611684
2970.66/372.32	o 1613870
2981.05/373.64	o 1615658
3057.68/383.22	o 1622262
3275.66/410.59	o 1622356
3282.85/411.47	o 1623956
3500.88/438.72	o 1624716
3504.07/439.17	o 1629028
3521.64/441.36	o 1642635
3539.21/443.55	o 1657429
3543.20/444.00	o 1661783
3546.40/444.45	o 1666256
3549.66/444.90	o 1680882
3553.58/445.34	o 1684306
3560.77/446.23	o 1688907
3567.96/447.11	o 1704256
3588.72/449.73	o 1705992
3671.76/460.13	o 1706938
3889.78/487.43	o 1707502
3913.74/490.48	o 1707508
3924.13/491.80	o 1714197
3993.59/500.46	o 1729145
4166.09/522.09	o 1730931
4187.66/524.70	o 1744669
4626.09/579.69	o 1748566
4844.89/607.00	o 1758603
4920.77/616.54	o 1762291
5359.99/671.59	o 1762431
5799.21/726.56	o 1763426
5803.20/727.01	o 1767357
6242.43/782.03	o 1773154
6245.63/782.48	o 1775280
6343.06/794.62	o 1782793
6782.29/849.67	o 1786432
6786.28/850.12	o 1791353
7225.51/905.14	o 1802090
7228.71/905.59	o 1804484
7667.94/960.57	o 1808391
7671.93/961.01	o 1812714
7789.33/975.70	o 1815288
8669.39/1085.98	o 1819489
8673.31/1086.43	o 1819933
9555.83/1196.97	o 1820098
10436.64/1307.20	o 1828929
10439.83/1307.65	o 1834677
11319.11/1417.76	o 1836265
11323.10/1418.21	o 1842902
12200.78/1528.17	o 1843143
12204.78/1528.61	o 1844607
12207.97/1529.06	o 1853594
12211.97/1529.51	o 1857793
12222.42/1530.83	o 1864548
13099.98/1640.72	o 1870470
20122.28/2520.01	
20122.28/2520.01	c *** INTERRUPTED ***
20122.28/2520.01	c call to solver        : 35
20122.28/2520.01	c
20122.28/2520.01	c restarts              : 5916        
20122.28/2520.01	c conflicts             : 16593        (1 /sec)
20122.28/2520.01	c decisions             : 10682840     (531 /sec)
20122.28/2520.01	c propagations          : 21891797    (1088 /sec)
20122.28/2520.01	c root propagations     : 3846        
20122.28/2520.01	c filter calls          : 76937360       (3824 /sec)
20122.28/2520.01	c useless filter calls  : 75821470       (98 %)
20122.28/2520.01	c Memory used           : 634.51 MB
20122.28/2520.01	c Best bound time (wc)  : 1640.72 s
20122.28/2520.01	c CPU time              : 20121.4 s
20122.28/2520.01	c real time             : 2520.01 s
20122.28/2520.01	
20122.28/2520.01	s SATISFIABLE
20122.28/2520.01	c Best value found: 1870470
20122.28/2520.01	
20122.28/2520.01	
20122.28/2520.01	v <instantiation type='solution' cost='1870470'>
20122.28/2520.01	v <list>b[0] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[100] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[101] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[102] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[103] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[104] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[105] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[106] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[107] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[108] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[109] b[10] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[110] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[111] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[112] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[113] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[114] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[115] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[116] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[117] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[118] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[119] b[11] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[120] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[121] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[122] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[123] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[124] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[125] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[126] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[127] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[128] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[129] b[12] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[130] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[131] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[132] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[133] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[134] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[135] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[136] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[137] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[138] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[139] b[13] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[140] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[141] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[142] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[143] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[144] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[145] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[146] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[147] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[148] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[149] b[14] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[150] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[151] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[152] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[153] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[154] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[155] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[156] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[157] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[158] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[159] b[15] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[160] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[161] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[162] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[163] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[164] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[165] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[166] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[167] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[168] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[169] b[16] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[170] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[171] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[172] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[173] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[174] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[175] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[176] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[177] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[178] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[179] b[17] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[180] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[181] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[182] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[183] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[184] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[185] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[186] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[187] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[188] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[189] b[18] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[190] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[191] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[192] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[193] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[194] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[195] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[196] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[197] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[198] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] b[199] b[19] b[1] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[20] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[21] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[22] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[23] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[24] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[25] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[26] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[27] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[28] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[29] b[2] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[30] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[31] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[32] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[33] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[34] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[35] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[36] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[37] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[38] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[39] b[3] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[40] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[41] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[42] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[43] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[44] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[45] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[46] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[47] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[48] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[49] b[4] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[50] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[51] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[52] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[53] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[54] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[55] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[56] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[57] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[58] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[59] b[5] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[60] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[61] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[62] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[63] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[64] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[65] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[66] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[67] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[68] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[69] b[6] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[70] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[71] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[72] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[73] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[74] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[75] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[76] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[77] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[78] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[79] b[7] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[80] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[81] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[82] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[83] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[84] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[85] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[86] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[87] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[88] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[89] b[8] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[90] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[91] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[92] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[93] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[94] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[95] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[96] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[97] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[98] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[99] b[9] </list>
20122.28/2520.01	v <values>0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 0 0 0 0 1 0 0 0 1 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 0 0 0 1 0 0 1 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 1 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 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 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 </values>
20122.28/2520.01	v </instantiation>
20122.28/2520.01	

Verifier Data

OK	1870470

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409742-1569840257/watcher-4409742-1569840257 -o /tmp/evaluation-result-4409742-1569840257/solver-4409742-1569840257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569837128-27146 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409742-1569840257.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=27553, runsolver pid=27550
Current StackSize limit: 8192 KiB

Starting watchdog thread

[startup+0.100162 s]*
/proc/loadavg: 1.08 1.03 1.29 2/192 27554
/proc/meminfo: memFree=30583360/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=53892 memory=30168 CPUtime=0.09 cores=0-7
/proc/27553/stat : 27553 (cosoco) R 27550 27553 27119 0 -1 4202496 7758 0 0 0 9 0 0 0 20 0 1 0 560278809 55185408 7542 33554432000 4194304 6211132 140736131710208 140736131707480 139785248439269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 13473 7542 837 493 0 6778 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53892 KiB
Current children cumulated memory: 30168 KiB

[startup+0.211778 s]*
/proc/loadavg: 1.08 1.03 1.29 10/200 27562
/proc/meminfo: memFree=30573312/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=125444 memory=36556 CPUtime=0.33 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 9317 0 0 0 33 0 0 0 20 0 9 0 560278809 128454656 9139 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 31361 9139 874 493 0 24666 0
[pid=27553/tid=27555] ppid=27550 vsize=125444 memory=8316850467074736180 CPUtime=0.01 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 9 0 560278829 128454656 9139 33554432000 4194304 6211132 140736131710208 139785241337440 5397255 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=125444 memory=9432 CPUtime=0.01 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 560278829 128454656 9139 33554432000 4194304 6211132 140736131710208 139785232944640 5397255 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=125444 memory=140484775979130 CPUtime=0.01 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 9 0 560278829 128454656 9139 33554432000 4194304 6211132 140736131710208 139785224552032 5397258 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=125444 memory=-1 CPUtime=0.01 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 9 0 560278829 128454656 9139 33554432000 4194304 6211132 140736131710208 139785216159328 5397258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=125444 memory=0 CPUtime=0.01 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 9 0 560278829 128454656 9139 33554432000 4194304 6211132 140736131710208 139785207766528 5397258 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=190980 memory=0 CPUtime=0.01 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 9 0 560278829 195563520 9139 33554432000 4194304 6211132 140736131710208 139785199373920 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=190980 memory=-1 CPUtime=0.01 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 9 0 560278829 195563520 9139 33554432000 4194304 6211132 140736131710208 139785190981216 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=190980 memory=0 CPUtime=0.01 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 9 0 560278829 195563520 9139 33554432000 4194304 6211132 140736131710208 139785182588512 139785248439269 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 125444 KiB
Current children cumulated memory: 36556 KiB

[startup+0.3156 s]*
/proc/loadavg: 1.08 1.03 1.29 6/200 27562
/proc/meminfo: memFree=30570280/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=41276 CPUtime=1.1 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 10759 0 0 0 108 2 0 0 20 0 9 0 560278809 665325568 10319 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 10319 880 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=1398722017469774279 CPUtime=0.11 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 259 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785241336424 139785248435006 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=0 CPUtime=0.11 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 174 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785232943880 139785248435006 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=0 CPUtime=0.11 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 164 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785224551176 139785248435006 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=0 CPUtime=0.11 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) D 27550 27553 27119 0 -1 4202560 151 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785216158312 139785248915031 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=0 CPUtime=0.1 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 126 0 0 0 10 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785207765768 139785248435006 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=0 CPUtime=0.11 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 175 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785199373064 139785248435006 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=0 CPUtime=0.1 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 138 0 0 0 10 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785190980200 139785248435006 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=0 CPUtime=0.11 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 265 0 0 0 11 0 0 0 20 0 9 0 560278829 665325568 10319 33554432000 4194304 6211132 140736131710208 139785182587496 139785248435006 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 41276 KiB

[startup+0.700778 s]
/proc/loadavg: 1.08 1.03 1.29 6/200 27562
/proc/meminfo: memFree=30527268/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=114932 CPUtime=3.97 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 29261 0 0 0 388 9 0 0 20 0 9 0 560278809 665325568 28733 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 28733 880 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=1112 CPUtime=0.47 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 2941 0 0 0 45 2 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785241336616 5156707 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=1004 CPUtime=0.46 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 2022 0 0 0 46 0 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785232943880 5156497 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=6264 CPUtime=0.47 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 2009 0 0 0 46 1 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785224551016 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=14008 CPUtime=0.46 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 2962 0 0 0 46 0 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785216158504 5155377 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=2124 CPUtime=0.45 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 2006 0 0 0 45 0 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785207765800 139785248435006 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=140489067480703 CPUtime=0.46 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 2023 0 0 0 46 0 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785199373320 5156492 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=7885919965728166754 CPUtime=0.46 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 2958 0 0 0 45 1 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785190980392 5155402 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=7811889852057997928 CPUtime=0.46 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 3027 0 0 0 46 0 0 0 20 0 9 0 560278829 665325568 28733 33554432000 4194304 6211132 140736131710208 139785182588176 5155377 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 114932 KiB

[startup+1.50078 s]
/proc/loadavg: 1.08 1.03 1.29 7/200 27562
/proc/meminfo: memFree=30483276/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=146764 CPUtime=10 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 55754 0 0 0 980 20 0 0 20 0 9 0 560278809 665325568 36691 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 36691 883 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=-8813974798734826869 CPUtime=1.26 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 6065 0 0 0 121 5 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785241336424 5155373 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=0 CPUtime=1.2 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 4882 0 0 0 118 2 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785232943720 139785248443785 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=2308 CPUtime=1.2 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 4902 0 0 0 118 2 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785224551048 5156492 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=4516 CPUtime=1.24 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 5936 0 0 0 124 0 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785216158152 5155377 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=6724 CPUtime=1.19 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 5096 0 0 0 117 2 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785207765640 139785248443785 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=8932 CPUtime=1.2 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 5615 0 0 0 119 1 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785199372936 5155373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=11140 CPUtime=1.21 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 6524 0 0 0 119 2 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785190980040 5157473 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=13348 CPUtime=1.22 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 7421 0 0 0 121 1 0 0 20 0 9 0 560278829 665325568 36691 33554432000 4194304 6211132 140736131710208 139785182587496 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 146764 KiB

[startup+5.47278 s]
/proc/loadavg: 1.08 1.03 1.29 7/200 27562
/proc/meminfo: memFree=30483276/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=168160 CPUtime=41.69 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 134270 0 0 0 4122 47 0 0 20 0 9 0 560278809 665325568 42040 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 42040 883 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=2828 CPUtime=5.24 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 15879 0 0 0 516 8 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785241336264 5158208 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=676 CPUtime=5.17 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 11907 0 0 0 512 5 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785232943720 5156497 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=1060 CPUtime=5.15 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 14976 0 0 0 512 3 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785224551048 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=1548 CPUtime=5.21 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 17031 0 0 0 520 1 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785216158152 5157572 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=8564 CPUtime=5.15 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 13067 0 0 0 505 10 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785207765608 5155535 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=1712 CPUtime=5.17 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 15497 0 0 0 515 2 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785199372936 5156497 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=1112 CPUtime=5.19 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 18514 0 0 0 513 6 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785190980040 5156288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=1004 CPUtime=5.16 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 18085 0 0 0 507 9 0 0 20 0 9 0 560278829 665325568 42040 33554432000 4194304 6211132 140736131710208 139785182587336 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 41.69 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 168160 KiB

[startup+6.30078 s]
/proc/loadavg: 2.04 1.23 1.36 9/201 27565
/proc/meminfo: memFree=30433940/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=169236 CPUtime=48.28 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 163828 0 0 0 4776 52 0 0 20 0 9 0 560278809 665325568 42309 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 42309 883 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=168924 CPUtime=6.07 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 19515 0 0 0 599 8 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785241336456 5156288 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=3184097920075975185 CPUtime=5.99 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 14599 0 0 0 594 5 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785232943720 5155373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=4420 CPUtime=5.97 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 18587 0 0 0 594 3 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785224551016 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=6628 CPUtime=6.04 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 20506 0 0 0 602 2 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785216158152 5250283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=168460 CPUtime=5.97 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 15848 0 0 0 586 11 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785207765608 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=8932 CPUtime=6 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 19730 0 0 0 597 3 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785199372904 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=11140 CPUtime=6.01 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 22958 0 0 0 595 6 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785190980040 5155377 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=13348 CPUtime=5.97 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 22771 0 0 0 587 10 0 0 20 0 9 0 560278829 665325568 42309 33554432000 4194304 6211132 140736131710208 139785182587336 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 48.28 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 169236 KiB

[startup+12.7008 s]
/proc/loadavg: 2.83 1.41 1.41 9/200 27568
/proc/meminfo: memFree=31575048/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=172488 CPUtime=99.08 cores=0-7

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

/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52171 0 0 0 226072 13 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785224550856 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=193748 CPUtime=2261.59 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 60898 0 0 0 226150 9 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785216158152 5157484 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=193748 CPUtime=2244.93 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 45323 0 0 0 224478 15 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785207765448 5250499 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=12024 CPUtime=2261.42 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 56465 0 0 0 226136 6 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785199372904 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=193748 CPUtime=2259.66 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68071 0 0 0 225956 10 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785190980200 5156288 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=193748 CPUtime=2261.15 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68222 0 0 0 226090 25 0 0 20 0 9 0 560278829 665325568 48437 33554432000 4194304 6211132 140736131710208 139785182587496 5156497 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 18064.2 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193748 KiB

[startup+2322.3 s]
/proc/loadavg: 8.08 8.14 7.64 9/199 27764
/proc/meminfo: memFree=31558164/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=193772 CPUtime=18543.4 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 467558 0 0 0 1854233 105 0 0 20 0 9 0 560278809 665325568 48443 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 48443 887 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=3504 CPUtime=2315.86 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 59191 0 0 0 231573 13 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785241336264 5155373 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=193772 CPUtime=2318.46 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 47133 0 0 0 231836 10 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785232943720 5155703 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=193772 CPUtime=2320.85 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52227 0 0 0 232072 13 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785224550856 5409904 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=193772 CPUtime=2321.58 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 61103 0 0 0 232149 9 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785216158152 5156492 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=193772 CPUtime=2304.17 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 45497 0 0 0 230402 15 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785207765448 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=193772 CPUtime=2321.4 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 56614 0 0 0 232134 6 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785199372904 5250311 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=8564 CPUtime=2319.65 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68163 0 0 0 231955 10 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785190980200 5155557 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=1712 CPUtime=2321.14 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68316 0 0 0 232089 25 0 0 20 0 9 0 560278829 665325568 48443 33554432000 4194304 6211132 140736131710208 139785182587496 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 18543.4 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193772 KiB

[startup+2382.3 s]
/proc/loadavg: 8.59 8.27 7.71 9/199 27767
/proc/meminfo: memFree=31558556/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=193780 CPUtime=19022.6 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 468730 0 0 0 1902152 106 0 0 20 0 9 0 560278809 665325568 48445 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 48445 887 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=193780 CPUtime=2375.85 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 59361 0 0 0 237572 13 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785241336264 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=193780 CPUtime=2378.46 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 47316 0 0 0 237836 10 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785232943720 5155380 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=193780 CPUtime=2380.85 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52310 0 0 0 238072 13 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785224550856 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=193780 CPUtime=2381.57 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 61250 0 0 0 238148 9 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785216158152 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=193780 CPUtime=2363.41 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 45680 0 0 0 236326 15 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785207765448 5155373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=3028 CPUtime=2381.38 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 56737 0 0 0 238132 6 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785199372904 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=193780 CPUtime=2379.65 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68232 0 0 0 237955 10 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785190980200 5155377 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=193780 CPUtime=2381.13 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68530 0 0 0 238088 25 0 0 20 0 9 0 560278829 665325568 48445 33554432000 4194304 6211132 140736131710208 139785182587496 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 19022.6 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193780 KiB

[startup+2442.3 s]
/proc/loadavg: 8.66 8.35 7.77 9/200 27772
/proc/meminfo: memFree=31557908/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=193792 CPUtime=19501.8 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 469948 0 0 0 1950069 106 0 0 20 0 9 0 560278809 665325568 48448 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 48448 887 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=193780 CPUtime=2435.85 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 59620 0 0 0 243572 13 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785241336424 5155377 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=193780 CPUtime=2438.45 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 47441 0 0 0 243835 10 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785232943720 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=193780 CPUtime=2440.84 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52401 0 0 0 244071 13 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785224550856 5155377 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=193792 CPUtime=2441.56 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 61385 0 0 0 244147 9 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785216158152 5158208 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=193792 CPUtime=2422.66 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 45868 0 0 0 242251 15 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785207765448 5157490 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=193792 CPUtime=2441.36 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 56869 0 0 0 244130 6 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785199372904 5156492 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=193780 CPUtime=2439.64 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68442 0 0 0 243954 10 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785190980200 5397136 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=193780 CPUtime=2441.12 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68608 0 0 0 244087 25 0 0 20 0 9 0 560278829 665325568 48448 33554432000 4194304 6211132 140736131710208 139785182587496 5156497 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 19501.8 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193792 KiB

[startup+2502.3 s]
/proc/loadavg: 8.24 8.28 7.78 9/199 27775
/proc/meminfo: memFree=31557700/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=193800 CPUtime=19980.9 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 471066 0 0 0 1997987 106 0 0 20 0 9 0 560278809 665325568 48450 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 48450 887 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=193800 CPUtime=2495.84 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 59782 0 0 0 249571 13 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785241336424 5155766 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=193800 CPUtime=2498.45 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 47642 0 0 0 249835 10 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785232943720 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=193800 CPUtime=2500.84 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52486 0 0 0 250070 14 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785224550856 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=193800 CPUtime=2501.55 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 61543 0 0 0 250146 9 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785216158152 5155373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=193800 CPUtime=2481.9 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 46041 0 0 0 248175 15 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785207765448 5250491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=193800 CPUtime=2501.35 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 57021 0 0 0 250129 6 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785199372904 5250273 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=193800 CPUtime=2499.61 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68541 0 0 0 249951 10 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785190980200 5156272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=1548 CPUtime=2501.11 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68696 0 0 0 250086 25 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785182587496 5156288 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 19980.9 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.17 8.26 7.79 9/199 27776
/proc/meminfo: memFree=31557700/32770624 swapFree=66999256/67108860
[pid=27553] ppid=27550 vsize=649732 memory=193800 CPUtime=20122.3 cores=0-7
/proc/27553/stat : 27553 (cosoco) S 27550 27553 27119 0 -1 1077944320 472088 0 0 0 2012122 106 0 0 20 0 9 0 560278809 665325568 48450 33554432000 4194304 6211132 140736131710208 140736131708464 139785264479991 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
/proc/27553/statm: 162433 48450 887 493 0 155738 0
[pid=27553/tid=27555] ppid=27550 vsize=649732 memory=576461247959143783 CPUtime=2513.54 cores=0-7
/proc/27553/task/27555/stat : 27555 (cosoco) R 27550 27553 27119 0 -1 4202560 59964 0 0 0 251341 13 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785241336424 5155703 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27556] ppid=27550 vsize=649732 memory=41905 CPUtime=2516.15 cores=0-7
/proc/27553/task/27556/stat : 27556 (cosoco) R 27550 27553 27119 0 -1 4202560 47773 0 0 0 251605 10 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785232943720 5250266 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27557] ppid=27550 vsize=649732 memory=6944656592455360604 CPUtime=2518.54 cores=0-7
/proc/27553/task/27557/stat : 27557 (cosoco) R 27550 27553 27119 0 -1 4202560 52580 0 0 0 251840 14 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785224550856 5155687 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27558] ppid=27550 vsize=649732 memory=288289995532552586 CPUtime=2519.25 cores=0-7
/proc/27553/task/27558/stat : 27558 (cosoco) R 27550 27553 27119 0 -1 4202560 61699 0 0 0 251916 9 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785216158152 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27559] ppid=27550 vsize=649732 memory=6010167379393342306 CPUtime=2499.37 cores=0-7
/proc/27553/task/27559/stat : 27559 (cosoco) R 27550 27553 27119 0 -1 4202560 46210 0 0 0 249922 15 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785207765448 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27560] ppid=27550 vsize=649732 memory=7085121432042692971 CPUtime=2519.05 cores=0-7
/proc/27553/task/27560/stat : 27560 (cosoco) R 27550 27553 27119 0 -1 4202560 57153 0 0 0 251899 6 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785199372904 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27561] ppid=27550 vsize=649732 memory=6010167379393342306 CPUtime=2517.31 cores=0-7
/proc/27553/task/27561/stat : 27561 (cosoco) R 27550 27553 27119 0 -1 4202560 68621 0 0 0 251721 10 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785190980200 5155380 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
[pid=27553/tid=27562] ppid=27550 vsize=649732 memory=39908 CPUtime=2518.81 cores=0-7
/proc/27553/task/27562/stat : 27562 (cosoco) R 27550 27553 27119 0 -1 4202560 68774 0 0 0 251856 25 0 0 20 0 9 0 560278829 665325568 48450 33554432000 4194304 6211132 140736131710208 139785182587496 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 33804288 140736131712017 140736131712109 140736131712109 140736131715022 0
Current children cumulated CPU time: 20122.3 s
Current children cumulated vsize: 649732 KiB
Current children cumulated memory: 193800 KiB

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

[startup+2520.02 s]
# the end of solver process 27553 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20121.4 s, system=1.07138 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20122.4
CPU user time (s): 20121.4
CPU system time (s): 1.07138
CPU usage (%): 798.503
Max. virtual memory (cumulated for all children) (KiB): 649732
Max. memory (cumulated for all children) (KiB): 193800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20121.4
system time used= 1.07138
maximum resident set size= 193912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472137
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5654
involuntary context switches= 166430


# summary of solver processes directly reported to runsolver:
#   pid: 27553
#   total CPU time (s): 20122.4
#   total CPU user time (s): 20121.4
#   total CPU system time (s): 1.07138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9986 second user time and 21.1732 second system time

The end

Launcher Data

Begin job on node103 at 2019-09-30 12:43:18
IDJOB=4409742
IDBENCH=141154
IDSOLVER=2877
FILE ID=node103/4409742-1569840257
RUNJOBID= node103-1569837128-27146
PBS_JOBID= 21705957
Free space on /tmp= 61476 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409742-1569840257/watcher-4409742-1569840257 -o /tmp/evaluation-result-4409742-1569840257/solver-4409742-1569840257 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569837128-27146 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409742-1569840257.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1553917832

node103.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.74
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.74
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.74
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.74
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:        30606900 kB
MemAvailable:   31858520 kB
Buffers:          124452 kB
Cached:          1460472 kB
SwapCached:         7000 kB
Active:           348896 kB
Inactive:        1250648 kB
Active(anon):       3536 kB
Inactive(anon):    93472 kB
Active(file):     345360 kB
Inactive(file):  1157176 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:            810728 kB
Writeback:         78432 kB
AnonPages:        112824 kB
Mapped:            27840 kB
Shmem:             73656 kB
Slab:             158480 kB
SReclaimable:     129840 kB
SUnreclaim:        28640 kB
KernelStack:        3440 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     540884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node103 at 2019-09-30 13:25:19