| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB-wave alpha 2 | ? (TO) | 1800.12 | 1800.72 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12036_4-sat.opb |
| MD5SUM | b4d4215a44d43278004dfcd0ea549fa8 |
| 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 | 57354 |
| Total number of constraints | 192702 |
| Number of constraints which are clauses | 191758 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 944 |
| 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 | 754 |
| 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.55 c PB-wave - v2 0.00/0.55 c command line = ./PB-wave 0.00/0.55 c seed = 102987056 0.00/0.55 c cutoff = 1000000 0.00/0.55 c tries = 1000000 0.00/0.55 c heuristic = c best, noise 50 / 100 0.00/0.55 #var 57354 #con 192702 0.00/0.55 mode is SAT 0.00/0.55 c tail starts after flip = 172062 0.00/0.55 c numatom = 57354, numclause = 192702, numliterals = 524041 0.00/0.55 c wff read in 0.00/0.55 c 0.00/0.55 c lowest final avg noise noise total avg mean mean 0.00/0.55 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.55 c this this this this this this success success until std 0.00/0.55 c try try try try try try rate tries assign dev 0.00/0.55 c 4.49/4.51 c 1181 1362 1507.86 224.03 6.73 1000000 0 8.48/8.50 c 1224 1394 1527.44 249.71 6.12 1000000 0 12.48/12.51 c 1305 1488 1597.53 267.78 5.97 1000000 0 16.39/16.49 c 1246 1387 1561.38 287.37 5.43 1000000 0 20.38/20.47 c 1251 1439 1538.95 260.30 5.91 1000000 0 24.38/24.46 c 1279 1528 1554.09 261.89 5.93 1000000 0 28.38/28.44 c 1217 1407 1526.97 291.00 5.25 1000000 0 32.38/32.43 c 1232 1460 1539.88 265.99 5.79 1000000 0 36.38/36.41 c 1217 1288 1550.98 256.36 6.05 1000000 0 40.37/40.40 c 1258 1399 1562.18 229.64 6.80 1000000 0 44.27/44.40 c 1209 1579 1555.22 252.72 6.15 1000000 0 48.28/48.35 c 1026 1360 1512.10 270.05 5.60 1000000 0 52.27/52.34 c 1298 1400 1588.48 273.07 5.82 1000000 0 56.27/56.33 c 1288 1515 1550.65 251.43 6.17 1000000 0 60.27/60.34 c 1255 1490 1573.38 266.92 5.89 1000000 0 64.27/64.31 c 1209 1429 1518.36 220.89 6.87 1000000 0 68.26/68.30 c 1266 1570 1580.90 286.99 5.51 1000000 0 72.16/72.26 c 1181 1498 1529.77 278.45 5.49 1000000 0 76.16/76.24 c 1238 1377 1544.63 284.81 5.42 1000000 0 80.17/80.22 c 1220 1474 1514.99 223.67 6.77 1000000 0 84.06/84.19 c 1155 1247 1509.46 273.28 5.52 1000000 0 88.06/88.16 c 1239 1463 1547.45 230.06 6.73 1000000 0 92.06/92.14 c 1283 1403 1546.35 263.35 5.87 1000000 0 96.06/96.14 c 1287 1563 1572.57 248.14 6.34 1000000 0 100.06/100.11 c 1198 1379 1523.54 291.88 5.22 1000000 0 103.95/104.09 c 1231 1516 1533.73 267.96 5.72 1000000 0 107.95/108.08 c 1256 1474 1572.13 267.51 5.88 1000000 0 111.95/112.07 c 1193 1453 1548.25 261.10 5.93 1000000 0 115.95/116.03 c 1212 1452 1519.15 252.78 6.01 1000000 0 119.95/120.01 c 1185 1395 1570.35 314.03 5.00 1000000 0 123.95/124.01 c 1194 1335 1564.24 243.55 6.42 1000000 0 127.95/128.01 c 1262 1432 1578.09 263.13 6.00 1000000 0 131.85/132.00 c 1223 1470 1565.79 301.98 5.19 1000000 0 135.84/135.98 c 1290 1461 1548.06 247.19 6.26 1000000 0 139.84/139.96 c 1160 1540 1547.15 375.99 4.11 1000000 0 143.84/143.93 c 1164 1343 1533.04 239.11 6.41 1000000 0 147.84/147.91 c 1123 1409 1544.82 286.99 5.38 1000000 0 151.84/151.90 c 1206 1433 1545.22 274.04 5.64 1000000 0 155.74/155.89 c 1305 1343 1565.05 244.18 6.41 1000000 0 159.73/159.86 c 1182 1314 1493.24 244.93 6.10 1000000 0 163.74/163.84 c 1202 1368 1535.29 258.03 5.95 1000000 0 167.73/167.82 c 1215 1463 1533.06 257.64 5.95 1000000 0 171.63/171.79 c 1253 1345 1541.97 215.92 7.14 1000000 0 175.63/175.77 c 1230 1368 1533.68 262.29 5.85 1000000 0 179.63/179.74 c 1229 1437 1506.34 239.04 6.30 1000000 0 183.64/183.73 c 1248 1420 1573.27 217.71 7.23 1000000 0 187.53/187.68 c 1206 1417 1487.98 230.70 6.45 1000000 0 191.52/191.67 c 1189 1268 1531.88 261.75 5.85 1000000 0 195.52/195.66 c 1185 1413 1552.65 280.31 5.54 1000000 0 199.52/199.64 c 1179 1418 1537.31 316.59 4.86 1000000 0 203.52/203.61 c 1171 1553 1513.62 262.78 5.76 1000000 0 207.42/207.59 c 1134 1486 1521.62 340.73 4.47 1000000 0 211.42/211.59 c 1232 1412 1591.03 263.83 6.03 1000000 0 215.42/215.59 c 1229 1587 1569.60 264.25 5.94 1000000 0 219.42/219.56 c 1226 1367 1548.14 271.53 5.70 1000000 0 223.42/223.55 c 1200 1435 1556.16 294.42 5.29 1000000 0 227.41/227.53 c 1239 1482 1530.68 210.28 7.28 1000000 0 231.31/231.49 c 1139 1368 1497.22 256.74 5.83 1000000 0 235.32/235.48 c 1157 1311 1540.83 283.37 5.44 1000000 0 239.31/239.44 c 1198 1462 1508.04 279.65 5.39 1000000 0 243.31/243.43 c 1200 1467 1547.28 248.26 6.23 1000000 0 247.31/247.42 c 1253 1462 1541.14 259.55 5.94 1000000 0 251.21/251.39 c 1225 1438 1508.34 213.34 7.07 1000000 0 255.20/255.36 c 1223 1444 1543.28 260.63 5.92 1000000 0 259.20/259.35 c 1119 1476 1550.24 317.90 4.88 1000000 0 263.20/263.33 c 1146 1324 1534.01 237.39 6.46 1000000 0 267.11/267.30 c 1268 1643 1547.89 300.02 5.16 1000000 0 271.10/271.29 c 1224 1463 1543.22 249.75 6.18 1000000 0 275.10/275.27 c 1253 1319 1546.44 247.33 6.25 1000000 0 279.10/279.25 c 1222 1311 1543.97 250.01 6.18 1000000 0 283.09/283.22 c 1209 1650 1510.74 292.85 5.16 1000000 0 287.09/287.21 c 1225 1403 1543.25 324.69 4.75 1000000 0 290.99/291.17 c 1156 1516 1522.63 276.97 5.50 1000000 0 294.99/295.17 c 1264 1598 1573.52 226.68 6.94 1000000 0 299.00/299.16 c 1184 1542 1525.62 294.31 5.18 1000000 0 302.99/303.13 c 1156 1442 1492.75 254.23 5.87 1000000 0 306.89/307.09 c 1229 1434 1539.37 277.03 5.56 1000000 0 310.98/311.10 c 1179 1359 1583.84 277.77 5.70 1000000 0 314.98/315.10 c 1225 1472 1542.26 274.01 5.63 1000000 0 318.89/319.06 c 1263 1433 1532.94 207.69 7.38 1000000 0 322.88/323.05 c 1253 1482 1562.23 269.06 5.81 1000000 0 326.88/327.01 c 1219 1432 1491.16 235.02 6.34 1000000 0 330.78/330.98 c 1212 1474 1525.73 249.42 6.12 1000000 0 334.78/334.95 c 1154 1342 1544.33 290.12 5.32 1000000 0 338.78/338.92 c 1166 1336 1519.45 265.20 5.73 1000000 0 342.67/342.89 c 1224 1449 1533.78 204.65 7.49 1000000 0 346.67/346.89 c 1205 1387 1566.45 308.80 5.07 1000000 0 350.68/350.85 c 1160 1444 1523.42 260.32 5.85 1000000 0 354.67/354.81 c 1227 1372 1524.98 263.33 5.79 1000000 0 358.67/358.80 c 1222 1599 1561.10 289.34 5.40 1000000 0 362.67/362.81 c 1240 1496 1571.10 243.53 6.45 1000000 0 366.57/366.79 c 1236 1490 1528.64 237.44 6.44 1000000 0 370.57/370.76 c 1125 1552 1512.23 285.06 5.30 1000000 0 374.56/374.75 c 1151 1406 1579.11 329.32 4.80 1000000 0 378.56/378.71 c 1232 1352 1518.42 256.08 5.93 1000000 0 382.57/382.70 c 1247 1411 1556.34 230.47 6.75 1000000 0 386.46/386.67 c 1085 1477 1520.82 263.61 5.77 1000000 0 390.46/390.67 c 1189 1487 1590.33 331.19 4.80 1000000 0 394.46/394.66 c 1238 1396 1540.90 272.58 5.65 1000000 0 398.46/398.62 c 1225 1428 1526.85 275.59 5.54 1000000 0 402.36/402.59 c 1175 1441 1521.11 280.08 5.43 1000000 0 406.35/406.58 c 1217 1430 1530.07 265.67 5.76 1000000 0 410.35/410.56 c 1245 1417 1551.62 284.61 5.45 1000000 0 414.35/414.55 c 1101 1585 1525.24 272.71 5.59 1000000 0 418.35/418.52 c 1177 1459 1490.27 243.16 6.13 1000000 0 422.35/422.50 c 1227 1588 1523.58 250.73 6.08 1000000 0 426.25/426.47 c 1139 1556 1499.96 237.26 6.32 1000000 0 430.24/430.44 c 1189 1321 1531.12 242.11 6.32 1000000 0 434.25/434.42 c 1175 1404 1539.40 302.47 5.09 1000000 0 438.14/438.38 c 1166 1414 1500.56 275.77 5.44 1000000 0 442.14/442.36 c 1235 1373 1549.49 282.03 5.49 1000000 0 446.14/446.33 c 1206 1481 1524.64 302.29 5.04 1000000 0 450.14/450.33 c 1294 1467 1576.85 266.70 5.91 1000000 0 454.14/454.33 c 1228 1535 1551.07 250.49 6.19 1000000 0 458.04/458.29 c 1200 1487 1483.92 241.38 6.15 1000000 0 462.03/462.28 c 1266 1467 1592.69 283.54 5.62 1000000 0 466.03/466.24 c 1181 1428 1537.21 298.40 5.15 1000000 0 470.03/470.21 c 1223 1326 1503.40 251.38 5.98 1000000 0 473.94/474.18 c 1196 1535 1527.94 227.49 6.72 1000000 0 477.93/478.17 c 1266 1606 1576.58 239.65 6.58 1000000 0 481.93/482.16 c 1255 1489 1545.15 228.67 6.76 1000000 0 485.93/486.14 c 1187 1436 1538.40 240.62 6.39 1000000 0 489.92/490.12 c 1257 1437 1528.86 242.40 6.31 1000000 0 493.92/494.12 c 1278 1735 1550.12 198.47 7.81 1000000 0 497.92/498.10 c 1269 1393 1556.87 269.75 5.77 1000000 0 501.82/502.09 c 1211 1335 1561.61 265.59 5.88 1000000 0 505.83/506.07 c 1233 1568 1548.53 275.26 5.63 1000000 0 509.82/510.03 c 1219 1384 1480.73 179.92 8.23 1000000 0 513.82/514.02 c 1200 1393 1519.60 302.94 5.02 1000000 0 517.72/517.99 c 1180 1474 1517.60 273.21 5.55 1000000 0 521.71/521.96 c 1099 1483 1541.94 331.98 4.64 1000000 0 525.71/525.94 c 1192 1471 1551.93 262.47 5.91 1000000 0 529.71/529.93 c 1236 1533 1560.96 254.91 6.12 1000000 0 533.61/533.89 c 1169 1369 1508.08 297.27 5.07 1000000 0 537.62/537.88 c 1302 1442 1574.53 248.87 6.33 1000000 0 541.61/541.87 c 1179 1498 1558.03 341.19 4.57 1000000 0 545.61/545.85 c 1266 1538 1543.31 225.96 6.83 1000000 0 549.61/549.83 c 1273 1589 1538.04 249.24 6.17 1000000 0 553.50/553.79 c 1178 1412 1496.03 266.12 5.62 1000000 0 557.51/557.77 c 1230 1362 1534.26 276.84 5.54 1000000 0 561.50/561.74 c 1187 1397 1506.67 291.09 5.18 1000000 0 565.50/565.75 c 1250 1277 1569.18 311.20 5.04 1000000 0 569.51/569.72 c 1194 1541 1542.80 226.86 6.80 1000000 0 573.50/573.70 c 1235 1453 1555.82 277.20 5.61 1000000 0 577.40/577.67 c 1232 1468 1521.87 229.91 6.62 1000000 0 581.39/581.63 c 1174 1529 1521.71 244.06 6.23 1000000 0 585.39/585.61 c 1204 1462 1537.53 271.85 5.66 1000000 0 589.30/589.59 c 1205 1376 1541.65 280.65 5.49 1000000 0 593.29/593.58 c 1253 1393 1546.97 283.59 5.45 1000000 0 597.29/597.54 c 1176 1517 1506.76 266.25 5.66 1000000 0 601.29/601.54 c 1271 1568 1540.00 258.74 5.95 1000000 0 605.29/605.51 c 1219 1329 1552.14 259.24 5.99 1000000 0 609.19/609.48 c 1209 1474 1495.28 263.50 5.67 1000000 0 613.18/613.45 c 1211 1341 1528.21 275.91 5.54 1000000 0 617.18/617.42 c 1215 1369 1519.69 284.09 5.35 1000000 0 621.08/621.38 c 1224 1379 1524.87 250.17 6.10 1000000 0 625.08/625.39 c 1202 1405 1565.40 304.46 5.14 1000000 0 629.08/629.38 c 1272 1410 1556.83 258.82 6.02 1000000 0 633.08/633.35 c 1261 1490 1554.39 267.42 5.81 1000000 0 637.08/637.34 c 1217 1380 1538.48 243.50 6.32 1000000 0 641.08/641.31 c 1217 1331 1514.20 237.72 6.37 1000000 0 644.97/645.29 c 1285 1394 1561.78 241.46 6.47 1000000 0 648.97/649.25 c 1186 1351 1497.02 255.30 5.86 1000000 0 652.97/653.24 c 1263 1445 1589.17 240.25 6.61 1000000 0 656.97/657.23 c 1247 1444 1549.55 263.92 5.87 1000000 0 660.88/661.19 c 1162 1453 1509.66 290.46 5.20 1000000 0 664.87/665.16 c 1223 1584 1513.98 256.71 5.90 1000000 0 668.87/669.12 c 1213 1442 1498.62 227.78 6.58 1000000 0 672.77/673.09 c 1110 1452 1526.75 264.55 5.77 1000000 0 676.76/677.07 c 1139 1290 1523.15 267.76 5.69 1000000 0 680.76/681.06 c 1206 1533 1548.65 262.18 5.91 1000000 0 684.76/685.04 c 1225 1476 1548.66 282.77 5.48 1000000 0 688.76/689.04 c 1169 1463 1516.60 292.76 5.18 1000000 0 692.77/693.02 c 1187 1335 1549.18 304.84 5.08 1000000 0 696.67/696.99 c 1182 1331 1536.22 283.48 5.42 1000000 0 700.67/700.97 c 1235 1284 1523.67 231.85 6.57 1000000 0 704.66/704.95 c 1242 1329 1528.96 238.20 6.42 1000000 0 708.66/708.91 c 1085 1447 1480.67 251.77 5.88 1000000 0 712.57/712.88 c 1238 1403 1545.02 248.42 6.22 1000000 0 716.56/716.88 c 1226 1463 1594.72 274.81 5.80 1000000 0 720.66/720.90 c 1226 1495 1549.26 284.29 5.45 1000000 0 724.56/724.88 c 1274 1452 1568.67 216.30 7.25 1000000 0 728.56/728.85 c 1238 1427 1524.81 244.34 6.24 1000000 0 732.55/732.84 c 1172 1364 1525.95 298.22 5.12 1000000 0 736.55/736.83 c 1236 1306 1574.74 287.42 5.48 1000000 0 740.55/740.81 c 1200 1426 1543.96 275.22 5.61 1000000 0 744.46/744.78 c 1118 1459 1529.82 271.54 5.63 1000000 0 748.45/748.73 c 1157 1436 1500.87 217.26 6.91 1000000 0 752.45/752.71 c 1173 1362 1528.84 254.46 6.01 1000000 0 756.35/756.69 c 1245 1311 1549.75 291.97 5.31 1000000 0 760.35/760.66 c 1116 1408 1491.01 253.15 5.89 1000000 0 764.34/764.65 c 1269 1516 1560.21 258.94 6.03 1000000 0 768.34/768.63 c 1283 1564 1545.96 243.60 6.35 1000000 0 772.24/772.59 c 1159 1337 1498.22 255.37 5.87 1000000 0 776.25/776.59 c 1324 1452 1570.49 214.81 7.31 1000000 0 780.24/780.56 c 1202 1365 1531.80 246.75 6.21 1000000 0 784.24/784.53 c 1181 1389 1517.43 277.43 5.47 1000000 0 788.24/788.52 c 1224 1409 1556.95 254.43 6.12 1000000 0 792.24/792.51 c 1274 1551 1576.37 291.94 5.40 1000000 0 796.14/796.49 c 1222 1469 1564.42 268.13 5.83 1000000 0 800.13/800.45 c 1201 1427 1504.63 222.82 6.75 1000000 0 804.13/804.43 c 1223 1447 1531.08 268.10 5.71 1000000 0 808.14/808.41 c 1182 1451 1543.41 255.52 6.04 1000000 0 812.03/812.37 c 1179 1476 1505.01 249.18 6.04 1000000 0 816.03/816.37 c 1246 1502 1566.51 226.36 6.92 1000000 0 820.03/820.35 c 1243 1444 1548.11 245.98 6.29 1000000 0 824.02/824.32 c 1259 1478 1526.52 255.06 5.98 1000000 0 827.93/828.30 c 1213 1453 1554.19 293.77 5.29 1000000 0 831.92/832.27 c 1222 1425 1532.30 272.34 5.63 1000000 0 835.92/836.24 c 1206 1323 1528.36 241.42 6.33 1000000 0 839.92/840.22 c 1224 1439 1516.10 223.05 6.80 1000000 0 843.92/844.20 c 1226 1391 1547.86 261.99 5.91 1000000 0 847.83/848.17 c 1199 1413 1515.00 269.50 5.62 1000000 0 851.82/852.16 c 1222 1509 1542.96 272.07 5.67 1000000 0 855.81/856.15 c 1204 1485 1571.80 266.03 5.91 1000000 0 859.82/860.11 c 1186 1336 1513.01 265.36 5.70 1000000 0 863.81/864.11 c 1260 1386 1547.48 283.16 5.47 1000000 0 867.71/868.09 c 1185 1440 1553.25 290.57 5.35 1000000 0 871.71/872.05 c 1139 1392 1512.21 276.50 5.47 1000000 0 875.71/876.04 c 1243 1460 1575.70 292.86 5.38 1000000 0 879.71/880.02 c 1260 1536 1529.60 200.52 7.63 1000000 0 883.61/883.99 c 1201 1578 1533.43 257.75 5.95 1000000 0 887.61/887.96 c 1212 1372 1508.37 253.73 5.94 1000000 0 891.60/891.94 c 1219 1446 1529.37 249.59 6.13 1000000 0 895.60/895.92 c 1252 1307 1528.00 263.83 5.79 1000000 0 899.60/899.90 c 1176 1343 1545.59 255.05 6.06 1000000 0 903.50/903.87 c 1243 1408 1521.93 233.45 6.52 1000000 0 907.50/907.84 c 1191 1351 1535.08 303.10 5.06 1000000 0 911.50/911.82 c 1199 1357 1533.21 239.09 6.41 1000000 0 915.49/915.81 c 1207 1497 1578.85 307.37 5.14 1000000 0 919.50/919.80 c 1245 1393 1563.97 252.57 6.19 1000000 0 923.39/923.76 c 1262 1422 1540.93 225.15 6.84 1000000 0 927.39/927.74 c 1240 1335 1539.64 266.74 5.77 1000000 0 931.40/931.73 c 1215 1545 1558.24 285.66 5.45 1000000 0 935.29/935.69 c 1218 1469 1509.61 245.00 6.16 1000000 0 939.29/939.66 c 1150 1353 1541.81 273.95 5.63 1000000 0 943.29/943.63 c 1249 1369 1509.14 239.72 6.30 1000000 0 947.19/947.59 c 1192 1535 1512.48 264.06 5.73 1000000 0 951.19/951.57 c 1206 1538 1540.22 285.72 5.39 1000000 0 955.18/955.56 c 1210 1355 1542.87 264.97 5.82 1000000 0 959.18/959.53 c 1233 1439 1520.49 297.91 5.10 1000000 0 963.19/963.50 c 1241 1449 1576.44 306.56 5.14 1000000 0 967.08/967.49 c 1221 1435 1571.10 347.66 4.52 1000000 0 971.08/971.47 c 1245 1437 1534.26 259.43 5.91 1000000 0 975.08/975.43 c 1160 1498 1525.57 278.67 5.47 1000000 0 979.08/979.40 c 1191 1547 1504.28 194.62 7.73 1000000 0 982.98/983.37 c 1213 1393 1531.44 277.59 5.52 1000000 0 986.97/987.35 c 1237 1642 1551.88 251.56 6.17 1000000 0 990.97/991.32 c 1214 1552 1510.80 220.83 6.84 1000000 0 994.87/995.29 c 1229 1462 1502.63 291.00 5.16 1000000 0 998.87/999.25 c 1193 1346 1489.70 243.57 6.12 1000000 0 1002.87/1003.21 c 1210 1455 1527.20 247.75 6.16 1000000 0 1006.76/1007.18 c 1229 1569 1517.47 215.92 7.03 1000000 0 1010.76/1011.19 c 1219 1578 1572.10 277.40 5.67 1000000 0 1014.76/1015.18 c 1212 1361 1579.03 347.34 4.55 1000000 0 1018.76/1019.17 c 1220 1448 1563.94 292.41 5.35 1000000 0 1022.76/1023.15 c 1207 1527 1537.32 258.89 5.94 1000000 0 1026.76/1027.12 c 1270 1315 1562.80 275.82 5.67 1000000 0 1030.66/1031.08 c 1219 1535 1519.17 262.86 5.78 1000000 0 1034.66/1035.08 c 1232 1483 1549.39 293.98 5.27 1000000 0 1038.66/1039.07 c 1263 1497 1556.33 224.87 6.92 1000000 0 1042.65/1043.08 c 1323 1454 1595.61 242.89 6.57 1000000 0 1046.65/1047.07 c 1170 1580 1533.51 254.23 6.03 1000000 0 1050.65/1051.03 c 1199 1520 1508.50 208.10 7.25 1000000 0 1054.65/1055.01 c 1229 1427 1519.98 233.99 6.50 1000000 0 1058.55/1058.97 c 1226 1528 1500.76 228.77 6.56 1000000 0 1062.55/1062.92 c 1179 1388 1515.61 272.47 5.56 1000000 0 1066.44/1066.90 c 1273 1366 1538.10 258.22 5.96 1000000 0 1070.44/1070.86 c 1173 1294 1508.13 285.87 5.28 1000000 0 1074.44/1074.84 c 1217 1354 1521.31 266.24 5.71 1000000 0 1078.44/1078.82 c 1214 1383 1522.62 281.33 5.41 1000000 0 1082.34/1082.78 c 1136 1385 1516.53 256.52 5.91 1000000 0 1086.35/1086.77 c 1235 1500 1581.19 304.74 5.19 1000000 0 1090.34/1090.74 c 1222 1473 1529.32 254.37 6.01 1000000 0 1094.34/1094.73 c 1235 1380 1554.02 238.99 6.50 1000000 0 1098.33/1098.70 c 1241 1524 1558.63 274.87 5.67 1000000 0 1102.23/1102.68 c 1201 1414 1526.35 283.30 5.39 1000000 0 1106.24/1106.65 c 1211 1518 1537.22 238.35 6.45 1000000 0 1110.23/1110.62 c 1161 1404 1559.01 334.87 4.66 1000000 0 1114.23/1114.61 c 1212 1463 1544.46 251.95 6.13 1000000 0 1118.24/1118.60 c 1243 1416 1534.64 241.03 6.37 1000000 0 1122.13/1122.56 c 1200 1400 1540.80 228.20 6.75 1000000 0 1126.12/1126.54 c 1165 1468 1519.15 267.69 5.68 1000000 0 1130.12/1130.52 c 1195 1554 1526.10 297.23 5.13 1000000 0 1134.12/1134.51 c 1247 1342 1564.46 262.47 5.96 1000000 0 1138.03/1138.49 c 1194 1313 1517.55 263.37 5.76 1000000 0 1142.02/1142.46 c 1209 1510 1514.52 253.19 5.98 1000000 0 1146.02/1146.45 c 1212 1316 1554.19 324.19 4.79 1000000 0 1150.02/1150.41 c 1190 1331 1509.15 262.61 5.75 1000000 0 1153.92/1154.38 c 1202 1403 1510.78 275.35 5.49 1000000 0 1157.92/1158.35 c 1179 1402 1520.77 227.99 6.67 1000000 0 1161.91/1162.31 c 1173 1446 1514.29 235.26 6.44 1000000 0 1165.81/1166.28 c 1219 1537 1523.45 228.64 6.66 1000000 0 1169.81/1170.29 c 1282 1364 1576.69 243.88 6.46 1000000 0 1173.81/1174.29 c 1227 1368 1611.23 324.75 4.96 1000000 0 1177.81/1178.26 c 1260 1327 1532.43 255.07 6.01 1000000 0 1181.81/1182.24 c 1212 1369 1520.96 299.64 5.08 1000000 0 1185.81/1186.22 c 1135 1333 1524.03 245.09 6.22 1000000 0 1189.81/1190.22 c 1284 1374 1574.40 254.47 6.19 1000000 0 1193.80/1194.20 c 1152 1381 1546.65 279.19 5.54 1000000 0 1197.70/1198.19 c 1230 1599 1548.52 266.60 5.81 1000000 0 1201.70/1202.20 c 1255 1418 1614.38 331.77 4.87 1000000 0 1205.70/1206.16 c 1225 1398 1521.52 257.76 5.90 1000000 0 1209.70/1210.15 c 1269 1482 1548.85 258.10 6.00 1000000 0 1213.70/1214.13 c 1229 1457 1497.99 287.43 5.21 1000000 0 1217.70/1218.11 c 1213 1534 1544.62 295.78 5.22 1000000 0 1221.60/1222.09 c 1189 1383 1524.22 214.99 7.09 1000000 0 1225.59/1226.08 c 1188 1385 1573.56 305.70 5.15 1000000 0 1229.59/1230.07 c 1242 1479 1570.76 293.50 5.35 1000000 0 1233.59/1234.05 c 1169 1410 1525.95 276.07 5.53 1000000 0 1237.59/1238.05 c 1233 1545 1559.76 277.76 5.62 1000000 0 1241.59/1242.01 c 1154 1382 1489.60 287.70 5.18 1000000 0 1245.59/1246.01 c 1221 1537 1564.89 270.47 5.79 1000000 0 1249.49/1249.99 c 1231 1337 1527.58 253.43 6.03 1000000 0 1253.49/1253.97 c 1191 1414 1570.61 255.12 6.16 1000000 0 1257.48/1257.94 c 1166 1402 1552.81 281.63 5.51 1000000 0 1261.38/1261.89 c 1184 1354 1503.36 270.05 5.57 1000000 0 1265.38/1265.85 c 1187 1503 1492.83 246.41 6.06 1000000 0 1269.38/1269.81 c 1220 1317 1513.31 209.68 7.22 1000000 0 1273.28/1273.79 c 1187 1541 1486.94 275.72 5.39 1000000 0 1277.28/1277.75 c 1234 1524 1522.42 208.93 7.29 1000000 0 1281.27/1281.75 c 1298 1374 1581.27 285.69 5.53 1000000 0 1285.27/1285.73 c 1197 1346 1514.63 242.99 6.23 1000000 0 1289.27/1289.71 c 1251 1620 1549.39 242.80 6.38 1000000 0 1293.18/1293.67 c 1254 1436 1528.55 276.25 5.53 1000000 0 1297.17/1297.66 c 1250 1473 1532.80 241.05 6.36 1000000 0 1301.17/1301.64 c 1199 1538 1535.85 253.69 6.05 1000000 0 1305.17/1305.63 c 1263 1612 1548.47 214.93 7.20 1000000 0 1309.16/1309.61 c 1211 1426 1534.25 247.04 6.21 1000000 0 1313.06/1313.58 c 1186 1444 1527.56 237.78 6.42 1000000 0 1317.06/1317.55 c 1169 1367 1514.34 238.82 6.34 1000000 0 1321.06/1321.52 c 1235 1339 1529.99 238.97 6.40 1000000 0 1324.97/1325.48 c 1187 1287 1528.99 286.99 5.33 1000000 0 1328.96/1329.47 c 1191 1473 1567.66 320.38 4.89 1000000 0 1332.96/1333.47 c 1269 1360 1594.70 272.42 5.85 1000000 0 1336.95/1337.44 c 1203 1328 1507.44 249.06 6.05 1000000 0 1340.95/1341.43 c 1233 1547 1532.36 251.08 6.10 1000000 0 1344.95/1345.43 c 1222 1470 1573.46 315.71 4.98 1000000 0 1348.85/1349.39 c 1161 1481 1515.52 255.72 5.93 1000000 0 1352.85/1353.39 c 1246 1480 1588.91 293.36 5.42 1000000 0 1356.86/1357.37 c 1211 1446 1541.65 277.85 5.55 1000000 0 1360.85/1361.34 c 1226 1509 1544.02 289.34 5.34 1000000 0 1364.85/1365.34 c 1205 1540 1523.14 253.58 6.01 1000000 0 1368.84/1369.32 c 1210 1513 1554.51 262.38 5.92 1000000 0 1372.84/1373.31 c 1243 1566 1546.92 239.01 6.47 1000000 0 1376.75/1377.29 c 1245 1410 1552.70 219.88 7.06 1000000 0 1380.74/1381.26 c 1156 1412 1523.54 226.32 6.73 1000000 0 1384.74/1385.25 c 1294 1339 1585.29 268.28 5.91 1000000 0 1388.74/1389.22 c 1182 1387 1511.48 264.30 5.72 1000000 0 1392.64/1393.18 c 1178 1264 1499.64 241.72 6.20 1000000 0 1396.64/1397.14 c 1145 1392 1488.28 271.06 5.49 1000000 0 1400.63/1401.10 c 1208 1541 1523.26 260.39 5.85 1000000 0 1404.53/1405.07 c 1177 1177 1530.97 267.98 5.71 1000000 0 1408.54/1409.04 c 1174 1440 1517.94 236.73 6.41 1000000 0 1412.53/1413.03 c 1258 1421 1550.92 282.37 5.49 1000000 0 1416.53/1417.01 c 1142 1510 1500.68 273.41 5.49 1000000 0 1420.43/1420.99 c 1204 1319 1539.41 283.48 5.43 1000000 0 1424.43/1424.99 c 1213 1495 1581.85 254.71 6.21 1000000 0 1428.43/1428.96 c 1172 1464 1567.25 278.70 5.62 1000000 0 1432.42/1432.94 c 1236 1324 1558.41 245.59 6.35 1000000 0 1436.42/1436.91 c 1218 1558 1513.96 283.81 5.33 1000000 0 1440.32/1440.87 c 1214 1399 1516.17 257.56 5.89 1000000 0 1444.32/1444.86 c 1239 1480 1550.25 256.40 6.05 1000000 0 1448.32/1448.87 c 1268 1323 1542.14 221.03 6.98 1000000 0 1452.32/1452.85 c 1210 1434 1531.53 274.78 5.57 1000000 0 1456.32/1456.85 c 1253 1408 1573.67 264.67 5.95 1000000 0 1460.32/1460.81 c 1230 1332 1513.74 237.19 6.38 1000000 0 1464.21/1464.78 c 1137 1470 1512.09 262.60 5.76 1000000 0 1468.21/1468.75 c 1193 1303 1525.15 224.37 6.80 1000000 0 1472.21/1472.73 c 1222 1521 1545.83 304.76 5.07 1000000 0 1476.21/1476.71 c 1234 1488 1529.41 260.15 5.88 1000000 0 1480.21/1480.70 c 1256 1499 1559.43 250.55 6.22 1000000 0 1484.11/1484.69 c 1230 1484 1563.91 216.76 7.21 1000000 0 1488.10/1488.66 c 1239 1379 1492.33 202.70 7.36 1000000 0 1492.11/1492.63 c 1258 1387 1530.77 237.79 6.44 1000000 0 1496.10/1496.61 c 1222 1448 1497.65 252.04 5.94 1000000 0 1500.00/1500.59 c 1280 1406 1560.92 298.00 5.24 1000000 0 1504.10/1504.60 c 1190 1457 1590.80 287.30 5.54 1000000 0 1508.00/1508.58 c 1176 1506 1538.56 289.86 5.31 1000000 0 1512.00/1512.57 c 1185 1568 1570.93 346.89 4.53 1000000 0 1516.00/1516.55 c 1225 1360 1543.62 245.90 6.28 1000000 0 1519.99/1520.51 c 1236 1481 1539.44 214.41 7.18 1000000 0 1523.89/1524.49 c 1266 1432 1544.31 207.46 7.44 1000000 0 1527.88/1528.45 c 1216 1496 1501.60 272.92 5.50 1000000 0 1531.88/1532.44 c 1249 1368 1567.17 321.25 4.88 1000000 0 1535.87/1536.44 c 1275 1409 1568.74 238.69 6.57 1000000 0 1539.87/1540.40 c 1227 1534 1509.68 233.95 6.45 1000000 0 1543.78/1544.40 c 1269 1393 1573.84 268.27 5.87 1000000 0 1547.77/1548.39 c 1193 1524 1546.36 207.77 7.44 1000000 0 1551.77/1552.38 c 1225 1421 1565.81 292.15 5.36 1000000 0 1555.77/1556.36 c 1246 1303 1556.46 258.68 6.02 1000000 0 1559.77/1560.35 c 1267 1382 1557.82 259.81 6.00 1000000 0 1563.77/1564.33 c 1200 1539 1537.93 261.16 5.89 1000000 0 1567.76/1568.32 c 1228 1424 1560.56 273.50 5.71 1000000 0 1571.76/1572.33 c 1248 1520 1581.52 295.64 5.35 1000000 0 1575.67/1576.29 c 1161 1344 1530.18 283.27 5.40 1000000 0 1579.66/1580.26 c 1181 1310 1534.84 208.12 7.37 1000000 0 1583.66/1584.25 c 1250 1339 1566.60 265.15 5.91 1000000 0 1587.66/1588.23 c 1249 1388 1541.78 232.59 6.63 1000000 0 1591.66/1592.21 c 1240 1444 1559.76 307.35 5.07 1000000 0 1595.66/1596.22 c 1270 1323 1571.85 253.90 6.19 1000000 0 1599.55/1600.19 c 1116 1225 1535.60 277.17 5.54 1000000 0 1603.55/1604.20 c 1276 1456 1572.18 235.23 6.68 1000000 0 1607.56/1608.20 c 1224 1360 1566.78 338.96 4.62 1000000 0 1611.55/1612.18 c 1234 1452 1519.16 223.00 6.81 1000000 0 1615.55/1616.15 c 1117 1400 1506.45 243.11 6.20 1000000 0 1619.55/1620.11 c 1220 1572 1500.78 239.04 6.28 1000000 0 1623.45/1624.08 c 1201 1486 1527.11 263.12 5.80 1000000 0 1627.45/1628.07 c 1257 1367 1570.38 261.15 6.01 1000000 0 1631.44/1632.04 c 1285 1544 1528.62 193.14 7.91 1000000 0 1635.44/1636.02 c 1222 1393 1536.33 217.18 7.07 1000000 0 1639.34/1640.00 c 1188 1382 1555.75 229.77 6.77 1000000 0 1643.34/1643.98 c 1244 1457 1533.82 240.67 6.37 1000000 0 1647.34/1647.96 c 1219 1464 1507.32 265.14 5.69 1000000 0 1651.34/1651.95 c 1238 1378 1563.00 294.58 5.31 1000000 0 1655.33/1655.92 c 1208 1416 1507.61 294.47 5.12 1000000 0 1659.34/1659.91 c 1236 1519 1577.04 274.52 5.74 1000000 0 1663.23/1663.88 c 1188 1614 1509.57 245.88 6.14 1000000 0 1667.23/1667.84 c 1244 1351 1522.91 230.28 6.61 1000000 0 1671.23/1671.82 c 1165 1497 1524.62 254.34 5.99 1000000 0 1675.23/1675.81 c 1231 1564 1541.67 239.74 6.43 1000000 0 1679.13/1679.77 c 1229 1337 1533.80 269.50 5.69 1000000 0 1683.13/1683.78 c 1187 1244 1565.84 255.41 6.13 1000000 0 1687.12/1687.74 c 1154 1510 1516.85 220.64 6.87 1000000 0 1691.13/1691.71 c 1230 1357 1511.97 264.58 5.71 1000000 0 1695.12/1695.72 c 1249 1276 1581.30 336.76 4.70 1000000 0 1699.12/1699.71 c 1198 1536 1559.05 291.82 5.34 1000000 0 1703.02/1703.69 c 1240 1287 1559.53 261.82 5.96 1000000 0 1707.02/1707.67 c 1225 1469 1541.76 262.12 5.88 1000000 0 1711.02/1711.65 c 1190 1435 1551.63 287.29 5.40 1000000 0 1715.01/1715.62 c 1233 1424 1511.82 268.86 5.62 1000000 0 1718.91/1719.58 c 1180 1384 1523.92 264.36 5.76 1000000 0 1722.91/1723.56 c 1239 1426 1527.27 246.28 6.20 1000000 0 1726.91/1727.52 c 1136 1485 1493.41 265.92 5.62 1000000 0 1730.91/1731.50 c 1244 1414 1568.07 270.32 5.80 1000000 0 1734.81/1735.47 c 1232 1480 1527.85 213.80 7.15 1000000 0 1738.81/1739.44 c 1125 1438 1507.01 259.26 5.81 1000000 0 1742.81/1743.41 c 1162 1378 1489.52 272.92 5.46 1000000 0 1746.80/1747.42 c 1274 1318 1572.31 235.68 6.67 1000000 0 1750.80/1751.40 c 1252 1546 1536.90 276.61 5.56 1000000 0 1754.70/1755.38 c 1243 1412 1549.73 299.32 5.18 1000000 0 1758.70/1759.37 c 1152 1407 1551.55 316.37 4.90 1000000 0 1762.71/1763.37 c 1212 1422 1562.65 281.37 5.55 1000000 0 1766.70/1767.36 c 1223 1530 1549.53 297.01 5.22 1000000 0 1770.70/1771.36 c 1204 1461 1556.43 299.42 5.20 1000000 0 1774.70/1775.36 c 1214 1542 1562.57 271.49 5.76 1000000 0 1778.69/1779.35 c 1232 1438 1556.63 276.42 5.63 1000000 0 1782.69/1783.34 c 1230 1554 1541.45 221.65 6.95 1000000 0 1786.69/1787.32 c 1219 1519 1556.57 283.57 5.49 1000000 0 1790.59/1791.29 c 1187 1350 1516.90 230.29 6.59 1000000 0 1794.60/1795.26 c 1189 1448 1536.90 236.27 6.50 1000000 0 1798.59/1799.27 c 1229 1497 1574.25 238.82 6.59 1000000 0 1800.10/1800.71 HOME/run: line 2: 20336 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-2684986-1278437734/watcher-2684986-1278437734 -o /tmp/evaluation-result-2684986-1278437734/solver-2684986-1278437734 -C 1800 -W 2000 -M 1800 run HOME/instance-2684986-1278437734.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: 1.00 1.00 0.93 3/106 20335 /proc/meminfo: memFree=1391856/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) R 20333 20335 19666 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177161109 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [startup+0.094631 s] /proc/loadavg: 1.00 1.00 0.93 3/106 20335 /proc/meminfo: memFree=1391856/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101631 s] /proc/loadavg: 1.00 1.00 0.93 3/106 20335 /proc/meminfo: memFree=1391856/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301665 s] /proc/loadavg: 1.00 1.00 0.93 3/106 20335 /proc/meminfo: memFree=1391856/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701733 s] /proc/loadavg: 1.00 1.00 0.93 3/106 20335 /proc/meminfo: memFree=1391856/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50087 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20337 /proc/meminfo: memFree=1376464/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1.49 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3862 0 0 0 148 1 0 0 25 0 1 0 11985275 41422848 3792 1992294400 134512640 135071400 4292018864 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3792 61 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20337 /proc/meminfo: memFree=1376216/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=3.09 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3863 0 0 0 308 1 0 0 25 0 1 0 11985275 41422848 3793 1992294400 134512640 135071400 4292018864 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3793 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30069 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20337 /proc/meminfo: memFree=1375968/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=6.29 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3871 0 0 0 628 1 0 0 25 0 1 0 11985275 41422848 3801 1992294400 134512640 135071400 4292018864 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3801 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20338 /proc/meminfo: memFree=1375968/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=12.68 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3871 0 0 0 1267 1 0 0 25 0 1 0 11985275 41422848 3801 1992294400 134512640 135071400 4292018864 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3801 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20338 /proc/meminfo: memFree=1375968/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=25.48 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3871 0 0 0 2547 1 0 0 25 0 1 0 11985275 41422848 3801 1992294400 134512640 135071400 4292018864 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3801 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20339 /proc/meminfo: memFree=1375968/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=51.07 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3871 0 0 0 5106 1 0 0 25 0 1 0 11985275 41422848 3801 1992294400 134512640 135071400 4292018864 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3801 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20341 /proc/meminfo: memFree=1375844/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=102.26 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 10225 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 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: 1.00 1.00 0.93 2/108 20342 /proc/meminfo: memFree=1375720/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=162.23 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 16222 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20343 /proc/meminfo: memFree=1375720/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=222.22 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 22221 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 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: 1.00 1.00 0.93 2/108 20345 /proc/meminfo: memFree=1375720/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=282.19 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 28218 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20347 /proc/meminfo: memFree=1375720/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=342.17 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 34216 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20348 /proc/meminfo: memFree=1375596/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=402.15 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 40214 1 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1121.93 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 112191 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20369 /proc/meminfo: memFree=1374728/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1181.91 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 118189 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134572024 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20371 /proc/meminfo: memFree=1374480/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1241.89 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 124187 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20373 /proc/meminfo: memFree=1374356/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1301.88 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 130186 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20374 /proc/meminfo: memFree=1374356/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1361.85 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 136183 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20375 /proc/meminfo: memFree=1374232/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1421.83 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 142181 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20377 /proc/meminfo: memFree=1374108/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1481.81 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 148179 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 0.93 2/108 20388 /proc/meminfo: memFree=1373364/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1541.77 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 154175 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 0.93 2/108 20389 /proc/meminfo: memFree=1373364/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1601.75 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 160173 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20391 /proc/meminfo: memFree=1373240/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1661.73 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 166171 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20392 /proc/meminfo: memFree=1373240/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1721.71 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 172169 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20394 /proc/meminfo: memFree=1373116/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1781.69 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 178167 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20394 /proc/meminfo: memFree=1373116/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1800.1 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 180008 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 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 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/108 20394 /proc/meminfo: memFree=1373116/2059040 swapFree=4192956/4192956 [pid=20335] ppid=20333 vsize=8700 CPUtime=0 /proc/20335/stat : 20335 (run) S 20333 20335 19666 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 11985275 8908800 244 1992294400 4194304 4922060 140735880741824 18446744073709551615 259177159813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20335/statm: 2175 244 204 178 0 68 0 [pid=20336] ppid=20335 vsize=40452 CPUtime=1800.1 /proc/20336/stat : 20336 (PB-wave) R 20335 20335 19666 0 -1 4202496 3872 0 0 0 180008 2 0 0 25 0 1 0 11985275 41422848 3802 1992294400 134512640 135071400 4292018864 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20336/statm: 10113 3802 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.12 CPU user time (s): 1800.09 CPU system time (s): 0.031995 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.031995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4244 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= 25017 runsolver used 2.86656 second user time and 8.63969 second system time The end
Begin job on node025 at 2010-07-06 19:35:34 IDJOB=2684986 IDBENCH=74232 IDSOLVER=1171 FILE ID=node025/2684986-1278437734 PBS_JOBID= 11233452 Free space on /tmp= 62504 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684986-1278437734/watcher-2684986-1278437734 -o /tmp/evaluation-result-2684986-1278437734/solver-2684986-1278437734 -C 1800 -W 2000 -M 1800 run HOME/instance-2684986-1278437734.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b4d4215a44d43278004dfcd0ea549fa8 RANDOM SEED=1061566664 node025.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.264 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.52 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.264 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 : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1392376 kB Buffers: 106912 kB Cached: 421896 kB SwapCached: 0 kB Active: 217552 kB Inactive: 371416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1392376 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7096 kB Writeback: 0 kB AnonPages: 60080 kB Mapped: 14400 kB Slab: 55844 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180336 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= 62504 MiB End job on node025 at 2010-07-06 20:05:35