Trace number 4408834

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.0SAT (TO)1420 2400.02 2400.11

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-ii16c1.xml
MD5SUM0fff0f0071920d8b80a5dc1573fb75f4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1420
Best CPU time to get the best result obtained on this benchmark2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables3160
Number of constraints18047
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3160}]
Minimum variable degree3
Maximum variable degree38
Distribution of variable degrees[{"degree":3,"count":940},{"degree":15,"count":20},{"degree":16,"count":20},{"degree":18,"count":940},{"degree":19,"count":80},{"degree":20,"count":40},{"degree":21,"count":60},{"degree":22,"count":40},{"degree":23,"count":20},{"degree":24,"count":80},{"degree":25,"count":120},{"degree":26,"count":80},{"degree":27,"count":60},{"degree":28,"count":160},{"degree":29,"count":80},{"degree":30,"count":40},{"degree":31,"count":40},{"degree":32,"count":80},{"degree":33,"count":60},{"degree":34,"count":40},{"degree":35,"count":40},{"degree":37,"count":60},{"degree":38,"count":60}]
Minimum constraint arity2
Maximum constraint arity20
Distribution of constraint arities[{"arity":2,"count":16940},{"arity":16,"count":1060},{"arity":20,"count":47}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":18047}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2.59/2.63	c
2.59/2.63	c This is cosoco 2.00 --  
2.59/2.63	c
2.59/2.63	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408834-1569802303.xml 
2.59/2.63	c enable optimization
2.59/2.63	c ========================================[ Problem Statistics ]===========================================
2.59/2.63	c |                                                                                                       
2.59/2.63	c |  Parse time        :         1.42 s 
2.59/2.63	c |
2.59/2.63	c |               Variables: 3160
2.59/2.63	c |            Domain Sizes: 2..2
2.59/2.63	c |
2.59/2.63	c |             Constraints: 18048
2.59/2.63	c |                   Arity: 2..3160  -- Binary: 16940
2.59/2.63	c | 
2.59/2.63	c |                   Types: 
2.59/2.63	c |                          Sum: 18048
2.59/2.63	c |                          
2.59/2.63	c |               Objective: Minimize Sum
2.59/2.63	
2.59/2.63	c =========================================================================================================
2.59/2.63	o 1489
2.59/2.63	c    1 calls to solver(id=0): best=1489 lower=0 upper=1488 
12.19/12.25	o 1488
14.59/14.69	o 1487
14.59/14.69	c    3 calls to solver(id=0): best=1487 lower=0 upper=1486 
16.29/16.32	o 1486
17.89/17.96	o 1485
17.89/17.97	c    5 calls to solver(id=0): best=1485 lower=0 upper=1484 
18.79/18.80	o 1484
20.39/20.43	o 1483
20.39/20.44	c    7 calls to solver(id=0): best=1483 lower=0 upper=1482 
23.58/23.67	o 1482
25.28/25.30	o 1481
25.28/25.31	c    9 calls to solver(id=0): best=1481 lower=0 upper=1480 
26.88/26.94	o 1480
31.69/31.77	o 1479
31.69/31.77	c   11 calls to solver(id=0): best=1479 lower=0 upper=1478 
34.88/35.00	o 1478
36.58/36.64	o 1477
36.58/36.64	c   13 calls to solver(id=0): best=1477 lower=0 upper=1476 
37.38/37.48	o 1476
46.28/46.30	o 1475
46.28/46.30	c   15 calls to solver(id=0): best=1475 lower=0 upper=1474 
48.68/48.74	o 1474
57.49/57.57	o 1473
57.49/57.58	c   17 calls to solver(id=0): best=1473 lower=0 upper=1472 
60.79/60.81	o 1472
62.39/62.45	o 1471
62.39/62.45	c   19 calls to solver(id=0): best=1471 lower=0 upper=1470 
71.19/71.27	o 1470
72.10/72.11	o 1469
72.10/72.11	c   21 calls to solver(id=0): best=1469 lower=0 upper=1468 
72.89/72.95	o 1468
73.69/73.78	o 1467
73.69/73.78	c   23 calls to solver(id=0): best=1467 lower=0 upper=1466 
77.79/77.80	o 1466
86.58/86.62	o 1465
86.58/86.62	c   25 calls to solver(id=0): best=1465 lower=0 upper=1464 
95.29/95.33	o 1464
96.09/96.15	o 1463
96.09/96.15	c   27 calls to solver(id=0): best=1463 lower=0 upper=1462 
104.68/104.75	o 1462
107.09/107.13	o 1461
107.09/107.13	c   29 calls to solver(id=0): best=1461 lower=0 upper=1460 
115.68/115.71	o 1460
126.38/126.43	o 1459
126.38/126.43	c   31 calls to solver(id=0): best=1459 lower=0 upper=1458 
127.18/127.25	o 1458
128.78/128.85	o 1457
128.78/128.85	c   33 calls to solver(id=0): best=1457 lower=0 upper=1456 
129.58/129.67	o 1456
130.38/130.48	o 1455
130.38/130.48	c   35 calls to solver(id=0): best=1455 lower=0 upper=1454 
131.28/131.30	o 1454
132.09/132.12	o 1453
132.09/132.12	c   37 calls to solver(id=0): best=1453 lower=0 upper=1452 
132.88/132.94	o 1452
134.48/134.53	o 1451
134.48/134.53	c   39 calls to solver(id=0): best=1451 lower=0 upper=1450 
136.09/136.13	o 1450
139.18/139.28	o 1449
139.18/139.28	c   41 calls to solver(id=0): best=1449 lower=0 upper=1448 
139.98/140.10	o 1448
140.88/140.92	o 1447
140.88/140.92	c   43 calls to solver(id=0): best=1447 lower=0 upper=1446 
142.48/142.51	o 1446
145.58/145.65	o 1445
145.58/145.65	c   45 calls to solver(id=0): best=1445 lower=0 upper=1444 
155.77/155.80	o 1444
158.87/158.93	o 1443
158.87/158.94	c   47 calls to solver(id=0): best=1443 lower=0 upper=1442 
160.47/160.52	o 1442
170.47/170.59	o 1441
170.47/170.59	c   49 calls to solver(id=0): best=1441 lower=0 upper=1440 
179.87/179.92	o 1440
181.47/181.51	o 1439
181.47/181.51	c   51 calls to solver(id=0): best=1439 lower=0 upper=1438 
191.47/191.59	o 1438
193.08/193.18	o 1437
193.08/193.19	c   53 calls to solver(id=0): best=1437 lower=0 upper=1436 
193.87/194.00	o 1436
237.76/237.83	o 1435
237.76/237.84	c   55 calls to solver(id=0): best=1435 lower=0 upper=1434 
261.86/261.94	o 1434
269.66/269.73	o 1433
269.66/269.74	c   57 calls to solver(id=0): best=1433 lower=0 upper=1432 
272.76/272.87	o 1432
282.16/282.21	o 1431
282.16/282.21	c   59 calls to solver(id=0): best=1431 lower=0 upper=1430 
282.97/283.02	o 1430
306.97/307.05	o 1429
306.97/307.05	c   61 calls to solver(id=0): best=1429 lower=0 upper=1428 
330.97/331.07	o 1428
335.66/335.75	o 1427
335.66/335.75	c   63 calls to solver(id=0): best=1427 lower=0 upper=1426 
361.16/361.26	o 1426
364.26/364.39	o 1425
364.26/364.39	c   65 calls to solver(id=0): best=1425 lower=0 upper=1424 
388.26/388.38	o 1424
389.07/389.19	o 1423
389.07/389.19	c   67 calls to solver(id=0): best=1423 lower=0 upper=1422 
398.36/398.50	o 1422
422.36/422.46	o 1421
422.36/422.46	c   69 calls to solver(id=0): best=1421 lower=0 upper=1420 
446.26/446.36	o 1420
2400.01/2400.10	
2400.01/2400.10	c *** INTERRUPTED ***
2400.01/2400.10	c call to solver        : 70
2400.01/2400.10	c
2400.01/2400.10	c restarts              : 543         
2400.01/2400.10	c conflicts             : 1417062      (590 /sec)
2400.01/2400.10	c decisions             : 9922574      (4135 /sec)
2400.01/2400.10	c propagations          : 377388042   (157260 /sec)
2400.01/2400.10	c root propagations     : 23290       
2400.01/2400.10	c filter calls          : 1847042087     (769672 /sec)
2400.01/2400.10	c useless filter calls  : 1830495309     (99 %)
2400.01/2400.10	c Memory used           : 305.26 MB
2400.01/2400.10	c Best bound time (wc)  : 446.36 s
2400.01/2400.10	c CPU time              : 2399.78 s
2400.01/2400.10	c real time             : 2400.1 s
2400.01/2400.10	
2400.01/2400.10	c nb Solutions = 70
2400.01/2400.10	s SATISFIABLE
2400.01/2400.10	c Best value found: 1420
2400.01/2400.10	
2400.01/2400.10	
2400.01/2400.10	v <instantiation type='solution' cost='1420'>
2400.01/2400.10	v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[143] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[144] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[145] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[146] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[147] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[148] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[149] x[14] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[150] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[151] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[152] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[153] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[154] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[155] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[156] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[157] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[158] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[159] x[15] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[160] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[161] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[162] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[163] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[164] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[165] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[166] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[167] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[168] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[169] x[16] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[170] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[171] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[172] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[173] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[174] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[175] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[176] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[177] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[178] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[179] x[17] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[180] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[181] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[182] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[183] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[184] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[185] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[186] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[187] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[188] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[189] x[18] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[190] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[191] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[192] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[193] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[194] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[195] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[196] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[197] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[198] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[199] x[19] x[1] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[200] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[201] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[202] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[203] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[204] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[205] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[206] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[207] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[208] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[209] x[20] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[210] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[211] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[212] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[213] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[214] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[215] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[216] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[217] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[218] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[219] x[21] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[220] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[221] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[222] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[223] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[224] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[225] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[226] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[227] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[228] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[229] x[22] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[230] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[231] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[232] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[233] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[234] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[235] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[236] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[237] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[238] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[239] x[23] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[240] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[241] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[242] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[243] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[244] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[245] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[246] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[247] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[248] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[249] x[24] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[250] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[251] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[252] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[253] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[254] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[255] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[256] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[257] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[258] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[259] x[25] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[260] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[261] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[262] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[263] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[264] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[265] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[266] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[267] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[268] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[269] x[26] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[270] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[271] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[272] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[273] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[274] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[275] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[276] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[277] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[278] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[279] x[27] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[280] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[281] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[282] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[283] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[284] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[285] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[286] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[287] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[288] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[289] x[28] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[290] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[291] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[292] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[293] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[294] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[295] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[296] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[297] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[298] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[299] x[29] x[2] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[300] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[301] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[302] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[303] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[304] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[305] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[306] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[307] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[308] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[309] x[30] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[310] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[311] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[312] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[313] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[314] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
2400.01/2400.11	v <values>1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 0 </values>
2400.01/2400.11	v </instantiation>
2400.01/2400.11

Verifier Data 

OK	1420

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408834-1569802303/watcher-4408834-1569802303 -o /tmp/evaluation-result-4408834-1569802303/solver-4408834-1569802303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17164 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408834-1569802303.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=20390, runsolver pid=20387

[startup+0.100155 s]*
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31646944/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=29888 memory=6160 CPUtime=0.1 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 1703 0 0 0 10 0 0 0 20 0 1 0 556483343 30605312 1540 33554432000 4194304 6211132 140734016474112 140734016470648 5810242 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 7472 1540 810 493 0 777 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29888 KiB
Current children cumulated memory: 6160 KiB

[startup+0.209562 s]*
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31645908/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=30408 memory=6424 CPUtime=0.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 1870 0 0 0 21 0 0 0 20 0 1 0 556483343 31137792 1606 33554432000 4194304 6211132 140734016474112 140734016470648 5810265 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 7602 1606 810 493 0 907 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30408 KiB
Current children cumulated memory: 6424 KiB

[startup+0.308811 s]*
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31638960/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=39284 memory=15316 CPUtime=0.31 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 4150 0 0 0 31 0 0 0 20 0 1 0 556483343 40226816 3829 33554432000 4194304 6211132 140734016474112 140734016471384 140439587937253 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 9821 3829 837 493 0 3126 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39284 KiB
Current children cumulated memory: 15316 KiB

[startup+0.700373 s]
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31598784/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=116984 memory=92932 CPUtime=0.69 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 23569 0 0 0 65 4 0 0 20 0 1 0 556483343 119791616 23233 33554432000 4194304 6211132 140734016474112 140734016471384 140439587985312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 29246 23233 837 493 0 22551 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116984 KiB
Current children cumulated memory: 92932 KiB

[startup+1.50037 s]
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31497972/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=261252 memory=237448 CPUtime=1.49 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 59820 0 0 0 138 11 0 0 20 0 1 0 556483343 267522048 59362 33554432000 4194304 6211132 140734016474112 140734016468136 5519006 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 65313 59362 837 493 0 58618 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 261252 KiB
Current children cumulated memory: 237448 KiB

[startup+3.1095 s]
/proc/loadavg: 2.06 2.15 2.11 3/200 20391
/proc/meminfo: memFree=31384172/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=291692 memory=268196 CPUtime=3.1 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 85771 0 0 0 298 12 0 0 20 0 1 0 556483343 298692608 67049 33554432000 4194304 6211132 140734016474112 140734016461992 5250304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 72923 67049 877 493 0 66228 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 291692 KiB
Current children cumulated memory: 268196 KiB

[startup+6.30034 s]
/proc/loadavg: 2.06 2.15 2.11 3/200 20452
/proc/meminfo: memFree=31373944/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=303816 memory=279832 CPUtime=6.29 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 108847 0 0 0 615 14 0 0 20 0 1 0 556483343 311107584 69958 33554432000 4194304 6211132 140734016474112 140734016471512 5157804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 75954 69958 877 493 0 69259 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 303816 KiB
Current children cumulated memory: 279832 KiB

[startup+12.7003 s]
/proc/loadavg: 1.89 2.11 2.10 3/200 20515
/proc/meminfo: memFree=31322624/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=307648 memory=283652 CPUtime=12.69 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 130881 0 0 0 1253 16 0 0 20 0 1 0 556483343 315031552 70913 33554432000 4194304 6211132 140734016474112 140734016471512 5156264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 76912 70913 877 493 0 70217 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 307648 KiB
Current children cumulated memory: 283652 KiB

[startup+25.5004 s]
/proc/loadavg: 1.78 2.07 2.09 3/200 20515
/proc/meminfo: memFree=31322188/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=307648 memory=283688 CPUtime=25.48 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 150746 0 0 0 2531 17 0 0 20 0 1 0 556483343 315031552 70922 33554432000 4194304 6211132 140734016474112 140734016461992 5157572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 76912 70922 877 493 0 70217 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 307648 KiB
Current children cumulated memory: 283688 KiB

[startup+51.1096 s]
/proc/loadavg: 1.86 2.07 2.08 3/200 20515
/proc/meminfo: memFree=31321816/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=307648 memory=283716 CPUtime=51.09 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 169952 0 0 0 5091 18 0 0 20 0 1 0 556483343 315031552 70929 33554432000 4194304 6211132 140734016474112 140734016472248 5250256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 76912 70929 877 493 0 70217 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 307648 KiB
Current children cumulated memory: 283716 KiB

[startup+102.3 s]
/proc/loadavg: 1.94 2.06 2.08 3/200 20521
/proc/meminfo: memFree=31320436/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=307648 memory=283740 CPUtime=102.28 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 206129 0 0 0 10207 21 0 0 20 0 1 0 556483343 315031552 70935 33554432000 4194304 6211132 140734016474112 140734016461992 5157576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 76912 70935 877 493 0 70217 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 307648 KiB
Current children cumulated memory: 283740 KiB

[startup+162.3 s]
/proc/loadavg: 2.54 2.21 2.13 3/200 20525
/proc/meminfo: memFree=31316228/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=307780 memory=283920 CPUtime=162.27 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 220648 0 0 0 16206 21 0 0 20 0 1 0 556483343 315166720 70980 33554432000 4194304 6211132 140734016474112 140734016472248 5156028 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 76945 70980 877 493 0 70250 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 307780 KiB
Current children cumulated memory: 283920 KiB

[startup+222.3 s]
/proc/loadavg: 2.20 2.18 2.13 3/200 20529
/proc/meminfo: memFree=31314240/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=309984 memory=286032 CPUtime=222.27 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 234830 0 0 0 22205 22 0 0 20 0 1 0 556483343 317423616 71508 33554432000 4194304 6211132 140734016474112 140734016471512 5250256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 77496 71508 877 493 0 70801 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 309984 KiB
Current children cumulated memory: 286032 KiB

[startup+282.3 s]
/proc/loadavg: 2.07 2.14 2.12 3/199 20535
/proc/meminfo: memFree=31311212/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=310672 memory=287168 CPUtime=282.26 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 238389 0 0 0 28204 22 0 0 20 0 1 0 556483343 318128128 71792 33554432000 4194304 6211132 140734016474112 140734016472248 5157819 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 77668 71792 877 493 0 70973 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 310672 KiB
Current children cumulated memory: 287168 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 2.12 2.11 3/199 20539
/proc/meminfo: memFree=31313396/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=310672 memory=287168 CPUtime=342.26 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 239236 0 0 0 34204 22 0 0 20 0 1 0 556483343 318128128 71792 33554432000 4194304 6211132 140734016474112 140734016461992 5158021 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 77668 71792 877 493 0 70973 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 310672 KiB
Current children cumulated memory: 287168 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.10 2.11 3/199 20543
/proc/meminfo: memFree=31313560/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=310808 memory=287324 CPUtime=402.26 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 240191 0 0 0 40203 23 0 0 20 0 1 0 556483343 318267392 71831 33554432000 4194304 6211132 140734016474112 140734016472248 5156981 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 77702 71831 877 493 0 71007 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 310808 KiB
Current children cumulated memory: 287324 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.08 2.10 3/199 20549
/proc/meminfo: memFree=31312948/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=310808 memory=287324 CPUtime=462.26 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 241054 0 0 0 46203 23 0 0 20 0 1 0 556483343 318267392 71831 33554432000 4194304 6211132 140734016474112 140734016472248 5157804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 77702 71831 877 493 0 71007 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 310808 KiB
Current children cumulated memory: 287324 KiB


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

/proc/20390/statm: 78110 72249 877 493 0 71415 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 288996 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20665
/proc/meminfo: memFree=31309536/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312440 memory=289020 CPUtime=1722.22 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 253003 0 0 0 172199 23 0 0 20 0 1 0 556483343 319938560 72255 33554432000 4194304 6211132 140734016474112 140734016471512 5155836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78110 72255 877 493 0 71415 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 289020 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20677
/proc/meminfo: memFree=31309068/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312440 memory=289020 CPUtime=1782.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 253393 0 0 0 178198 23 0 0 20 0 1 0 556483343 319938560 72255 33554432000 4194304 6211132 140734016474112 140734016471512 5157594 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78110 72255 877 493 0 71415 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 289020 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 20681
/proc/meminfo: memFree=31310664/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289064 CPUtime=1842.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 253917 0 0 0 184198 23 0 0 20 0 1 0 556483343 320086016 72266 33554432000 4194304 6211132 140734016474112 140734016471512 5156264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72266 877 493 0 71451 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289064 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 20688
/proc/meminfo: memFree=31309660/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289064 CPUtime=1902.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 254416 0 0 0 190198 23 0 0 20 0 1 0 556483343 320086016 72266 33554432000 4194304 6211132 140734016474112 140734016471512 5250304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72266 877 493 0 71451 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289064 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 20692
/proc/meminfo: memFree=31309908/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289064 CPUtime=1962.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 254816 0 0 0 196198 23 0 0 20 0 1 0 556483343 320086016 72266 33554432000 4194304 6211132 140734016474112 140734016471512 5250256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72266 877 493 0 71451 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289064 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20696
/proc/meminfo: memFree=31309604/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289064 CPUtime=2022.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 255197 0 0 0 202198 23 0 0 20 0 1 0 556483343 320086016 72266 33554432000 4194304 6211132 140734016474112 140734016471512 5155532 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72266 877 493 0 71451 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289064 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20702
/proc/meminfo: memFree=31309964/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289092 CPUtime=2082.2 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 255736 0 0 0 208197 23 0 0 20 0 1 0 556483343 320086016 72273 33554432000 4194304 6211132 140734016474112 140734016471512 5250304 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72273 877 493 0 71451 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289092 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20706
/proc/meminfo: memFree=31309880/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289092 CPUtime=2142.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 256128 0 0 0 214197 24 0 0 20 0 1 0 556483343 320086016 72273 33554432000 4194304 6211132 140734016474112 140734016471512 5250321 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72273 877 493 0 71451 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289092 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20710
/proc/meminfo: memFree=31309408/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289092 CPUtime=2202.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 256641 0 0 0 220197 24 0 0 20 0 1 0 556483343 320086016 72273 33554432000 4194304 6211132 140734016474112 140734016471512 5156238 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72273 877 493 0 71451 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289092 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20716
/proc/meminfo: memFree=31309296/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289092 CPUtime=2262.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 257032 0 0 0 226197 24 0 0 20 0 1 0 556483343 320086016 72273 33554432000 4194304 6211132 140734016474112 140734016471512 5155532 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72273 877 493 0 71451 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289092 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20720
/proc/meminfo: memFree=31309272/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289100 CPUtime=2322.21 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 257584 0 0 0 232197 24 0 0 20 0 1 0 556483343 320086016 72275 33554432000 4194304 6211132 140734016474112 140734016471512 5156000 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72275 877 493 0 71451 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289100 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20731
/proc/meminfo: memFree=31309284/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289156 CPUtime=2382.2 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 257979 0 0 0 238196 24 0 0 20 0 1 0 556483343 320086016 72289 33554432000 4194304 6211132 140734016474112 140734016471512 5157576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72289 877 493 0 71451 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20733
/proc/meminfo: memFree=31309020/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289156 CPUtime=2400.01 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 257996 0 0 0 239977 24 0 0 20 0 1 0 556483343 320086016 72289 33554432000 4194304 6211132 140734016474112 140734016471512 5155836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72289 877 493 0 71451 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289156 KiB

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

[startup+2400.11 s]
# the end of solver process 20390 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.78 s, system=0.242992 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20733
/proc/meminfo: memFree=31309020/32770624 swapFree=66999256/67108860
[pid=20390] ppid=20387 vsize=312584 memory=289156 CPUtime=2400.01 cores=1,3,5,7
/proc/20390/stat : 20390 (cosoco) R 20387 20390 17132 0 -1 4202496 257996 0 0 0 239977 24 0 0 20 0 1 0 556483343 320086016 72289 33554432000 4194304 6211132 140734016474112 140734016471512 5155836 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 21434368 140734016476171 140734016476273 140734016476273 140734016479182 0
/proc/20390/statm: 78146 72289 877 493 0 71451 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 312584 KiB
Current children cumulated memory: 289156 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.02
CPU user time (s): 2399.78
CPU system time (s): 0.242992
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 312584
Max. memory (cumulated for all children) (KiB): 289156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.242992
maximum resident set size= 289224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258058
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= 49
involuntary context switches= 769


# summary of solver processes directly reported to runsolver:
#   pid: 20390
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2399.78
#   total CPU system time (s): 0.242992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.6926 second user time and 15.2981 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-30 02:10:44
IDJOB=4408834
IDBENCH=134877
IDSOLVER=2875
FILE ID=node103/4408834-1569802303
RUNJOBID= node103-1569787336-17164
PBS_JOBID= 21705840
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii16c1.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408834-1569802303/watcher-4408834-1569802303 -o /tmp/evaluation-result-4408834-1569802303/solver-4408834-1569802303 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17164 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408834-1569802303.xml

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

MD5SUM BENCH= 0fff0f0071920d8b80a5dc1573fb75f4
RANDOM SEED=1096546045

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:        31649156 kB
MemAvailable:   31870116 kB
Buffers:          166324 kB
Cached:           400056 kB
SwapCached:         7000 kB
Active:           334728 kB
Inactive:         247968 kB
Active(anon):      24184 kB
Inactive(anon):    74924 kB
Active(file):     310544 kB
Inactive(file):   173044 kB
Unevictable:      107024 kB
Mlocked:          107024 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:              3508 kB
Writeback:             0 kB
AnonPages:        118404 kB
Mapped:            28472 kB
Shmem:             73656 kB
Slab:             134976 kB
SReclaimable:     106416 kB
SUnreclaim:        28560 kB
KernelStack:        3568 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     570284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 62024 MiB
End job on node103 at 2019-09-30 02:50:44