| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.62 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12036_3-sat.opb |
| MD5SUM | cf899369697891a2aa5256c136e26408 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 55660 |
| Total number of constraints | 186884 |
| Number of constraints which are clauses | 185968 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 916 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 20 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 689 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.49 c PB-wave - v2 0.00/0.49 c command line = ./PB-wave 0.00/0.49 c seed = 98673187 0.00/0.49 c cutoff = 1000000 0.00/0.49 c tries = 1000000 0.00/0.49 c heuristic = c best, noise 50 / 100 0.00/0.49 #var 55660 #con 186884 0.00/0.49 mode is SAT 0.00/0.49 c tail starts after flip = 166980 0.00/0.49 c numatom = 55660, numclause = 186884, numliterals = 508235 0.00/0.49 c wff read in 0.00/0.49 c 0.00/0.49 c lowest final avg noise noise total avg mean mean 0.00/0.49 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.49 c this this this this this this success success until std 0.00/0.49 c try try try try try try rate tries assign dev 0.00/0.49 c 4.19/4.26 c 1173 1519 1476.93 229.79 6.43 1000000 0 7.98/8.01 c 1220 1493 1486.36 179.71 8.27 1000000 0 11.68/11.74 c 1194 1313 1460.94 186.71 7.82 1000000 0 15.48/15.50 c 1202 1244 1478.60 194.01 7.62 1000000 0 19.18/19.27 c 1192 1466 1472.23 199.47 7.38 1000000 0 22.99/23.02 c 1183 1311 1451.57 210.11 6.91 1000000 0 26.68/26.78 c 1168 1435 1489.80 222.98 6.68 1000000 0 30.48/30.56 c 1213 1434 1501.70 230.23 6.52 1000000 0 34.18/34.30 c 1165 1322 1453.97 204.60 7.11 1000000 0 37.98/38.02 c 1146 1347 1415.99 220.40 6.42 1000000 0 41.68/41.76 c 1207 1329 1460.59 236.03 6.19 1000000 0 45.47/45.54 c 1240 1357 1510.94 182.37 8.29 1000000 0 49.17/49.27 c 1149 1379 1453.56 227.36 6.39 1000000 0 52.97/53.03 c 1137 1362 1468.79 226.07 6.50 1000000 0 56.77/56.81 c 1185 1446 1500.11 225.94 6.64 1000000 0 60.48/60.59 c 1223 1468 1528.65 209.41 7.30 1000000 0 64.27/64.35 c 1158 1262 1456.97 187.94 7.75 1000000 0 68.07/68.10 c 1208 1320 1478.29 214.24 6.90 1000000 0 71.77/71.84 c 1191 1386 1434.84 173.91 8.25 1000000 0 75.56/75.60 c 1165 1480 1463.31 207.11 7.07 1000000 0 79.26/79.37 c 1216 1280 1492.24 224.98 6.63 1000000 0 83.06/83.11 c 1176 1462 1453.99 185.80 7.83 1000000 0 86.77/86.87 c 1194 1371 1505.21 198.97 7.57 1000000 0 90.56/90.63 c 1226 1493 1484.49 189.34 7.84 1000000 0 94.36/94.40 c 1182 1401 1488.65 236.38 6.30 1000000 0 98.06/98.17 c 1197 1455 1486.61 208.70 7.12 1000000 0 101.86/101.93 c 1209 1375 1472.15 204.93 7.18 1000000 0 105.65/105.71 c 1189 1452 1524.10 222.03 6.86 1000000 0 109.35/109.47 c 1208 1361 1473.22 166.40 8.85 1000000 0 113.16/113.24 c 1203 1416 1487.03 193.02 7.70 1000000 0 116.95/117.00 c 1173 1385 1486.84 191.46 7.77 1000000 0 120.75/120.80 c 1190 1500 1543.45 224.23 6.88 1000000 0 124.45/124.55 c 1206 1403 1464.54 155.71 9.41 1000000 0 128.25/128.32 c 1228 1302 1509.89 253.24 5.96 1000000 0 131.95/132.09 c 1172 1477 1491.28 277.49 5.37 1000000 0 135.75/135.84 c 1140 1381 1480.15 195.10 7.59 1000000 0 139.55/139.61 c 1217 1420 1481.10 214.31 6.91 1000000 0 143.24/143.38 c 1140 1468 1497.21 248.92 6.01 1000000 0 147.04/147.15 c 1239 1334 1487.50 204.19 7.28 1000000 0 150.84/150.91 c 1177 1332 1501.70 250.79 5.99 1000000 0 154.54/154.66 c 1111 1491 1478.47 264.61 5.59 1000000 0 158.35/158.42 c 1183 1340 1509.63 221.45 6.82 1000000 0 162.04/162.19 c 1224 1469 1485.21 194.29 7.64 1000000 0 165.84/165.94 c 1192 1331 1486.26 203.19 7.31 1000000 0 169.64/169.71 c 1254 1492 1506.53 147.12 10.24 1000000 0 173.33/173.45 c 1221 1399 1481.76 171.34 8.65 1000000 0 177.13/177.21 c 1144 1281 1499.95 232.56 6.45 1000000 0 180.83/180.97 c 1197 1502 1485.11 199.85 7.43 1000000 0 184.64/184.71 c 1236 1337 1483.20 182.00 8.15 1000000 0 188.33/188.48 c 1161 1405 1488.77 215.10 6.92 1000000 0 192.13/192.22 c 1190 1442 1490.85 247.21 6.03 1000000 0 195.93/196.00 c 1253 1472 1510.05 197.10 7.66 1000000 0 199.63/199.73 c 1104 1288 1444.48 247.76 5.83 1000000 0 203.33/203.48 c 1180 1259 1476.22 222.05 6.65 1000000 0 207.12/207.22 c 1144 1393 1422.33 213.91 6.65 1000000 0 210.82/210.97 c 1194 1374 1454.46 219.76 6.62 1000000 0 214.62/214.73 c 1177 1435 1465.58 218.79 6.70 1000000 0 218.32/218.49 c 1167 1255 1476.16 215.21 6.86 1000000 0 222.13/222.24 c 1208 1384 1487.38 229.15 6.49 1000000 0 225.92/226.00 c 1139 1310 1498.49 235.63 6.36 1000000 0 229.62/229.76 c 1182 1496 1515.68 209.64 7.23 1000000 0 233.42/233.51 c 1158 1395 1470.68 218.07 6.74 1000000 0 237.11/237.27 c 1206 1410 1512.43 202.78 7.46 1000000 0 240.91/241.02 c 1225 1471 1467.22 169.65 8.65 1000000 0 244.61/244.78 c 1248 1346 1482.04 206.84 7.17 1000000 0 248.42/248.53 c 1166 1414 1467.26 226.22 6.49 1000000 0 252.11/252.27 c 1176 1374 1485.41 225.18 6.60 1000000 0 255.91/256.04 c 1107 1366 1469.63 215.60 6.82 1000000 0 259.71/259.80 c 1151 1336 1464.69 220.60 6.64 1000000 0 263.41/263.55 c 1195 1372 1477.91 228.63 6.46 1000000 0 267.21/267.32 c 1148 1513 1494.14 271.43 5.50 1000000 0 271.00/271.10 c 1191 1393 1500.05 251.13 5.97 1000000 0 274.70/274.87 c 1209 1283 1508.59 227.09 6.64 1000000 0 278.50/278.62 c 1196 1415 1472.31 229.04 6.43 1000000 0 282.20/282.38 c 1198 1374 1478.04 228.85 6.46 1000000 0 286.00/286.13 c 1086 1288 1460.42 230.60 6.33 1000000 0 289.70/289.89 c 1212 1457 1489.20 194.17 7.67 1000000 0 293.50/293.63 c 1161 1387 1463.27 209.17 7.00 1000000 0 297.20/297.38 c 1114 1479 1477.53 238.36 6.20 1000000 0 300.99/301.13 c 1170 1398 1470.37 211.30 6.96 1000000 0 304.69/304.88 c 1170 1227 1475.58 244.38 6.04 1000000 0 308.49/308.64 c 1143 1326 1473.44 210.36 7.00 1000000 0 312.20/312.38 c 1096 1308 1443.21 212.72 6.78 1000000 0 315.99/316.13 c 1178 1310 1475.78 201.04 7.34 1000000 0 319.69/319.89 c 1179 1442 1479.80 187.06 7.91 1000000 0 323.49/323.66 c 1243 1460 1499.20 186.12 8.06 1000000 0 327.29/327.41 c 1172 1298 1460.47 214.06 6.82 1000000 0 330.99/331.17 c 1225 1472 1496.19 226.92 6.59 1000000 0 334.78/334.93 c 1171 1405 1472.22 216.83 6.79 1000000 0 338.48/338.66 c 1187 1329 1444.09 203.44 7.10 1000000 0 342.28/342.43 c 1146 1317 1504.02 252.92 5.95 1000000 0 345.98/346.19 c 1177 1434 1482.46 213.76 6.94 1000000 0 349.78/349.96 c 1198 1351 1483.53 206.37 7.19 1000000 0 353.58/353.72 c 1199 1358 1500.74 259.87 5.78 1000000 0 357.28/357.47 c 1192 1443 1487.31 204.92 7.26 1000000 0 361.08/361.21 c 1162 1483 1483.52 248.01 5.98 1000000 0 364.77/364.97 c 1210 1472 1465.70 202.84 7.23 1000000 0 368.57/368.71 c 1168 1399 1459.95 192.63 7.58 1000000 0 372.27/372.47 c 1262 1338 1508.70 158.13 9.54 1000000 0 376.08/376.22 c 1202 1346 1476.03 212.29 6.95 1000000 0 379.77/379.98 c 1202 1422 1513.59 215.19 7.03 1000000 0 383.57/383.75 c 1267 1374 1509.77 199.17 7.58 1000000 0 387.37/387.53 c 1200 1350 1510.05 209.35 7.21 1000000 0 391.07/391.27 c 1143 1367 1448.35 215.69 6.71 1000000 0 394.87/395.05 c 1210 1472 1513.89 187.08 8.09 1000000 0 398.57/398.80 c 1185 1450 1458.35 193.29 7.54 1000000 0 402.37/402.54 c 1173 1602 1454.37 179.02 8.12 1000000 0 406.16/406.33 c 1232 1420 1532.22 224.37 6.83 1000000 0 409.86/410.07 c 1139 1396 1458.73 201.65 7.23 1000000 0 413.66/413.83 c 1187 1394 1488.19 254.68 5.84 1000000 0 417.36/417.58 c 1203 1333 1481.12 208.44 7.11 1000000 0 421.16/421.35 c 1226 1431 1466.66 167.10 8.78 1000000 0 424.86/425.08 c 1164 1314 1446.53 202.01 7.16 1000000 0 428.66/428.84 c 1133 1418 1479.32 223.86 6.61 1000000 0 432.46/432.60 c 1202 1409 1480.22 231.30 6.40 1000000 0 436.15/436.34 c 1112 1344 1477.32 183.17 8.07 1000000 0 439.86/440.09 c 1148 1423 1466.97 231.16 6.35 1000000 0 443.65/443.86 c 1184 1370 1487.90 206.13 7.22 1000000 0 447.35/447.60 c 1180 1344 1443.61 218.53 6.61 1000000 0 451.15/451.34 c 1209 1265 1486.53 240.91 6.17 1000000 0 454.85/455.09 c 1252 1508 1484.83 183.97 8.07 1000000 0 458.65/458.84 c 1201 1353 1479.81 199.62 7.41 1000000 0 462.35/462.58 c 1161 1434 1473.46 180.49 8.16 1000000 0 466.15/466.34 c 1206 1331 1484.38 222.51 6.67 1000000 0 469.84/470.09 c 1176 1444 1476.55 251.53 5.87 1000000 0 473.64/473.85 c 1163 1486 1486.45 196.54 7.56 1000000 0 477.44/477.61 c 1189 1394 1475.66 197.04 7.49 1000000 0 481.14/481.36 c 1153 1438 1458.54 214.75 6.79 1000000 0 484.85/485.10 c 1159 1441 1462.77 209.03 7.00 1000000 0 488.64/488.85 c 1171 1254 1462.15 203.83 7.17 1000000 0 492.34/492.58 c 1185 1294 1441.75 204.59 7.05 1000000 0 496.13/496.33 c 1156 1465 1501.39 217.27 6.91 1000000 0 499.83/500.10 c 1214 1436 1498.82 225.63 6.64 1000000 0 503.64/503.85 c 1156 1358 1442.15 209.11 6.90 1000000 0 507.43/507.60 c 1172 1389 1484.85 215.00 6.91 1000000 0 511.13/511.36 c 1195 1381 1475.21 185.96 7.93 1000000 0 514.93/515.12 c 1166 1433 1496.87 234.92 6.37 1000000 0 518.63/518.88 c 1171 1500 1478.49 193.29 7.65 1000000 0 522.43/522.67 c 1233 1418 1508.75 235.46 6.41 1000000 0 526.23/526.42 c 1156 1406 1471.57 243.22 6.05 1000000 0 529.93/530.17 c 1176 1431 1472.41 219.65 6.70 1000000 0 533.72/533.91 c 1192 1408 1454.00 209.23 6.95 1000000 0 537.42/537.65 c 1177 1462 1463.25 176.71 8.28 1000000 0 541.22/541.41 c 1216 1427 1480.91 185.77 7.97 1000000 0 544.92/545.15 c 1197 1420 1463.17 172.80 8.47 1000000 0 548.73/548.92 c 1177 1337 1492.75 238.04 6.27 1000000 0 552.42/552.66 c 1152 1548 1437.35 188.82 7.61 1000000 0 556.22/556.44 c 1245 1495 1524.76 224.49 6.79 1000000 0 559.92/560.19 c 1190 1463 1471.24 217.04 6.78 1000000 0 563.72/563.96 c 1155 1395 1477.10 234.97 6.29 1000000 0 567.51/567.70 c 1157 1331 1432.25 197.61 7.25 1000000 0 571.21/571.47 c 1213 1415 1491.35 174.56 8.54 1000000 0 575.02/575.23 c 1192 1305 1455.54 198.01 7.35 1000000 0 578.71/578.99 c 1140 1518 1505.73 234.28 6.43 1000000 0 582.51/582.75 c 1178 1349 1499.06 218.20 6.87 1000000 0 586.21/586.48 c 1162 1384 1445.88 231.81 6.24 1000000 0 590.01/590.25 c 1143 1365 1484.14 241.00 6.16 1000000 0 593.71/594.00 c 1204 1317 1473.33 170.72 8.63 1000000 0 597.51/597.75 c 1118 1407 1486.40 258.51 5.75 1000000 0 601.30/601.52 c 1187 1303 1490.28 218.84 6.81 1000000 0 605.00/605.28 c 1185 1415 1459.53 215.11 6.79 1000000 0 608.80/609.04 c 1233 1361 1471.26 191.69 7.68 1000000 0 612.51/612.78 c 1174 1419 1463.71 261.12 5.61 1000000 0 616.30/616.54 c 1097 1381 1491.82 229.41 6.50 1000000 0 620.00/620.29 c 1079 1411 1462.95 245.80 5.95 1000000 0 623.80/624.06 c 1144 1407 1496.50 212.83 7.03 1000000 0 627.60/627.82 c 1163 1396 1466.64 206.73 7.09 1000000 0 631.40/631.60 c 1249 1375 1514.99 265.46 5.71 1000000 0 635.09/635.37 c 1196 1291 1494.64 240.33 6.22 1000000 0 638.90/639.15 c 1170 1254 1528.64 216.42 7.06 1000000 0 642.69/642.90 c 1164 1458 1478.38 223.99 6.60 1000000 0 646.39/646.68 c 1152 1433 1458.93 206.93 7.05 1000000 0 650.18/650.42 c 1140 1233 1444.93 189.03 7.64 1000000 0 653.88/654.17 c 1142 1280 1477.97 220.63 6.70 1000000 0 657.68/657.92 c 1165 1272 1458.45 220.97 6.60 1000000 0 661.38/661.67 c 1130 1392 1501.83 220.40 6.81 1000000 0 665.19/665.43 c 1154 1542 1490.57 186.48 7.99 1000000 0 668.88/669.19 c 1182 1343 1479.83 212.02 6.98 1000000 0 672.68/672.94 c 1207 1316 1469.64 171.91 8.55 1000000 0 676.48/676.72 c 1213 1307 1473.23 186.30 7.91 1000000 0 680.18/680.47 c 1145 1405 1459.31 192.32 7.59 1000000 0 683.98/684.24 c 1172 1372 1481.56 186.67 7.94 1000000 0 687.67/687.98 c 1193 1232 1469.75 189.46 7.76 1000000 0 691.47/691.76 c 1092 1337 1505.21 245.78 6.12 1000000 0 695.27/695.53 c 1211 1443 1472.85 205.55 7.17 1000000 0 698.97/699.28 c 1193 1356 1456.68 190.44 7.65 1000000 0 702.77/703.06 c 1202 1398 1493.74 186.75 8.00 1000000 0 706.57/706.84 c 1163 1515 1491.25 190.77 7.82 1000000 0 710.27/710.59 c 1198 1362 1501.10 241.49 6.22 1000000 0 714.07/714.34 c 1167 1469 1450.08 205.44 7.06 1000000 0 717.77/718.09 c 1181 1378 1488.09 179.38 8.30 1000000 0 721.56/721.84 c 1137 1432 1462.21 184.89 7.91 1000000 0 725.26/725.59 c 1205 1316 1462.12 215.11 6.80 1000000 0 729.07/729.34 c 1168 1452 1486.11 210.12 7.07 1000000 0 732.76/733.10 c 1195 1512 1470.13 197.71 7.44 1000000 0 736.56/736.84 c 1167 1478 1457.99 216.43 6.74 1000000 0 740.26/740.59 c 1230 1453 1495.58 229.57 6.51 1000000 0 744.05/744.35 c 1196 1469 1489.31 208.35 7.15 1000000 0 747.85/748.10 c 1193 1430 1469.83 260.58 5.64 1000000 0 751.55/751.85 c 1179 1296 1457.20 222.00 6.56 1000000 0 755.25/755.60 c 1197 1456 1454.23 175.88 8.27 1000000 0 759.05/759.35 c 1123 1273 1490.06 235.44 6.33 1000000 0 762.85/763.12 c 1187 1419 1494.91 242.25 6.17 1000000 0 766.55/766.89 c 1220 1390 1528.02 258.82 5.90 1000000 0 770.35/770.65 c 1184 1411 1488.37 215.11 6.92 1000000 0 774.15/774.41 c 1203 1471 1487.27 236.89 6.28 1000000 0 777.85/778.14 c 1123 1393 1424.97 164.74 8.65 1000000 0 781.54/781.89 c 1158 1431 1465.49 230.05 6.37 1000000 0 785.34/785.64 c 1204 1471 1480.00 190.93 7.75 1000000 0 789.04/789.39 c 1207 1455 1455.52 163.38 8.91 1000000 0 792.85/793.15 c 1194 1431 1477.54 220.50 6.70 1000000 0 796.64/796.92 c 1081 1355 1491.56 207.87 7.18 1000000 0 800.34/800.66 c 1186 1300 1450.08 185.30 7.83 1000000 0 804.14/804.43 c 1194 1335 1489.03 197.59 7.54 1000000 0 807.84/808.18 c 1159 1504 1476.12 182.41 8.09 1000000 0 811.64/811.94 c 1163 1266 1485.50 188.93 7.86 1000000 0 815.43/815.70 c 1192 1201 1494.00 190.60 7.84 1000000 0 819.14/819.46 c 1081 1312 1461.36 209.12 6.99 1000000 0 822.93/823.22 c 1213 1320 1508.51 230.38 6.55 1000000 0 826.63/826.97 c 1209 1387 1460.24 180.89 8.07 1000000 0 830.43/830.72 c 1194 1411 1476.20 206.03 7.17 1000000 0 834.13/834.49 c 1210 1365 1518.61 183.42 8.28 1000000 0 837.93/838.26 c 1138 1470 1459.43 249.62 5.85 1000000 0 841.73/842.02 c 1227 1533 1496.00 188.06 7.96 1000000 0 845.42/845.76 c 1174 1537 1465.14 176.90 8.28 1000000 0 849.22/849.52 c 1202 1378 1466.28 205.76 7.13 1000000 0 853.02/853.30 c 1221 1406 1504.43 241.65 6.23 1000000 0 856.72/857.08 c 1158 1319 1481.84 211.21 7.02 1000000 0 860.52/860.83 c 1191 1353 1477.85 192.87 7.66 1000000 0 864.23/864.59 c 1269 1549 1510.80 203.38 7.43 1000000 0 868.02/868.33 c 1245 1409 1478.31 229.66 6.44 1000000 0 871.82/872.11 c 1215 1306 1527.39 233.02 6.55 1000000 0 875.51/875.87 c 1217 1397 1492.43 211.60 7.05 1000000 0 879.31/879.64 c 1187 1387 1511.19 268.88 5.62 1000000 0 883.02/883.39 c 1150 1233 1464.41 206.84 7.08 1000000 0 886.81/887.15 c 1177 1351 1479.03 198.83 7.44 1000000 0 890.61/890.94 c 1166 1323 1466.48 214.93 6.82 1000000 0 894.41/894.71 c 1208 1323 1476.94 231.03 6.39 1000000 0 898.11/898.45 c 1134 1444 1465.94 212.80 6.89 1000000 0 901.90/902.22 c 1210 1412 1500.18 246.16 6.09 1000000 0 905.60/905.99 c 1235 1529 1489.45 187.09 7.96 1000000 0 909.41/909.75 c 1161 1365 1518.66 235.44 6.45 1000000 0 913.20/913.52 c 1158 1453 1510.83 232.43 6.50 1000000 0 916.90/917.27 c 1178 1385 1478.24 223.37 6.62 1000000 0 920.70/921.03 c 1164 1368 1471.44 217.55 6.76 1000000 0 924.40/924.79 c 1175 1336 1488.93 214.63 6.94 1000000 0 928.20/928.53 c 1185 1390 1462.19 189.78 7.70 1000000 0 931.90/932.27 c 1194 1344 1473.58 214.93 6.86 1000000 0 935.70/936.03 c 1167 1403 1481.00 209.25 7.08 1000000 0 939.39/939.79 c 1142 1298 1486.67 217.36 6.84 1000000 0 943.19/943.56 c 1182 1421 1497.78 184.69 8.11 1000000 0 946.99/947.31 c 1131 1394 1468.91 224.21 6.55 1000000 0 950.69/951.06 c 1208 1307 1478.00 231.16 6.39 1000000 0 954.50/954.83 c 1197 1512 1469.10 222.89 6.59 1000000 0 958.19/958.57 c 1195 1354 1492.04 193.49 7.71 1000000 0 961.99/962.35 c 1211 1526 1518.04 241.76 6.28 1000000 0 965.69/966.09 c 1164 1341 1430.60 195.12 7.33 1000000 0 969.48/969.85 c 1101 1384 1466.76 222.20 6.60 1000000 0 973.28/973.61 c 1167 1360 1467.12 235.02 6.24 1000000 0 976.98/977.37 c 1145 1548 1477.95 185.38 7.97 1000000 0 980.79/981.13 c 1224 1394 1504.33 216.63 6.94 1000000 0 984.48/984.87 c 1195 1474 1462.91 232.23 6.30 1000000 0 988.28/988.64 c 1111 1364 1469.03 213.56 6.88 1000000 0 992.08/992.41 c 1143 1422 1484.26 237.60 6.25 1000000 0 995.78/996.17 c 1210 1455 1493.17 226.06 6.61 1000000 0 999.58/999.94 c 1190 1424 1498.80 259.33 5.78 1000000 0 1003.27/1003.68 c 1161 1435 1455.59 259.53 5.61 1000000 0 1007.07/1007.44 c 1191 1254 1492.62 206.14 7.24 1000000 0 1010.77/1011.19 c 1197 1411 1475.87 207.84 7.10 1000000 0 1014.57/1014.95 c 1154 1285 1479.73 201.67 7.34 1000000 0 1018.37/1018.70 c 1153 1438 1515.34 231.63 6.54 1000000 0 1022.07/1022.45 c 1188 1399 1463.89 170.18 8.60 1000000 0 1025.77/1026.20 c 1157 1378 1477.95 236.33 6.25 1000000 0 1029.57/1029.94 c 1167 1339 1450.08 192.84 7.52 1000000 0 1033.37/1033.70 c 1151 1322 1506.71 227.58 6.62 1000000 0 1037.06/1037.46 c 1136 1317 1437.68 182.33 7.89 1000000 0 1040.86/1041.22 c 1175 1339 1462.79 191.56 7.64 1000000 0 1044.57/1044.98 c 1164 1390 1471.44 227.56 6.47 1000000 0 1048.36/1048.72 c 1104 1440 1452.72 204.56 7.10 1000000 0 1052.06/1052.47 c 1210 1394 1486.26 185.64 8.01 1000000 0 1055.86/1056.24 c 1228 1440 1494.55 203.05 7.36 1000000 0 1059.56/1059.99 c 1232 1361 1474.44 183.29 8.04 1000000 0 1063.36/1063.75 c 1184 1355 1469.93 176.71 8.32 1000000 0 1067.06/1067.49 c 1158 1387 1461.70 201.15 7.27 1000000 0 1070.85/1071.25 c 1185 1339 1490.72 201.59 7.39 1000000 0 1074.65/1075.00 c 1229 1476 1491.14 224.72 6.64 1000000 0 1078.35/1078.74 c 1186 1375 1458.15 211.94 6.88 1000000 0 1082.06/1082.49 c 1175 1371 1461.70 183.67 7.96 1000000 0 1085.85/1086.24 c 1218 1374 1463.34 171.06 8.55 1000000 0 1089.66/1090.01 c 1165 1463 1504.52 190.40 7.90 1000000 0 1093.35/1093.76 c 1190 1394 1456.98 177.96 8.19 1000000 0 1097.15/1097.52 c 1182 1337 1479.75 246.61 6.00 1000000 0 1100.85/1101.26 c 1201 1589 1480.27 231.10 6.41 1000000 0 1104.64/1105.03 c 1149 1417 1505.37 211.84 7.11 1000000 0 1108.35/1108.79 c 1192 1418 1481.17 214.94 6.89 1000000 0 1112.14/1112.55 c 1109 1334 1506.25 215.96 6.97 1000000 0 1115.94/1116.31 c 1177 1406 1477.33 197.06 7.50 1000000 0 1119.64/1120.08 c 1225 1382 1506.78 205.96 7.32 1000000 0 1123.44/1123.84 c 1214 1423 1499.34 236.61 6.34 1000000 0 1127.24/1127.61 c 1239 1518 1477.51 198.65 7.44 1000000 0 1130.94/1131.38 c 1210 1318 1498.49 218.16 6.87 1000000 0 1134.74/1135.14 c 1201 1403 1476.54 194.10 7.61 1000000 0 1138.43/1138.88 c 1182 1340 1480.41 225.31 6.57 1000000 0 1142.23/1142.65 c 1167 1360 1508.56 209.51 7.20 1000000 0 1146.03/1146.40 c 1200 1381 1463.62 181.35 8.07 1000000 0 1149.73/1150.15 c 1158 1341 1478.69 199.27 7.42 1000000 0 1153.54/1153.93 c 1210 1444 1487.64 186.86 7.96 1000000 0 1157.23/1157.69 c 1184 1407 1495.89 236.63 6.32 1000000 0 1161.03/1161.44 c 1187 1227 1470.43 189.96 7.74 1000000 0 1164.82/1165.22 c 1195 1437 1509.41 213.38 7.07 1000000 0 1168.52/1168.96 c 1169 1474 1476.67 206.80 7.14 1000000 0 1172.32/1172.71 c 1149 1258 1487.01 203.71 7.30 1000000 0 1176.02/1176.47 c 1154 1339 1478.67 229.65 6.44 1000000 0 1179.83/1180.22 c 1208 1350 1478.08 187.01 7.90 1000000 0 1183.52/1183.96 c 1169 1260 1441.58 197.30 7.31 1000000 0 1187.32/1187.73 c 1175 1356 1499.63 230.61 6.50 1000000 0 1191.02/1191.48 c 1194 1400 1459.06 197.78 7.38 1000000 0 1194.82/1195.22 c 1158 1422 1471.65 208.62 7.05 1000000 0 1198.52/1198.98 c 1191 1498 1496.15 245.02 6.11 1000000 0 1202.31/1202.72 c 1190 1328 1449.90 185.98 7.80 1000000 0 1206.11/1206.50 c 1249 1388 1521.03 196.39 7.74 1000000 0 1209.81/1210.28 c 1218 1408 1525.14 227.45 6.71 1000000 0 1213.61/1214.03 c 1200 1481 1470.42 215.56 6.82 1000000 0 1217.32/1217.80 c 1203 1331 1489.92 192.93 7.72 1000000 0 1221.11/1221.56 c 1224 1355 1529.89 189.44 8.08 1000000 0 1224.91/1225.33 c 1174 1287 1503.97 242.63 6.20 1000000 0 1228.71/1229.10 c 1201 1556 1518.98 219.97 6.91 1000000 0 1232.40/1232.85 c 1216 1425 1485.87 213.82 6.95 1000000 0 1236.20/1236.61 c 1224 1329 1491.00 212.27 7.02 1000000 0 1239.90/1240.38 c 1233 1363 1512.26 215.16 7.03 1000000 0 1243.71/1244.13 c 1155 1213 1465.63 202.62 7.23 1000000 0 1247.41/1247.89 c 1187 1415 1470.48 230.35 6.38 1000000 0 1251.21/1251.67 c 1224 1481 1500.43 196.22 7.65 1000000 0 1255.01/1255.42 c 1161 1529 1486.93 209.91 7.08 1000000 0 1258.71/1259.18 c 1102 1534 1488.81 258.62 5.76 1000000 0 1262.51/1262.95 c 1172 1300 1455.13 217.93 6.68 1000000 0 1266.20/1266.69 c 1159 1319 1446.84 217.35 6.66 1000000 0 1270.01/1270.45 c 1217 1437 1471.49 200.64 7.33 1000000 0 1273.70/1274.18 c 1186 1356 1451.39 212.95 6.82 1000000 0 1277.50/1277.94 c 1159 1358 1475.89 216.55 6.82 1000000 0 1281.30/1281.72 c 1206 1321 1503.86 209.59 7.18 1000000 0 1285.00/1285.48 c 1199 1330 1477.15 199.26 7.41 1000000 0 1288.80/1289.22 c 1158 1360 1473.52 214.51 6.87 1000000 0 1292.49/1292.96 c 1151 1344 1447.61 202.16 7.16 1000000 0 1296.29/1296.72 c 1193 1363 1495.62 227.31 6.58 1000000 0 1299.99/1300.46 c 1213 1356 1465.19 196.36 7.46 1000000 0 1303.79/1304.22 c 1186 1270 1474.67 186.83 7.89 1000000 0 1307.50/1307.97 c 1133 1480 1459.27 199.23 7.32 1000000 0 1311.29/1311.74 c 1192 1447 1503.49 238.32 6.31 1000000 0 1314.99/1315.49 c 1204 1379 1479.41 227.02 6.52 1000000 0 1318.79/1319.26 c 1243 1405 1496.53 195.09 7.67 1000000 0 1322.49/1322.99 c 1113 1332 1422.73 166.35 8.55 1000000 0 1326.28/1326.75 c 1192 1399 1497.65 194.01 7.72 1000000 0 1330.08/1330.52 c 1198 1344 1502.65 213.16 7.05 1000000 0 1333.79/1334.26 c 1180 1363 1468.46 207.66 7.07 1000000 0 1337.58/1338.05 c 1179 1377 1495.99 230.67 6.49 1000000 0 1341.38/1341.82 c 1224 1424 1521.34 229.24 6.64 1000000 0 1345.08/1345.56 c 1128 1418 1469.16 209.63 7.01 1000000 0 1348.88/1349.32 c 1199 1547 1488.64 229.39 6.49 1000000 0 1352.58/1353.08 c 1168 1243 1494.96 235.49 6.35 1000000 0 1356.38/1356.83 c 1177 1377 1472.66 197.08 7.47 1000000 0 1360.07/1360.58 c 1167 1322 1454.23 215.82 6.74 1000000 0 1363.87/1364.33 c 1209 1455 1477.41 188.75 7.83 1000000 0 1367.67/1368.10 c 1190 1374 1510.38 239.33 6.31 1000000 0 1371.37/1371.88 c 1183 1425 1478.46 227.77 6.49 1000000 0 1375.17/1375.64 c 1140 1544 1470.62 192.22 7.65 1000000 0 1378.88/1379.39 c 1105 1539 1462.22 210.27 6.95 1000000 0 1382.67/1383.17 c 1178 1412 1520.84 214.88 7.08 1000000 0 1386.47/1386.95 c 1174 1395 1506.27 229.23 6.57 1000000 0 1390.27/1390.70 c 1246 1356 1460.96 173.40 8.43 1000000 0 1393.96/1394.45 c 1205 1473 1475.50 223.64 6.60 1000000 0 1397.76/1398.24 c 1218 1372 1518.50 241.53 6.29 1000000 0 1401.46/1401.96 c 1133 1293 1429.36 222.69 6.42 1000000 0 1405.27/1405.73 c 1195 1414 1470.41 220.17 6.68 1000000 0 1408.96/1409.49 c 1099 1414 1478.83 230.89 6.40 1000000 0 1412.76/1413.25 c 1125 1371 1483.07 175.65 8.44 1000000 0 1416.46/1416.99 c 1215 1325 1462.13 205.73 7.11 1000000 0 1420.26/1420.74 c 1166 1299 1457.13 206.53 7.06 1000000 0 1423.96/1424.49 c 1181 1398 1463.27 217.68 6.72 1000000 0 1427.75/1428.26 c 1158 1476 1511.76 243.85 6.20 1000000 0 1431.55/1432.02 c 1209 1286 1511.59 208.62 7.25 1000000 0 1435.25/1435.78 c 1188 1370 1485.41 249.09 5.96 1000000 0 1439.05/1439.53 c 1165 1355 1470.64 206.52 7.12 1000000 0 1442.76/1443.29 c 1200 1437 1507.68 193.72 7.78 1000000 0 1446.55/1447.04 c 1169 1288 1477.97 250.99 5.89 1000000 0 1450.35/1450.81 c 1189 1212 1529.57 237.39 6.44 1000000 0 1454.04/1454.59 c 1179 1446 1503.00 232.39 6.47 1000000 0 1457.84/1458.34 c 1103 1419 1478.49 239.49 6.17 1000000 0 1461.64/1462.10 c 1189 1413 1483.94 198.07 7.49 1000000 0 1465.34/1465.85 c 1178 1394 1462.14 203.20 7.20 1000000 0 1469.05/1469.59 c 1176 1329 1459.51 224.74 6.49 1000000 0 1472.84/1473.34 c 1185 1416 1462.86 203.32 7.19 1000000 0 1476.54/1477.09 c 1241 1430 1501.18 220.75 6.80 1000000 0 1480.34/1480.85 c 1163 1452 1479.53 219.77 6.73 1000000 0 1484.14/1484.60 c 1170 1312 1448.58 218.81 6.62 1000000 0 1487.84/1488.36 c 1207 1361 1475.54 205.96 7.16 1000000 0 1491.63/1492.11 c 1172 1250 1460.14 211.07 6.92 1000000 0 1495.33/1495.85 c 1159 1371 1459.77 190.87 7.65 1000000 0 1499.13/1499.62 c 1204 1446 1494.39 206.45 7.24 1000000 0 1502.83/1503.39 c 1211 1469 1503.47 216.14 6.96 1000000 0 1506.63/1507.16 c 1231 1446 1490.67 231.82 6.43 1000000 0 1510.43/1510.91 c 1162 1404 1479.15 239.37 6.18 1000000 0 1514.13/1514.67 c 1218 1368 1498.77 219.90 6.82 1000000 0 1517.93/1518.42 c 1159 1422 1446.74 252.84 5.72 1000000 0 1521.63/1522.19 c 1237 1440 1494.32 211.60 7.06 1000000 0 1525.42/1525.96 c 1182 1293 1522.33 257.28 5.92 1000000 0 1529.22/1529.73 c 1252 1392 1484.86 159.22 9.33 1000000 0 1532.93/1533.49 c 1191 1458 1477.68 215.87 6.85 1000000 0 1536.72/1537.24 c 1235 1427 1502.28 218.18 6.89 1000000 0 1540.42/1541.00 c 1189 1305 1507.17 214.85 7.02 1000000 0 1544.22/1544.74 c 1241 1373 1486.34 184.41 8.06 1000000 0 1547.92/1548.48 c 1122 1482 1459.54 220.46 6.62 1000000 0 1551.72/1552.21 c 1201 1254 1450.56 185.01 7.84 1000000 0 1555.42/1555.97 c 1144 1472 1483.58 230.50 6.44 1000000 0 1559.22/1559.72 c 1160 1514 1482.02 210.20 7.05 1000000 0 1562.91/1563.50 c 1243 1447 1514.58 194.29 7.80 1000000 0 1566.71/1567.25 c 1161 1384 1438.88 193.94 7.42 1000000 0 1570.51/1571.02 c 1182 1365 1476.04 218.66 6.75 1000000 0 1574.21/1574.76 c 1234 1348 1488.32 181.50 8.20 1000000 0 1578.02/1578.51 c 1148 1473 1455.36 170.68 8.53 1000000 0 1581.71/1582.26 c 1198 1356 1458.34 211.21 6.90 1000000 0 1585.51/1586.02 c 1167 1444 1499.96 222.05 6.76 1000000 0 1589.21/1589.78 c 1179 1431 1477.60 235.73 6.27 1000000 0 1593.00/1593.55 c 1219 1308 1492.64 230.24 6.48 1000000 0 1596.71/1597.30 c 1167 1381 1454.04 195.61 7.43 1000000 0 1600.50/1601.06 c 1127 1249 1460.27 227.69 6.41 1000000 0 1604.31/1604.82 c 1204 1396 1474.54 210.56 7.00 1000000 0 1608.10/1608.60 c 1151 1386 1505.78 250.75 6.01 1000000 0 1611.80/1612.36 c 1201 1586 1469.87 196.06 7.50 1000000 0 1615.60/1616.13 c 1213 1377 1487.22 222.04 6.70 1000000 0 1619.30/1619.90 c 1230 1396 1504.17 200.30 7.51 1000000 0 1623.10/1623.65 c 1235 1437 1489.28 177.20 8.40 1000000 0 1626.89/1627.40 c 1198 1335 1464.30 183.20 7.99 1000000 0 1630.59/1631.15 c 1183 1283 1477.53 226.33 6.53 1000000 0 1634.29/1634.88 c 1167 1364 1432.93 171.37 8.36 1000000 0 1638.09/1638.65 c 1223 1427 1514.40 206.12 7.35 1000000 0 1641.89/1642.44 c 1212 1243 1505.29 207.13 7.27 1000000 0 1645.69/1646.21 c 1243 1364 1520.06 198.35 7.66 1000000 0 1649.39/1649.98 c 1232 1438 1500.68 181.06 8.29 1000000 0 1653.19/1653.75 c 1234 1376 1502.14 200.10 7.51 1000000 0 1656.99/1657.51 c 1181 1485 1484.00 227.70 6.52 1000000 0 1660.68/1661.26 c 1174 1477 1468.14 225.31 6.52 1000000 0 1664.48/1665.02 c 1190 1424 1492.68 235.63 6.33 1000000 0 1668.19/1668.78 c 1179 1432 1505.66 239.29 6.29 1000000 0 1671.98/1672.56 c 1167 1307 1495.19 195.32 7.66 1000000 0 1675.79/1676.31 c 1177 1348 1478.51 250.38 5.91 1000000 0 1679.48/1680.09 c 1202 1373 1533.77 241.12 6.36 1000000 0 1683.28/1683.85 c 1169 1384 1473.28 236.56 6.23 1000000 0 1687.08/1687.60 c 1193 1324 1471.25 204.40 7.20 1000000 0 1690.77/1691.36 c 1220 1437 1491.73 176.61 8.45 1000000 0 1694.58/1695.11 c 1237 1321 1474.38 187.53 7.86 1000000 0 1698.27/1698.89 c 1228 1375 1502.39 199.87 7.52 1000000 0 1702.07/1702.66 c 1248 1321 1526.50 223.60 6.83 1000000 0 1705.87/1706.40 c 1189 1392 1473.41 184.78 7.97 1000000 0 1709.57/1710.15 c 1086 1266 1439.14 245.03 5.87 1000000 0 1713.28/1713.89 c 1196 1295 1443.66 207.98 6.94 1000000 0 1717.07/1717.65 c 1210 1338 1504.29 236.92 6.35 1000000 0 1720.87/1721.42 c 1225 1474 1512.32 206.86 7.31 1000000 0 1724.56/1725.18 c 1133 1320 1492.63 234.81 6.36 1000000 0 1728.36/1728.95 c 1196 1430 1471.70 178.98 8.22 1000000 0 1732.16/1732.70 c 1209 1349 1475.85 226.75 6.51 1000000 0 1735.86/1736.47 c 1255 1430 1510.31 192.83 7.83 1000000 0 1739.67/1740.23 c 1183 1581 1463.33 222.97 6.56 1000000 0 1743.36/1743.96 c 1193 1375 1469.86 202.31 7.27 1000000 0 1747.16/1747.73 c 1223 1471 1506.83 235.48 6.40 1000000 0 1750.86/1751.48 c 1209 1474 1493.93 226.87 6.59 1000000 0 1754.66/1755.26 c 1220 1330 1489.90 220.23 6.77 1000000 0 1758.45/1759.02 c 1160 1412 1487.21 248.24 5.99 1000000 0 1762.15/1762.77 c 1202 1406 1458.09 195.05 7.48 1000000 0 1765.96/1766.52 c 1111 1472 1454.18 215.07 6.76 1000000 0 1769.65/1770.28 c 1204 1419 1480.41 224.57 6.59 1000000 0 1773.45/1774.05 c 1215 1575 1497.10 264.80 5.65 1000000 0 1777.15/1777.79 c 1071 1326 1455.19 219.08 6.64 1000000 0 1780.95/1781.54 c 1201 1312 1466.46 211.84 6.92 1000000 0 1784.65/1785.29 c 1164 1270 1483.05 217.19 6.83 1000000 0 1788.44/1789.06 c 1148 1585 1499.15 216.81 6.91 1000000 0 1792.24/1792.80 c 1205 1446 1467.81 208.51 7.04 1000000 0 1795.94/1796.54 c 1171 1435 1476.58 203.13 7.27 1000000 0 1799.74/1800.30 c 1227 1422 1474.45 181.44 8.13 1000000 0 1800.06/1800.61 HOME/run: line 2: 22385 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685070-1278439522/watcher-2685070-1278439522 -o /tmp/evaluation-result-2685070-1278439522/solver-2685070-1278439522 -C 1800 -W 2000 -M 1800 run HOME/instance-2685070-1278439522.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/105 22384 /proc/meminfo: memFree=1445768/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) R 22382 22384 21941 0 -1 4202496 344 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540988309 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [startup+0.079968 s] /proc/loadavg: 0.92 0.98 0.99 3/105 22384 /proc/meminfo: memFree=1445768/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.10097 s] /proc/loadavg: 0.92 0.98 0.99 3/105 22384 /proc/meminfo: memFree=1445768/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300995 s] /proc/loadavg: 0.92 0.98 0.99 3/105 22384 /proc/meminfo: memFree=1445768/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701044 s] /proc/loadavg: 0.92 0.98 0.99 3/105 22384 /proc/meminfo: memFree=1445768/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50114 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1430872/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1.49 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3771 0 0 0 148 1 0 0 25 0 1 0 12160116 41422848 3700 1992294400 134512640 135071400 4294008384 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3700 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10134 s] /proc/loadavg: 0.92 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1430748/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=3.09 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3771 0 0 0 308 1 0 0 25 0 1 0 12160116 41422848 3700 1992294400 134512640 135071400 4294008384 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3700 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1430376/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=6.29 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3779 0 0 0 628 1 0 0 25 0 1 0 12160116 41422848 3708 1992294400 134512640 135071400 4294008384 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3708 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1430376/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=12.68 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3779 0 0 0 1267 1 0 0 25 0 1 0 12160116 41422848 3708 1992294400 134512640 135071400 4294008384 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3708 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/107 22386 /proc/meminfo: memFree=1430376/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=25.48 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 2547 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1003 s] /proc/loadavg: 0.96 0.98 0.99 2/107 22388 /proc/meminfo: memFree=1430376/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=51.07 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 5106 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526553 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 22388 /proc/meminfo: memFree=1430128/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=102.26 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 10225 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134525792 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22390 /proc/meminfo: memFree=1430004/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=162.24 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 16223 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22392 /proc/meminfo: memFree=1430004/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=222.22 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 22221 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22394 /proc/meminfo: memFree=1430004/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=282.2 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 28219 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22396 /proc/meminfo: memFree=1430004/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=342.18 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 34217 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 22396 /proc/meminfo: memFree=1429880/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=402.16 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 40215 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1061.96 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 106195 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22419 /proc/meminfo: memFree=1428268/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1121.94 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 112193 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22421 /proc/meminfo: memFree=1428268/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1181.92 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 118191 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22423 /proc/meminfo: memFree=1428144/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1241.9 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3780 0 0 0 124189 1 0 0 25 0 1 0 12160116 41422848 3709 1992294400 134512640 135071400 4294008384 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3709 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22423 /proc/meminfo: memFree=1428020/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1301.9 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 130188 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22425 /proc/meminfo: memFree=1428020/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1361.87 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 136185 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22427 /proc/meminfo: memFree=1428020/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1421.86 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 142184 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22429 /proc/meminfo: memFree=1427896/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1481.84 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 148182 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22431 /proc/meminfo: memFree=1427896/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1541.82 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 154180 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22431 /proc/meminfo: memFree=1427772/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1601.8 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 160178 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22433 /proc/meminfo: memFree=1427648/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1661.78 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 166176 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22435 /proc/meminfo: memFree=1427648/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1721.77 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 172175 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22437 /proc/meminfo: memFree=1427400/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1781.75 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 178173 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22437 /proc/meminfo: memFree=1427400/2059040 swapFree=4192956/4192956 [pid=22384] ppid=22382 vsize=8700 CPUtime=0 /proc/22384/stat : 22384 (run) S 22382 22384 21941 0 -1 4202496 361 0 0 0 0 0 0 0 19 0 1 0 12160116 8908800 244 1992294400 4194304 4922060 140734571644064 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22384/statm: 2175 244 204 178 0 68 0 [pid=22385] ppid=22384 vsize=40452 CPUtime=1800.06 /proc/22385/stat : 22385 (PB-wave) R 22384 22384 21941 0 -1 4202496 3781 0 0 0 180004 2 0 0 25 0 1 0 12160116 41422848 3710 1992294400 134512640 135071400 4294008384 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22385/statm: 10113 3710 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1800.04 CPU system time (s): 0.027995 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.027995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4154 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= 3 involuntary context switches= 5590 runsolver used 2.84457 second user time and 8.66768 second system time The end
Begin job on node080 at 2010-07-06 20:05:22 IDJOB=2685070 IDBENCH=74391 IDSOLVER=1171 FILE ID=node080/2685070-1278439522 PBS_JOBID= 11233470 Free space on /tmp= 62532 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_3-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685070-1278439522/watcher-2685070-1278439522 -o /tmp/evaluation-result-2685070-1278439522/solver-2685070-1278439522 -C 1800 -W 2000 -M 1800 run HOME/instance-2685070-1278439522.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cf899369697891a2aa5256c136e26408 RANDOM SEED=1314235001 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1446288 kB Buffers: 104756 kB Cached: 375412 kB SwapCached: 0 kB Active: 184032 kB Inactive: 356320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1446288 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6880 kB Writeback: 0 kB AnonPages: 60156 kB Mapped: 14484 kB Slab: 50564 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181636 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node080 at 2010-07-06 20:35:23