Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.72 |
Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12016_4-sat.opb |
MD5SUM | 142eb7aa6e3fc22a3161df6b33ced1a2 |
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 | 48642 |
Total number of constraints | 155800 |
Number of constraints which are clauses | 155000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 800 |
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 | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 684 |
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.44 c PB-wave - v2 0.00/0.44 c command line = ./PB-wave 0.00/0.44 c seed = 31292926 0.00/0.44 c cutoff = 1000000 0.00/0.44 c tries = 1000000 0.00/0.44 c heuristic = c best, noise 50 / 100 0.00/0.44 #var 48642 #con 155800 0.00/0.44 mode is SAT 0.00/0.44 c tail starts after flip = 145926 0.00/0.44 c numatom = 48642, numclause = 155800, numliterals = 428939 0.00/0.44 c wff read in 0.00/0.44 c 0.00/0.44 c lowest final avg noise noise total avg mean mean 0.00/0.44 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.44 c this this this this this this success success until std 0.00/0.44 c try try try try try try rate tries assign dev 0.00/0.44 c 3.89/3.91 c 1211 1484 1530.14 222.63 6.87 1000000 0 7.29/7.39 c 1225 1488 1537.62 258.00 5.96 1000000 0 10.79/10.86 c 1280 1489 1557.37 253.17 6.15 1000000 0 14.29/14.32 c 1163 1622 1531.02 231.45 6.61 1000000 0 17.69/17.78 c 1206 1482 1563.54 240.04 6.51 1000000 0 21.19/21.24 c 1206 1454 1535.10 221.85 6.92 1000000 0 24.58/24.69 c 1123 1458 1514.85 177.96 8.51 1000000 0 28.08/28.15 c 1213 1337 1475.82 209.01 7.06 1000000 0 31.58/31.62 c 1284 1478 1532.77 207.57 7.38 1000000 0 34.97/35.05 c 1181 1341 1499.11 215.44 6.96 1000000 0 38.48/38.53 c 1241 1397 1534.93 261.78 5.86 1000000 0 41.97/42.01 c 1233 1429 1551.64 228.81 6.78 1000000 0 45.37/45.47 c 1219 1461 1493.73 219.01 6.82 1000000 0 48.87/48.93 c 1236 1407 1554.49 269.96 5.76 1000000 0 52.27/52.38 c 1228 1463 1529.82 282.35 5.42 1000000 0 55.77/55.84 c 1238 1443 1520.94 238.56 6.38 1000000 0 59.27/59.31 c 1276 1470 1547.63 200.58 7.72 1000000 0 62.67/62.77 c 1224 1399 1519.98 208.72 7.28 1000000 0 66.16/66.22 c 1145 1299 1518.66 230.21 6.60 1000000 0 69.56/69.68 c 1162 1356 1504.46 195.44 7.70 1000000 0 73.06/73.14 c 1190 1577 1543.46 241.17 6.40 1000000 0 76.56/76.63 c 1232 1474 1572.34 270.71 5.81 1000000 0 80.06/80.10 c 1233 1363 1545.90 242.19 6.38 1000000 0 83.46/83.58 c 1253 1460 1550.36 209.70 7.39 1000000 0 86.96/87.04 c 1263 1400 1534.13 171.61 8.94 1000000 0 90.46/90.52 c 1253 1373 1555.34 238.65 6.52 1000000 0 93.95/94.00 c 1232 1471 1562.56 230.53 6.78 1000000 0 97.35/97.47 c 1205 1529 1520.34 224.92 6.76 1000000 0 100.85/100.93 c 1279 1418 1575.75 224.25 7.03 1000000 0 104.25/104.39 c 1255 1353 1537.94 214.43 7.17 1000000 0 107.76/107.85 c 1218 1396 1531.62 216.23 7.08 1000000 0 111.25/111.32 c 1264 1472 1563.75 228.43 6.85 1000000 0 114.65/114.77 c 1267 1478 1517.68 183.63 8.26 1000000 0 118.15/118.23 c 1203 1433 1507.82 210.71 7.16 1000000 0 121.54/121.68 c 1163 1422 1523.55 285.30 5.34 1000000 0 125.04/125.16 c 1250 1484 1562.37 251.69 6.21 1000000 0 128.55/128.63 c 1208 1424 1530.50 243.75 6.28 1000000 0 132.04/132.11 c 1205 1600 1558.56 209.41 7.44 1000000 0 135.44/135.59 c 1184 1493 1560.74 296.13 5.27 1000000 0 138.94/139.05 c 1219 1451 1520.06 188.09 8.08 1000000 0 142.44/142.53 c 1266 1566 1558.44 226.58 6.88 1000000 0 145.83/145.99 c 1243 1439 1533.81 262.02 5.85 1000000 0 149.33/149.47 c 1296 1448 1571.00 254.26 6.18 1000000 0 152.84/152.95 c 1250 1405 1545.05 274.88 5.62 1000000 0 156.33/156.41 c 1223 1425 1507.97 204.94 7.36 1000000 0 159.73/159.87 c 1170 1456 1522.71 208.61 7.30 1000000 0 163.23/163.33 c 1236 1580 1538.13 232.93 6.60 1000000 0 166.73/166.81 c 1234 1334 1554.87 262.86 5.92 1000000 0 170.13/170.29 c 1231 1437 1579.30 279.55 5.65 1000000 0 173.63/173.76 c 1316 1415 1564.16 250.91 6.23 1000000 0 177.12/177.23 c 1213 1395 1544.36 279.09 5.53 1000000 0 180.52/180.68 c 1195 1478 1531.48 239.60 6.39 1000000 0 184.02/184.15 c 1187 1510 1541.54 217.34 7.09 1000000 0 187.52/187.62 c 1229 1394 1578.98 286.53 5.51 1000000 0 191.02/191.10 c 1247 1281 1561.02 266.71 5.85 1000000 0 194.42/194.57 c 1249 1509 1538.34 223.84 6.87 1000000 0 197.92/198.03 c 1250 1388 1541.20 256.44 6.01 1000000 0 201.41/201.50 c 1229 1387 1544.45 253.40 6.09 1000000 0 204.81/204.97 c 1183 1356 1551.57 219.08 7.08 1000000 0 208.31/208.44 c 1247 1547 1551.79 221.41 7.01 1000000 0 211.81/211.92 c 1296 1534 1575.25 257.92 6.11 1000000 0 215.21/215.37 c 1216 1497 1523.70 176.39 8.64 1000000 0 218.72/218.82 c 1250 1565 1528.14 221.79 6.89 1000000 0 222.12/222.27 c 1195 1438 1524.86 245.94 6.20 1000000 0 225.61/225.74 c 1256 1594 1545.17 246.00 6.28 1000000 0 229.01/229.19 c 1233 1500 1509.15 218.01 6.92 1000000 0 232.50/232.64 c 1214 1413 1521.17 235.18 6.47 1000000 0 236.00/236.10 c 1204 1243 1523.90 244.46 6.23 1000000 0 239.40/239.58 c 1226 1480 1527.83 217.65 7.02 1000000 0 242.91/243.06 c 1262 1523 1566.71 279.23 5.61 1000000 0 246.40/246.53 c 1233 1544 1518.53 217.09 6.99 1000000 0 249.80/249.97 c 1191 1365 1500.84 207.59 7.23 1000000 0 253.30/253.44 c 1264 1430 1556.91 223.05 6.98 1000000 0 256.79/256.91 c 1228 1497 1550.81 267.66 5.79 1000000 0 260.19/260.37 c 1248 1506 1500.72 211.25 7.10 1000000 0 263.69/263.83 c 1233 1592 1542.76 184.13 8.38 1000000 0 267.20/267.31 c 1271 1373 1570.63 248.95 6.31 1000000 0 270.59/270.78 c 1170 1579 1527.23 214.78 7.11 1000000 0 274.09/274.24 c 1205 1541 1554.23 257.78 6.03 1000000 0 277.59/277.72 c 1199 1538 1536.34 255.84 6.01 1000000 0 280.99/281.18 c 1228 1416 1526.13 210.49 7.25 1000000 0 284.48/284.66 c 1262 1360 1544.01 230.96 6.69 1000000 0 287.99/288.15 c 1311 1537 1575.68 207.20 7.60 1000000 0 291.48/291.60 c 1162 1571 1512.85 236.46 6.40 1000000 0 294.88/295.08 c 1250 1323 1546.94 228.24 6.78 1000000 0 298.38/298.52 c 1223 1493 1530.83 211.48 7.24 1000000 0 301.78/301.98 c 1201 1251 1520.74 255.96 5.94 1000000 0 305.28/305.43 c 1198 1299 1501.53 236.83 6.34 1000000 0 308.68/308.89 c 1259 1605 1557.38 212.97 7.31 1000000 0 312.18/312.35 c 1221 1534 1531.62 231.94 6.60 1000000 0 315.67/315.82 c 1260 1523 1535.49 184.59 8.32 1000000 0 319.07/319.26 c 1204 1462 1486.32 138.41 10.74 1000000 0 322.57/322.72 c 1264 1469 1536.28 210.25 7.31 1000000 0 325.97/326.19 c 1238 1355 1537.62 214.56 7.17 1000000 0 329.47/329.65 c 1212 1350 1538.80 263.86 5.83 1000000 0 332.97/333.13 c 1260 1558 1568.31 248.66 6.31 1000000 0 336.37/336.58 c 1249 1339 1523.46 203.10 7.50 1000000 0 339.87/340.04 c 1220 1523 1528.61 235.50 6.49 1000000 0 343.36/343.50 c 1207 1495 1527.78 230.74 6.62 1000000 0 346.76/346.97 c 1229 1502 1515.59 265.48 5.71 1000000 0 350.26/350.43 c 1189 1409 1548.96 242.91 6.38 1000000 0 353.66/353.88 c 1226 1467 1524.79 235.42 6.48 1000000 0 357.16/357.34 c 1203 1438 1505.87 174.60 8.62 1000000 0 360.67/360.82 c 1272 1429 1560.65 274.16 5.69 1000000 0 364.06/364.26 c 1182 1347 1519.80 231.25 6.57 1000000 0 367.56/367.74 c 1259 1475 1540.57 212.02 7.27 1000000 0 370.95/371.18 c 1213 1493 1495.34 218.43 6.85 1000000 0 374.45/374.65 c 1286 1487 1550.41 233.49 6.64 1000000 0 377.95/378.12 c 1280 1404 1539.31 199.85 7.70 1000000 0 381.46/381.60 c 1277 1454 1580.31 210.61 7.50 1000000 0 384.86/385.05 c 1230 1477 1507.51 269.83 5.59 1000000 0 388.25/388.49 c 1142 1448 1492.35 215.85 6.91 1000000 0 391.75/391.98 c 1261 1412 1573.99 271.31 5.80 1000000 0 395.25/395.46 c 1276 1520 1586.47 222.50 7.13 1000000 0 398.74/398.90 c 1185 1336 1539.42 214.33 7.18 1000000 0 402.14/402.36 c 1206 1491 1536.71 251.80 6.10 1000000 0 405.65/405.84 c 1239 1441 1559.03 219.90 7.09 1000000 0 409.05/409.29 c 1211 1496 1504.04 233.76 6.43 1000000 0 412.54/412.76 c 1230 1494 1561.29 252.50 6.18 1000000 0 416.04/416.22 c 1205 1419 1523.57 240.99 6.32 1000000 0 419.44/419.69 c 1194 1422 1508.16 239.75 6.29 1000000 0 422.94/423.14 c 1248 1472 1518.20 229.67 6.61 1000000 0 426.34/426.59 c 1254 1346 1525.54 228.05 6.69 1000000 0 429.84/430.06 c 1251 1442 1551.48 226.14 6.86 1000000 0 433.33/433.52 c 1245 1394 1530.94 219.52 6.97 1000000 0 436.73/436.97 c 1227 1453 1530.37 232.81 6.57 1000000 0 440.23/440.43 c 1194 1531 1537.24 265.41 5.79 1000000 0 443.73/443.90 c 1237 1337 1521.31 218.76 6.95 1000000 0 447.13/447.37 c 1212 1497 1558.74 218.01 7.15 1000000 0 450.63/450.83 c 1176 1495 1536.25 248.52 6.18 1000000 0 454.13/454.31 c 1164 1555 1554.63 255.44 6.09 1000000 0 457.52/457.79 c 1256 1384 1530.95 237.73 6.44 1000000 0 461.02/461.26 c 1267 1523 1562.02 234.11 6.67 1000000 0 464.52/464.75 c 1285 1513 1547.85 223.94 6.91 1000000 0 468.02/468.21 c 1248 1398 1490.52 197.63 7.54 1000000 0 471.42/471.66 c 1192 1351 1520.99 269.53 5.64 1000000 0 474.92/475.12 c 1215 1378 1523.30 201.45 7.56 1000000 0 478.32/478.58 c 1269 1490 1548.38 276.15 5.61 1000000 0 481.81/482.05 c 1263 1489 1519.79 222.95 6.82 1000000 0 485.31/485.52 c 1254 1485 1561.82 243.96 6.40 1000000 0 488.81/489.00 c 1293 1441 1545.62 199.02 7.77 1000000 0 492.21/492.48 c 1269 1370 1561.71 202.71 7.70 1000000 0 495.71/495.95 c 1248 1484 1516.12 261.35 5.80 1000000 0 499.22/499.42 c 1215 1466 1556.00 224.12 6.94 1000000 0 502.61/502.89 c 1221 1552 1533.17 218.95 7.00 1000000 0 506.11/506.37 c 1255 1453 1559.58 230.36 6.77 1000000 0 509.60/509.84 c 1224 1433 1562.84 264.98 5.90 1000000 0 513.10/513.30 c 1244 1345 1534.87 210.54 7.29 1000000 0 516.50/516.77 c 1203 1540 1542.85 255.18 6.05 1000000 0 520.01/520.21 c 1191 1310 1506.94 217.69 6.92 1000000 0 523.41/523.67 c 1248 1470 1554.99 235.98 6.59 1000000 0 526.90/527.14 c 1166 1383 1550.21 251.26 6.17 1000000 0 530.30/530.59 c 1195 1342 1477.28 216.95 6.81 1000000 0 533.80/534.08 c 1243 1335 1583.25 259.65 6.10 1000000 0 537.30/537.53 c 1172 1328 1510.17 279.72 5.40 1000000 0 540.79/541.00 c 1291 1429 1559.13 214.95 7.25 1000000 0 544.20/544.47 c 1268 1321 1537.08 237.26 6.48 1000000 0 547.69/547.95 c 1265 1515 1582.46 247.60 6.39 1000000 0 551.19/551.41 c 1213 1457 1506.61 202.59 7.44 1000000 0 554.59/554.87 c 1159 1391 1506.46 233.51 6.45 1000000 0 558.09/558.33 c 1268 1385 1549.53 241.60 6.41 1000000 0 561.49/561.76 c 1163 1455 1486.23 237.62 6.25 1000000 0 564.99/565.25 c 1266 1329 1576.30 240.58 6.55 1000000 0 568.39/568.70 c 1238 1435 1513.34 209.44 7.23 1000000 0 571.88/572.18 c 1269 1573 1553.93 194.75 7.98 1000000 0 575.38/575.65 c 1330 1546 1568.37 217.45 7.21 1000000 0 578.88/579.11 c 1190 1444 1522.08 207.41 7.34 1000000 0 582.28/582.57 c 1221 1456 1538.84 259.41 5.93 1000000 0 585.78/586.04 c 1244 1503 1561.01 222.84 7.01 1000000 0 589.28/589.50 c 1257 1282 1513.45 231.47 6.54 1000000 0 592.68/592.95 c 1221 1493 1529.92 252.06 6.07 1000000 0 596.07/596.39 c 1167 1539 1510.97 241.14 6.27 1000000 0 599.57/599.87 c 1255 1445 1548.90 226.11 6.85 1000000 0 603.07/603.32 c 1230 1508 1533.29 225.10 6.81 1000000 0 606.57/606.80 c 1260 1421 1532.64 192.67 7.95 1000000 0 609.97/610.26 c 1192 1379 1539.32 221.25 6.96 1000000 0 613.47/613.72 c 1213 1558 1533.61 232.31 6.60 1000000 0 616.97/617.21 c 1275 1360 1581.48 236.76 6.68 1000000 0 620.37/620.67 c 1198 1371 1516.19 265.32 5.71 1000000 0 623.86/624.13 c 1246 1503 1507.08 220.23 6.84 1000000 0 627.26/627.58 c 1181 1363 1515.04 242.16 6.26 1000000 0 630.76/631.04 c 1216 1458 1560.79 260.31 6.00 1000000 0 634.26/634.50 c 1228 1471 1499.60 204.03 7.35 1000000 0 637.67/637.96 c 1246 1482 1526.72 223.10 6.84 1000000 0 641.16/641.43 c 1243 1602 1544.26 259.26 5.96 1000000 0 644.66/644.90 c 1254 1482 1541.58 238.19 6.47 1000000 0 648.06/648.36 c 1217 1395 1535.56 269.79 5.69 1000000 0 651.55/651.83 c 1219 1374 1535.49 247.40 6.21 1000000 0 655.05/655.31 c 1297 1480 1558.69 244.92 6.36 1000000 0 658.56/658.80 c 1273 1377 1561.59 203.01 7.69 1000000 0 661.96/662.26 c 1166 1342 1529.25 242.27 6.31 1000000 0 665.45/665.71 c 1210 1278 1517.84 221.21 6.86 1000000 0 668.85/669.17 c 1254 1461 1526.56 209.27 7.29 1000000 0 672.35/672.63 c 1227 1346 1517.58 240.65 6.31 1000000 0 675.75/676.09 c 1262 1425 1538.21 232.51 6.62 1000000 0 679.24/679.56 c 1249 1528 1534.99 230.07 6.67 1000000 0 682.75/683.03 c 1206 1446 1512.57 216.11 7.00 1000000 0 686.15/686.49 c 1162 1451 1522.62 230.26 6.61 1000000 0 689.64/689.96 c 1234 1390 1544.13 221.16 6.98 1000000 0 693.14/693.40 c 1230 1416 1509.55 212.06 7.12 1000000 0 696.54/696.85 c 1259 1400 1530.50 207.15 7.39 1000000 0 700.04/700.33 c 1243 1464 1542.00 243.96 6.32 1000000 0 703.44/703.78 c 1226 1355 1543.81 262.34 5.88 1000000 0 706.94/707.25 c 1249 1401 1530.69 257.50 5.94 1000000 0 710.43/710.73 c 1254 1636 1571.30 226.80 6.93 1000000 0 713.93/714.21 c 1264 1470 1583.90 240.97 6.57 1000000 0 717.33/717.68 c 1236 1528 1548.76 252.56 6.13 1000000 0 720.83/721.14 c 1244 1519 1529.42 240.01 6.37 1000000 0 724.33/724.62 c 1269 1563 1544.27 222.77 6.93 1000000 0 727.84/728.10 c 1267 1619 1544.95 224.40 6.88 1000000 0 731.23/731.56 c 1191 1619 1516.93 224.28 6.76 1000000 0 734.73/735.01 c 1213 1465 1505.69 190.33 7.91 1000000 0 738.12/738.47 c 1194 1486 1522.85 240.96 6.32 1000000 0 741.62/741.94 c 1217 1450 1525.71 229.17 6.66 1000000 0 745.12/745.41 c 1200 1377 1532.08 200.55 7.64 1000000 0 748.52/748.88 c 1274 1366 1520.16 227.86 6.67 1000000 0 752.03/752.33 c 1230 1512 1516.05 245.78 6.17 1000000 0 755.52/755.82 c 1275 1391 1587.00 241.06 6.58 1000000 0 758.92/759.29 c 1211 1445 1535.63 258.13 5.95 1000000 0 762.42/762.78 c 1299 1408 1588.46 264.51 6.01 1000000 0 765.91/766.25 c 1252 1428 1551.55 262.35 5.91 1000000 0 769.41/769.71 c 1191 1293 1529.09 235.55 6.49 1000000 0 772.81/773.16 c 1186 1247 1528.36 248.64 6.15 1000000 0 776.32/776.61 c 1166 1435 1509.01 222.57 6.78 1000000 0 779.71/780.08 c 1285 1537 1525.63 201.69 7.56 1000000 0 783.21/783.56 c 1286 1473 1571.16 245.99 6.39 1000000 0 786.71/787.03 c 1259 1456 1543.65 216.56 7.13 1000000 0 790.11/790.50 c 1204 1392 1520.08 252.55 6.02 1000000 0 793.61/793.97 c 1236 1498 1547.59 201.98 7.66 1000000 0 797.11/797.41 c 1185 1322 1520.69 265.10 5.74 1000000 0 800.51/800.88 c 1262 1463 1539.16 204.66 7.52 1000000 0 804.00/804.35 c 1203 1489 1538.20 199.91 7.69 1000000 0 807.40/807.79 c 1159 1442 1469.25 209.66 7.01 1000000 0 810.90/811.26 c 1268 1457 1541.07 205.10 7.51 1000000 0 814.40/814.72 c 1148 1366 1497.71 217.71 6.88 1000000 0 817.80/818.18 c 1271 1425 1540.68 230.69 6.68 1000000 0 821.30/821.63 c 1204 1357 1522.48 228.40 6.67 1000000 0 824.70/825.09 c 1220 1298 1542.29 229.55 6.72 1000000 0 828.19/828.57 c 1218 1543 1587.97 268.90 5.91 1000000 0 831.69/832.04 c 1196 1306 1528.10 246.89 6.19 1000000 0 835.19/835.50 c 1215 1457 1528.81 247.06 6.19 1000000 0 838.59/838.96 c 1195 1416 1518.27 221.93 6.84 1000000 0 842.09/842.44 c 1268 1601 1587.69 227.70 6.97 1000000 0 845.49/845.90 c 1232 1451 1558.37 248.35 6.27 1000000 0 848.99/849.36 c 1212 1464 1529.99 199.88 7.65 1000000 0 852.48/852.83 c 1190 1459 1533.54 183.35 8.36 1000000 0 855.98/856.30 c 1246 1472 1524.49 205.16 7.43 1000000 0 859.38/859.76 c 1172 1565 1526.79 236.83 6.45 1000000 0 862.88/863.22 c 1237 1565 1512.86 211.78 7.14 1000000 0 866.28/866.67 c 1108 1512 1490.77 251.59 5.93 1000000 0 869.79/870.13 c 1276 1349 1532.60 224.40 6.83 1000000 0 873.28/873.60 c 1191 1242 1533.13 235.60 6.51 1000000 0 876.68/877.08 c 1285 1353 1559.80 211.67 7.37 1000000 0 880.17/880.54 c 1280 1454 1560.12 199.81 7.81 1000000 0 883.67/884.01 c 1181 1472 1547.00 259.53 5.96 1000000 0 887.07/887.48 c 1268 1406 1551.02 205.34 7.55 1000000 0 890.58/890.93 c 1262 1572 1524.28 240.58 6.34 1000000 0 894.07/894.40 c 1235 1347 1553.52 207.22 7.50 1000000 0 897.47/897.87 c 1229 1325 1542.65 247.01 6.25 1000000 0 900.97/901.32 c 1234 1367 1521.79 237.45 6.41 1000000 0 904.47/904.81 c 1226 1699 1563.29 231.37 6.76 1000000 0 907.86/908.28 c 1232 1525 1519.14 244.72 6.21 1000000 0 911.36/911.74 c 1272 1389 1542.07 217.92 7.08 1000000 0 914.87/915.22 c 1231 1418 1563.59 253.22 6.17 1000000 0 918.26/918.68 c 1258 1546 1545.50 206.87 7.47 1000000 0 921.76/922.15 c 1241 1453 1534.11 262.53 5.84 1000000 0 925.26/925.62 c 1180 1288 1544.72 240.79 6.42 1000000 0 928.66/929.07 c 1267 1469 1531.47 228.16 6.71 1000000 0 932.15/932.52 c 1215 1445 1525.05 237.74 6.41 1000000 0 935.55/935.98 c 1221 1425 1550.68 249.33 6.22 1000000 0 939.06/939.47 c 1239 1450 1587.66 226.85 7.00 1000000 0 942.55/942.94 c 1269 1522 1583.67 262.57 6.03 1000000 0 946.05/946.42 c 1169 1421 1544.85 257.19 6.01 1000000 0 949.45/949.88 c 1211 1432 1548.93 221.09 7.01 1000000 0 952.95/953.33 c 1165 1461 1529.73 220.33 6.94 1000000 0 956.45/956.81 c 1235 1320 1540.26 233.65 6.59 1000000 0 959.85/960.26 c 1186 1388 1492.67 196.89 7.58 1000000 0 963.34/963.72 c 1236 1404 1529.14 204.32 7.48 1000000 0 966.74/967.20 c 1258 1414 1561.21 231.58 6.74 1000000 0 970.24/970.67 c 1222 1438 1552.72 254.04 6.11 1000000 0 973.74/974.15 c 1202 1494 1562.30 245.44 6.37 1000000 0 977.24/977.61 c 1257 1335 1519.59 222.66 6.82 1000000 0 980.64/981.08 c 1270 1419 1566.72 209.44 7.48 1000000 0 984.14/984.53 c 1264 1367 1514.94 207.05 7.32 1000000 0 987.63/988.01 c 1277 1444 1572.01 230.31 6.83 1000000 0 991.03/991.46 c 1253 1460 1523.80 207.81 7.33 1000000 0 994.53/994.93 c 1261 1372 1528.78 169.65 9.01 1000000 0 998.03/998.41 c 1238 1424 1585.21 265.46 5.97 1000000 0 1001.43/1001.87 c 1231 1484 1531.87 224.05 6.84 1000000 0 1004.94/1005.35 c 1269 1386 1540.87 231.67 6.65 1000000 0 1008.43/1008.83 c 1205 1325 1571.46 276.65 5.68 1000000 0 1011.93/1012.31 c 1222 1390 1542.40 199.18 7.74 1000000 0 1015.33/1015.77 c 1233 1412 1528.69 215.14 7.11 1000000 0 1018.82/1019.25 c 1225 1470 1559.51 232.42 6.71 1000000 0 1022.32/1022.70 c 1209 1559 1520.70 203.45 7.47 1000000 0 1025.72/1026.16 c 1257 1413 1521.14 252.31 6.03 1000000 0 1029.23/1029.62 c 1229 1449 1534.35 241.78 6.35 1000000 0 1032.62/1033.09 c 1222 1418 1545.43 252.74 6.11 1000000 0 1036.12/1036.52 c 1222 1525 1477.41 218.85 6.75 1000000 0 1039.52/1039.97 c 1198 1591 1525.58 204.68 7.45 1000000 0 1043.02/1043.45 c 1211 1437 1557.30 271.03 5.75 1000000 0 1046.51/1046.90 c 1198 1506 1502.70 224.71 6.69 1000000 0 1049.91/1050.35 c 1236 1420 1535.25 229.10 6.70 1000000 0 1053.42/1053.82 c 1258 1389 1551.30 209.17 7.42 1000000 0 1056.81/1057.27 c 1203 1503 1506.11 254.18 5.93 1000000 0 1060.31/1060.73 c 1289 1511 1537.23 180.61 8.51 1000000 0 1063.81/1064.20 c 1158 1329 1520.05 284.88 5.34 1000000 0 1067.21/1067.65 c 1215 1517 1530.92 241.83 6.33 1000000 0 1070.70/1071.10 c 1203 1440 1523.39 204.50 7.45 1000000 0 1074.10/1074.57 c 1279 1508 1531.01 211.74 7.23 1000000 0 1077.61/1078.03 c 1245 1365 1520.73 251.55 6.05 1000000 0 1081.10/1081.50 c 1240 1453 1556.95 218.27 7.13 1000000 0 1084.50/1084.97 c 1246 1592 1522.20 215.62 7.06 1000000 0 1088.00/1088.43 c 1202 1463 1533.32 230.94 6.64 1000000 0 1091.40/1091.88 c 1216 1443 1507.17 239.93 6.28 1000000 0 1094.89/1095.35 c 1239 1580 1545.41 202.48 7.63 1000000 0 1098.40/1098.81 c 1204 1415 1513.64 248.88 6.08 1000000 0 1101.80/1102.26 c 1208 1312 1539.33 251.83 6.11 1000000 0 1105.29/1105.74 c 1242 1318 1563.64 259.51 6.03 1000000 0 1108.79/1109.21 c 1263 1447 1541.25 184.74 8.34 1000000 0 1112.19/1112.69 c 1265 1320 1570.67 290.76 5.40 1000000 0 1115.69/1116.15 c 1204 1415 1532.99 225.85 6.79 1000000 0 1119.09/1119.59 c 1218 1409 1502.69 220.58 6.81 1000000 0 1122.59/1123.05 c 1285 1428 1522.69 199.92 7.62 1000000 0 1126.08/1126.50 c 1244 1443 1512.65 211.23 7.16 1000000 0 1129.48/1129.96 c 1249 1424 1507.21 200.95 7.50 1000000 0 1132.98/1133.44 c 1211 1565 1553.67 227.89 6.82 1000000 0 1136.48/1136.90 c 1185 1526 1530.71 253.04 6.05 1000000 0 1139.88/1140.36 c 1209 1366 1522.08 226.06 6.73 1000000 0 1143.38/1143.82 c 1206 1540 1528.21 207.49 7.37 1000000 0 1146.78/1147.27 c 1225 1428 1523.73 254.47 5.99 1000000 0 1150.28/1150.75 c 1225 1349 1555.20 231.81 6.71 1000000 0 1153.77/1154.20 c 1184 1536 1548.79 233.86 6.62 1000000 0 1157.17/1157.68 c 1226 1497 1544.03 240.51 6.42 1000000 0 1160.67/1161.14 c 1243 1470 1531.75 222.06 6.90 1000000 0 1164.17/1164.60 c 1176 1433 1513.52 270.16 5.60 1000000 0 1167.57/1168.08 c 1235 1472 1575.14 229.69 6.86 1000000 0 1171.08/1171.55 c 1260 1491 1535.88 231.42 6.64 1000000 0 1174.57/1175.02 c 1240 1370 1554.86 230.52 6.74 1000000 0 1177.97/1178.49 c 1158 1446 1546.96 249.84 6.19 1000000 0 1181.46/1181.94 c 1200 1541 1523.64 260.81 5.84 1000000 0 1184.96/1185.42 c 1274 1322 1561.26 225.01 6.94 1000000 0 1188.36/1188.88 c 1244 1460 1520.77 179.99 8.45 1000000 0 1191.87/1192.34 c 1228 1558 1534.17 236.89 6.48 1000000 0 1195.36/1195.81 c 1285 1396 1548.18 199.87 7.75 1000000 0 1198.76/1199.25 c 1183 1397 1513.20 203.24 7.45 1000000 0 1202.26/1202.71 c 1237 1395 1540.05 238.21 6.46 1000000 0 1205.66/1206.18 c 1278 1526 1556.56 225.48 6.90 1000000 0 1209.15/1209.64 c 1188 1452 1550.06 228.89 6.77 1000000 0 1212.65/1213.11 c 1205 1506 1547.14 258.23 5.99 1000000 0 1216.06/1216.58 c 1247 1398 1544.91 249.74 6.19 1000000 0 1219.55/1220.04 c 1226 1358 1499.46 221.82 6.76 1000000 0 1223.05/1223.51 c 1244 1691 1559.84 236.38 6.60 1000000 0 1226.45/1226.97 c 1186 1467 1525.64 240.60 6.34 1000000 0 1229.95/1230.42 c 1188 1400 1514.32 228.61 6.62 1000000 0 1233.35/1233.89 c 1263 1461 1544.54 225.62 6.85 1000000 0 1236.84/1237.36 c 1248 1547 1547.24 243.08 6.37 1000000 0 1240.35/1240.85 c 1277 1546 1565.93 245.34 6.38 1000000 0 1243.84/1244.32 c 1278 1457 1543.89 217.31 7.10 1000000 0 1247.24/1247.79 c 1235 1420 1559.88 274.09 5.69 1000000 0 1250.74/1251.24 c 1241 1491 1505.02 225.43 6.68 1000000 0 1254.14/1254.69 c 1222 1416 1507.46 238.87 6.31 1000000 0 1257.64/1258.17 c 1261 1507 1547.76 243.88 6.35 1000000 0 1261.14/1261.64 c 1249 1414 1550.14 229.43 6.76 1000000 0 1264.63/1265.11 c 1241 1476 1554.28 213.12 7.29 1000000 0 1268.03/1268.57 c 1181 1446 1508.48 207.97 7.25 1000000 0 1271.53/1272.05 c 1249 1462 1519.64 233.37 6.51 1000000 0 1275.03/1275.53 c 1196 1477 1577.52 260.85 6.05 1000000 0 1278.53/1279.00 c 1268 1451 1539.05 223.68 6.88 1000000 0 1281.93/1282.48 c 1307 1542 1553.50 216.98 7.16 1000000 0 1285.43/1285.94 c 1211 1400 1482.74 229.85 6.45 1000000 0 1288.83/1289.39 c 1240 1434 1539.23 181.82 8.47 1000000 0 1292.32/1292.86 c 1305 1550 1549.84 183.87 8.43 1000000 0 1295.82/1296.34 c 1277 1549 1581.60 245.30 6.45 1000000 0 1299.22/1299.80 c 1191 1537 1521.76 224.29 6.78 1000000 0 1302.72/1303.26 c 1191 1471 1526.24 261.88 5.83 1000000 0 1306.23/1306.74 c 1274 1471 1567.87 219.51 7.14 1000000 0 1309.63/1310.20 c 1195 1434 1523.14 178.76 8.52 1000000 0 1313.12/1313.66 c 1238 1400 1530.77 211.75 7.23 1000000 0 1316.51/1317.09 c 1230 1438 1504.69 219.39 6.86 1000000 0 1320.01/1320.57 c 1238 1542 1580.39 227.16 6.96 1000000 0 1323.51/1324.04 c 1315 1494 1553.36 224.05 6.93 1000000 0 1327.00/1327.51 c 1216 1437 1507.52 207.40 7.27 1000000 0 1330.41/1330.98 c 1143 1508 1559.34 271.42 5.75 1000000 0 1333.90/1334.43 c 1156 1625 1527.93 246.48 6.20 1000000 0 1337.40/1337.90 c 1252 1503 1567.51 245.03 6.40 1000000 0 1340.80/1341.34 c 1266 1420 1518.10 217.28 6.99 1000000 0 1344.30/1344.81 c 1232 1522 1548.56 201.58 7.68 1000000 0 1347.69/1348.28 c 1182 1402 1564.86 237.47 6.59 1000000 0 1351.19/1351.71 c 1244 1462 1502.07 233.81 6.42 1000000 0 1354.60/1355.18 c 1294 1441 1545.69 232.26 6.65 1000000 0 1358.09/1358.65 c 1297 1555 1559.73 203.71 7.66 1000000 0 1361.59/1362.10 c 1283 1570 1536.64 200.14 7.68 1000000 0 1364.99/1365.57 c 1222 1445 1541.52 265.96 5.80 1000000 0 1368.49/1369.05 c 1191 1384 1546.37 234.02 6.61 1000000 0 1371.99/1372.51 c 1226 1453 1520.55 237.34 6.41 1000000 0 1375.38/1375.98 c 1240 1365 1551.99 245.24 6.33 1000000 0 1378.89/1379.43 c 1250 1362 1517.06 199.72 7.60 1000000 0 1382.28/1382.87 c 1222 1288 1482.74 207.85 7.13 1000000 0 1385.78/1386.32 c 1248 1556 1511.08 202.39 7.47 1000000 0 1389.18/1389.78 c 1231 1271 1541.90 239.97 6.43 1000000 0 1392.68/1393.25 c 1248 1436 1563.48 234.30 6.67 1000000 0 1396.18/1396.74 c 1265 1460 1595.28 273.11 5.84 1000000 0 1399.58/1400.19 c 1214 1534 1511.52 207.60 7.28 1000000 0 1403.08/1403.64 c 1210 1457 1545.95 266.45 5.80 1000000 0 1406.47/1407.09 c 1247 1353 1512.51 221.42 6.83 1000000 0 1409.97/1410.55 c 1178 1476 1552.35 227.97 6.81 1000000 0 1413.47/1414.01 c 1268 1410 1549.54 234.00 6.62 1000000 0 1416.87/1417.48 c 1241 1475 1552.65 211.93 7.33 1000000 0 1420.37/1420.96 c 1235 1464 1562.66 209.91 7.44 1000000 0 1423.87/1424.42 c 1209 1278 1513.98 233.19 6.49 1000000 0 1427.27/1427.88 c 1258 1465 1523.92 247.76 6.15 1000000 0 1430.77/1431.35 c 1242 1421 1543.02 228.52 6.75 1000000 0 1434.26/1434.84 c 1262 1500 1562.37 264.53 5.91 1000000 0 1437.76/1438.30 c 1199 1524 1545.24 239.81 6.44 1000000 0 1441.16/1441.75 c 1173 1430 1505.23 216.84 6.94 1000000 0 1444.66/1445.20 c 1211 1306 1514.51 230.95 6.56 1000000 0 1448.07/1448.67 c 1234 1439 1548.29 236.81 6.54 1000000 0 1451.56/1452.12 c 1235 1361 1512.78 200.48 7.55 1000000 0 1454.96/1455.59 c 1148 1428 1533.27 189.91 8.07 1000000 0 1458.46/1459.05 c 1270 1516 1545.75 202.36 7.64 1000000 0 1461.95/1462.51 c 1243 1340 1537.15 251.01 6.12 1000000 0 1465.35/1465.96 c 1182 1410 1488.86 214.20 6.95 1000000 0 1468.85/1469.43 c 1240 1487 1558.67 245.69 6.34 1000000 0 1472.26/1472.89 c 1212 1324 1523.72 213.60 7.13 1000000 0 1475.75/1476.36 c 1228 1456 1536.97 260.35 5.90 1000000 0 1479.25/1479.82 c 1238 1502 1536.09 204.83 7.50 1000000 0 1482.75/1483.30 c 1273 1580 1584.24 224.14 7.07 1000000 0 1486.15/1486.76 c 1256 1317 1533.31 211.32 7.26 1000000 0 1489.64/1490.24 c 1322 1469 1565.60 213.35 7.34 1000000 0 1493.15/1493.71 c 1257 1434 1545.89 245.80 6.29 1000000 0 1496.55/1497.19 c 1215 1524 1547.51 208.40 7.43 1000000 0 1500.04/1500.66 c 1278 1398 1541.75 195.07 7.90 1000000 0 1503.54/1504.14 c 1224 1430 1587.37 279.28 5.68 1000000 0 1506.94/1507.59 c 1243 1441 1538.36 214.71 7.16 1000000 0 1510.44/1511.07 c 1225 1411 1568.80 264.83 5.92 1000000 0 1513.94/1514.53 c 1175 1399 1517.27 213.48 7.11 1000000 0 1517.34/1517.98 c 1186 1383 1508.13 215.86 6.99 1000000 0 1520.83/1521.45 c 1226 1480 1556.07 256.47 6.07 1000000 0 1524.33/1524.92 c 1214 1488 1519.16 222.80 6.82 1000000 0 1527.73/1528.39 c 1238 1405 1551.15 230.26 6.74 1000000 0 1531.23/1531.86 c 1216 1562 1526.13 237.79 6.42 1000000 0 1534.73/1535.32 c 1263 1612 1546.32 187.73 8.24 1000000 0 1538.13/1538.79 c 1205 1550 1521.36 231.85 6.56 1000000 0 1541.63/1542.26 c 1311 1491 1564.80 204.05 7.67 1000000 0 1545.03/1545.69 c 1239 1424 1492.07 208.54 7.15 1000000 0 1548.52/1549.15 c 1269 1400 1532.80 222.67 6.88 1000000 0 1552.02/1552.61 c 1274 1480 1535.70 200.62 7.65 1000000 0 1555.42/1556.08 c 1222 1367 1523.38 179.40 8.49 1000000 0 1558.92/1559.57 c 1234 1465 1592.42 254.46 6.26 1000000 0 1562.42/1563.05 c 1168 1402 1538.27 248.22 6.20 1000000 0 1565.92/1566.50 c 1201 1420 1527.34 268.65 5.69 1000000 0 1569.32/1569.95 c 1186 1377 1508.98 240.70 6.27 1000000 0 1572.81/1573.43 c 1240 1403 1566.08 214.70 7.29 1000000 0 1576.31/1576.91 c 1276 1518 1569.01 185.56 8.46 1000000 0 1579.71/1580.36 c 1231 1512 1536.79 202.95 7.57 1000000 0 1583.21/1583.84 c 1230 1307 1567.68 253.90 6.17 1000000 0 1586.62/1587.29 c 1139 1386 1515.20 213.54 7.10 1000000 0 1590.11/1590.77 c 1252 1504 1542.16 219.67 7.02 1000000 0 1593.61/1594.22 c 1241 1439 1503.36 220.61 6.81 1000000 0 1597.11/1597.70 c 1241 1525 1561.27 234.81 6.65 1000000 0 1600.50/1601.16 c 1162 1289 1549.46 243.31 6.37 1000000 0 1604.00/1604.62 c 1196 1348 1527.44 252.48 6.05 1000000 0 1607.40/1608.08 c 1211 1440 1538.33 226.25 6.80 1000000 0 1610.91/1611.55 c 1230 1491 1530.98 274.17 5.58 1000000 0 1614.40/1615.02 c 1218 1330 1510.13 240.35 6.28 1000000 0 1617.80/1618.48 c 1210 1417 1554.05 244.27 6.36 1000000 0 1621.30/1621.97 c 1193 1442 1547.51 266.70 5.80 1000000 0 1624.79/1625.45 c 1195 1337 1545.72 216.38 7.14 1000000 0 1628.29/1628.92 c 1238 1375 1544.19 229.86 6.72 1000000 0 1631.70/1632.37 c 1251 1382 1538.91 229.58 6.70 1000000 0 1635.19/1635.84 c 1242 1544 1539.32 209.95 7.33 1000000 0 1638.69/1639.32 c 1239 1501 1542.22 239.49 6.44 1000000 0 1642.09/1642.77 c 1212 1326 1526.49 243.96 6.26 1000000 0 1645.59/1646.25 c 1291 1503 1571.13 191.38 8.21 1000000 0 1649.09/1649.71 c 1281 1692 1549.56 206.64 7.50 1000000 0 1652.48/1653.19 c 1250 1491 1551.92 245.68 6.32 1000000 0 1655.99/1656.66 c 1241 1441 1540.48 236.42 6.52 1000000 0 1659.48/1660.12 c 1236 1381 1538.55 238.87 6.44 1000000 0 1662.88/1663.58 c 1267 1527 1543.44 227.53 6.78 1000000 0 1666.38/1667.06 c 1286 1524 1568.11 239.43 6.55 1000000 0 1669.88/1670.51 c 1243 1428 1518.37 224.00 6.78 1000000 0 1673.28/1673.97 c 1246 1327 1525.40 204.80 7.45 1000000 0 1676.78/1677.44 c 1231 1701 1542.32 241.80 6.38 1000000 0 1680.27/1680.92 c 1201 1575 1553.00 239.21 6.49 1000000 0 1683.67/1684.35 c 1218 1470 1483.57 163.01 9.10 1000000 0 1687.17/1687.83 c 1293 1479 1553.20 194.22 8.00 1000000 0 1690.67/1691.30 c 1242 1333 1539.17 268.60 5.73 1000000 0 1694.07/1694.77 c 1235 1622 1572.11 269.53 5.83 1000000 0 1697.57/1698.24 c 1267 1541 1571.71 269.09 5.84 1000000 0 1701.07/1701.71 c 1266 1467 1559.89 243.27 6.41 1000000 0 1704.47/1705.16 c 1204 1438 1508.64 218.54 6.90 1000000 0 1707.96/1708.63 c 1231 1443 1518.10 201.85 7.52 1000000 0 1711.36/1712.09 c 1191 1391 1524.86 231.16 6.60 1000000 0 1714.86/1715.56 c 1268 1370 1539.66 242.46 6.35 1000000 0 1718.36/1719.03 c 1163 1454 1526.28 216.46 7.05 1000000 0 1721.76/1722.49 c 1268 1406 1535.00 212.84 7.21 1000000 0 1725.27/1725.94 c 1233 1282 1508.34 188.15 8.02 1000000 0 1728.76/1729.42 c 1263 1540 1550.20 236.89 6.54 1000000 0 1732.16/1732.88 c 1247 1622 1554.18 272.76 5.70 1000000 0 1735.65/1736.34 c 1250 1481 1518.80 188.09 8.07 1000000 0 1739.05/1739.78 c 1240 1382 1511.11 232.11 6.51 1000000 0 1742.55/1743.24 c 1236 1491 1542.41 228.96 6.74 1000000 0 1746.06/1746.70 c 1201 1285 1533.51 210.22 7.29 1000000 0 1749.46/1750.15 c 1254 1449 1532.29 225.49 6.80 1000000 0 1752.85/1753.58 c 1203 1433 1485.77 254.69 5.83 1000000 0 1756.35/1757.03 c 1170 1361 1522.93 276.38 5.51 1000000 0 1759.85/1760.50 c 1211 1449 1537.42 227.82 6.75 1000000 0 1763.24/1763.96 c 1220 1501 1549.60 225.65 6.87 1000000 0 1766.74/1767.41 c 1214 1329 1529.71 187.43 8.16 1000000 0 1770.14/1770.89 c 1213 1506 1560.45 246.70 6.33 1000000 0 1773.65/1774.34 c 1228 1421 1522.14 231.09 6.59 1000000 0 1777.14/1777.81 c 1239 1400 1520.12 176.97 8.59 1000000 0 1780.54/1781.27 c 1206 1371 1558.45 318.25 4.90 1000000 0 1784.04/1784.73 c 1227 1478 1518.50 209.08 7.26 1000000 0 1787.44/1788.18 c 1244 1415 1513.32 241.67 6.26 1000000 0 1790.93/1791.66 c 1317 1435 1591.97 249.02 6.39 1000000 0 1794.44/1795.12 c 1238 1464 1509.10 170.14 8.87 1000000 0 1797.84/1798.58 c 1240 1494 1551.15 231.16 6.71 1000000 0 1800.05/1800.71 HOME/run: line 2: 21527 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-2684790-1278434334/watcher-2684790-1278434334 -o /tmp/evaluation-result-2684790-1278434334/solver-2684790-1278434334 -C 1800 -W 2000 -M 1800 run HOME/instance-2684790-1278434334.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 0.97 0.82 3/106 21526 /proc/meminfo: memFree=1498808/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) R 21524 21526 21420 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659260821 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [startup+0.0997291 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21526 /proc/meminfo: memFree=1498808/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101729 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21526 /proc/meminfo: memFree=1498808/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301769 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21526 /proc/meminfo: memFree=1498808/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701847 s] /proc/loadavg: 1.00 0.97 0.82 3/106 21526 /proc/meminfo: memFree=1498808/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50201 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21528 /proc/meminfo: memFree=1485772/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1.49 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3290 0 0 0 148 1 0 0 25 0 1 0 11644718 41422848 3220 1992294400 134512640 135071400 4294336688 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3220 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10132 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21528 /proc/meminfo: memFree=1485276/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=3.09 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3290 0 0 0 308 1 0 0 25 0 1 0 11644718 41422848 3220 1992294400 134512640 135071400 4294336688 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3220 62 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30196 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21528 /proc/meminfo: memFree=1485276/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=6.29 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 628 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21528 /proc/meminfo: memFree=1485276/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=12.69 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 1268 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5018 s] /proc/loadavg: 1.00 0.97 0.82 2/108 21528 /proc/meminfo: memFree=1485276/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=25.48 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 2547 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1018 s] /proc/loadavg: 1.00 0.97 0.83 2/108 21529 /proc/meminfo: memFree=1485028/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=51.07 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 5106 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 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 0.97 0.83 2/108 21530 /proc/meminfo: memFree=1485028/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=102.26 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 10225 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 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 0.97 0.84 2/108 21532 /proc/meminfo: memFree=1485028/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=162.23 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 16222 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 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 0.97 0.84 2/108 21534 /proc/meminfo: memFree=1484904/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=222.21 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 22220 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.85 2/108 21535 /proc/meminfo: memFree=1484904/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=282.19 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 28218 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 0.97 0.85 2/108 21536 /proc/meminfo: memFree=1484912/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=342.16 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 34215 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.86 2/108 21538 /proc/meminfo: memFree=1484912/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=402.14 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 40213 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1121.89 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 112188 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21559 /proc/meminfo: memFree=1483796/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1181.86 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 118185 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21560 /proc/meminfo: memFree=1483548/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1241.84 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 124183 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21562 /proc/meminfo: memFree=1483548/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1301.83 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 130182 1 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21573 /proc/meminfo: memFree=1482680/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1361.79 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 136177 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21575 /proc/meminfo: memFree=1482680/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1421.78 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 142176 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21576 /proc/meminfo: memFree=1482556/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1481.75 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 148173 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21577 /proc/meminfo: memFree=1482556/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1541.73 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 154171 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21579 /proc/meminfo: memFree=1482556/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1601.7 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 160168 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21581 /proc/meminfo: memFree=1482556/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1661.68 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 166166 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21583 /proc/meminfo: memFree=1482432/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1721.66 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 172164 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21584 /proc/meminfo: memFree=1482308/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1781.64 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 178162 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526593 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21585 /proc/meminfo: memFree=1482308/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1800.05 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 180003 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.97 0.91 2/108 21585 /proc/meminfo: memFree=1482308/2059040 swapFree=4192956/4192956 [pid=21526] ppid=21524 vsize=8700 CPUtime=0 /proc/21526/stat : 21526 (run) S 21524 21526 21420 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 11644718 8908800 243 1992294400 4194304 4922060 140733595954656 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/21526/statm: 2175 243 204 178 0 68 0 [pid=21527] ppid=21526 vsize=40452 CPUtime=1800.05 /proc/21527/stat : 21527 (PB-wave) R 21526 21526 21420 0 -1 4202496 3298 0 0 0 180003 2 0 0 25 0 1 0 11644718 41422848 3228 1992294400 134512640 135071400 4294336688 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21527/statm: 10113 3228 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.06 CPU user time (s): 1800.03 CPU system time (s): 0.025996 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.025996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3670 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= 6858 runsolver used 2.87856 second user time and 8.63369 second system time The end
Begin job on node033 at 2010-07-06 18:38:55 IDJOB=2684790 IDBENCH=73562 IDSOLVER=1171 FILE ID=node033/2684790-1278434334 PBS_JOBID= 11233446 Free space on /tmp= 62484 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684790-1278434334/watcher-2684790-1278434334 -o /tmp/evaluation-result-2684790-1278434334/solver-2684790-1278434334 -C 1800 -W 2000 -M 1800 run HOME/instance-2684790-1278434334.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2 RANDOM SEED=2057861938 node033.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: 1499204 kB Buffers: 95532 kB Cached: 332144 kB SwapCached: 0 kB Active: 167924 kB Inactive: 319772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1499204 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5820 kB Writeback: 68 kB AnonPages: 60104 kB Mapped: 14368 kB Slab: 50212 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179984 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= 62480 MiB End job on node033 at 2010-07-06 19:08:56