Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 939f54a73a83900b8b6d857af47a0b62 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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 | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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.47 c PB-wave - v2 0.00/0.47 c command line = ./PB-wave 0.00/0.47 c seed = 68629368 0.00/0.47 c cutoff = 1000000 0.00/0.47 c tries = 1000000 0.00/0.47 c heuristic = c best, noise 50 / 100 0.00/0.47 #var 62704 #con 187107 0.00/0.47 mode is SAT 0.00/0.47 c tail starts after flip = 188112 0.00/0.47 c numatom = 62704, numclause = 187107, numliterals = 440617 0.00/0.47 c wff read in 0.00/0.47 c 0.00/0.47 c lowest final avg noise noise total avg mean mean 0.00/0.47 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.47 c this this this this this this success success until std 0.00/0.47 c try try try try try try rate tries assign dev 0.00/0.47 c 16.88/16.96 c 519 739 1341.10 1371.95 0.98 1000000 0 33.38/33.46 c 548 614 1433.84 1494.86 0.96 1000000 0 49.37/49.50 c 504 873 1344.17 1381.61 0.97 1000000 0 65.56/65.62 c 532 628 1342.43 1334.73 1.01 1000000 0 82.06/82.16 c 542 694 1422.99 1440.75 0.99 1000000 0 97.96/98.09 c 492 634 1350.00 1427.93 0.95 1000000 0 113.95/114.06 c 494 704 1273.92 1273.88 1.00 1000000 0 129.85/129.99 c 526 676 1334.64 1376.56 0.97 1000000 0 146.25/146.34 c 547 713 1372.94 1367.02 1.00 1000000 0 162.54/162.60 c 487 661 1382.25 1434.44 0.96 1000000 0 178.64/178.74 c 587 769 1369.73 1378.89 0.99 1000000 0 194.73/194.84 c 533 683 1399.30 1469.37 0.95 1000000 0 210.73/210.85 c 557 722 1346.02 1358.11 0.99 1000000 0 227.02/227.13 c 449 686 1374.60 1403.14 0.98 1000000 0 243.12/243.27 c 514 654 1404.84 1498.13 0.94 1000000 0 259.72/259.85 c 503 711 1364.19 1407.88 0.97 1000000 0 276.31/276.40 c 519 618 1405.35 1485.90 0.95 1000000 0 292.42/292.52 c 517 673 1388.76 1432.62 0.97 1000000 0 308.41/308.59 c 528 698 1365.56 1381.94 0.99 1000000 0 325.00/325.12 c 558 664 1388.26 1465.57 0.95 1000000 0 341.30/341.42 c 483 721 1383.70 1414.31 0.98 1000000 0 357.30/357.49 c 509 570 1334.43 1366.86 0.98 1000000 0 373.49/373.64 c 509 670 1388.10 1434.34 0.97 1000000 0 389.68/389.84 c 536 662 1383.48 1414.42 0.98 1000000 0 405.58/405.71 c 565 662 1372.26 1401.76 0.98 1000000 0 421.78/421.97 c 554 653 1380.46 1444.19 0.96 1000000 0 438.27/438.42 c 531 759 1437.08 1455.29 0.99 1000000 0 454.47/454.68 c 529 586 1316.94 1363.31 0.97 1000000 0 470.67/470.88 c 552 732 1361.83 1381.27 0.99 1000000 0 487.17/487.36 c 486 606 1415.44 1509.12 0.94 1000000 0 502.96/503.19 c 515 751 1315.78 1339.79 0.98 1000000 0 519.15/519.30 c 514 731 1364.13 1393.41 0.98 1000000 0 535.35/535.53 c 560 638 1369.39 1353.67 1.01 1000000 0 551.44/551.68 c 527 659 1438.26 1517.40 0.95 1000000 0 567.94/568.11 c 559 731 1468.47 1507.11 0.97 1000000 0 584.14/584.39 c 533 645 1439.25 1464.74 0.98 1000000 0 600.34/600.60 c 520 609 1373.95 1451.39 0.95 1000000 0 616.53/616.76 c 525 594 1371.12 1426.37 0.96 1000000 0 632.73/632.93 c 501 808 1401.59 1447.38 0.97 1000000 0 648.83/649.02 c 499 662 1345.55 1332.84 1.01 1000000 0 665.12/665.36 c 512 680 1412.81 1500.54 0.94 1000000 0 681.41/681.65 c 485 669 1376.16 1425.32 0.97 1000000 0 697.41/697.64 c 526 655 1311.30 1257.65 1.04 1000000 0 713.41/713.63 c 513 636 1318.78 1381.03 0.95 1000000 0 729.70/729.98 c 482 635 1396.41 1482.57 0.94 1000000 0 746.00/746.29 c 480 648 1336.39 1411.13 0.95 1000000 0 762.20/762.45 c 466 728 1313.78 1391.99 0.94 1000000 0 778.60/778.81 c 548 664 1401.16 1373.59 1.02 1000000 0 794.89/795.19 c 535 674 1437.32 1504.40 0.96 1000000 0 811.28/811.54 c 514 608 1391.38 1420.03 0.98 1000000 0 827.58/827.88 c 549 711 1380.29 1420.90 0.97 1000000 0 843.87/844.18 c 537 710 1426.70 1481.76 0.96 1000000 0 860.17/860.46 c 479 584 1365.97 1455.07 0.94 1000000 0 876.57/876.89 c 542 675 1389.29 1442.03 0.96 1000000 0 893.06/893.38 c 486 718 1440.42 1521.26 0.95 1000000 0 909.26/909.54 c 480 592 1304.97 1380.95 0.94 1000000 0 925.66/925.96 c 504 628 1414.09 1508.93 0.94 1000000 0 942.05/942.30 c 571 689 1443.99 1450.27 1.00 1000000 0 958.15/958.48 c 503 641 1360.44 1394.32 0.98 1000000 0 974.64/974.91 c 492 632 1430.99 1494.02 0.96 1000000 0 990.64/990.98 c 514 688 1368.71 1417.39 0.97 1000000 0 1006.84/1007.18 c 519 702 1407.42 1484.37 0.95 1000000 0 1023.03/1023.33 c 514 654 1331.96 1339.86 0.99 1000000 0 1039.14/1039.43 c 513 656 1342.36 1330.54 1.01 1000000 0 1055.32/1055.61 c 524 657 1426.93 1494.48 0.95 1000000 0 1071.42/1071.76 c 526 605 1363.77 1433.05 0.95 1000000 0 1087.82/1088.10 c 566 631 1348.63 1402.23 0.96 1000000 0 1104.02/1104.32 c 523 717 1376.63 1451.40 0.95 1000000 0 1120.11/1120.46 c 520 594 1368.60 1411.49 0.97 1000000 0 1136.31/1136.64 c 556 615 1400.31 1439.48 0.97 1000000 0 1152.60/1152.94 c 539 655 1376.35 1417.44 0.97 1000000 0 1168.90/1169.25 c 503 694 1382.79 1367.24 1.01 1000000 0 1185.50/1185.89 c 524 677 1362.91 1386.34 0.98 1000000 0 1201.69/1202.05 c 495 581 1263.64 1242.42 1.02 1000000 0 1217.68/1218.08 c 481 655 1326.55 1349.16 0.98 1000000 0 1233.89/1234.28 c 554 630 1367.65 1386.11 0.99 1000000 0 1250.08/1250.43 c 542 677 1348.35 1404.92 0.96 1000000 0 1266.17/1266.55 c 573 709 1367.14 1380.34 0.99 1000000 0 1282.57/1282.93 c 530 639 1369.17 1379.64 0.99 1000000 0 1298.67/1299.05 c 508 657 1326.94 1400.58 0.95 1000000 0 1314.96/1315.38 c 496 612 1414.81 1487.88 0.95 1000000 0 1331.26/1331.66 c 536 696 1374.18 1422.12 0.97 1000000 0 1347.65/1348.07 c 592 731 1415.97 1409.35 1.00 1000000 0 1363.75/1364.10 c 579 630 1391.93 1335.01 1.04 1000000 0 1379.95/1380.31 c 548 715 1335.19 1388.41 0.96 1000000 0 1396.14/1396.55 c 540 661 1388.32 1408.08 0.99 1000000 0 1412.54/1412.98 c 541 812 1403.30 1410.22 1.00 1000000 0 1428.54/1428.99 c 538 637 1329.79 1350.02 0.99 1000000 0 1444.94/1445.34 c 507 681 1407.82 1487.61 0.95 1000000 0 1461.43/1461.84 c 556 692 1415.21 1433.01 0.99 1000000 0 1477.42/1477.85 c 520 716 1334.39 1294.47 1.03 1000000 0 1493.62/1494.00 c 540 855 1428.17 1482.11 0.96 1000000 0 1509.82/1510.21 c 545 729 1403.70 1423.10 0.99 1000000 0 1525.81/1526.24 c 573 691 1380.77 1359.82 1.02 1000000 0 1542.21/1542.63 c 538 761 1402.16 1483.52 0.95 1000000 0 1558.10/1558.58 c 542 821 1328.36 1283.47 1.03 1000000 0 1574.60/1575.00 c 490 725 1401.31 1450.81 0.97 1000000 0 1590.70/1591.10 c 512 786 1387.26 1441.42 0.96 1000000 0 1607.09/1607.56 c 592 736 1387.45 1367.82 1.01 1000000 0 1623.19/1623.63 c 499 617 1364.63 1384.71 0.99 1000000 0 1639.69/1640.18 c 532 673 1427.65 1467.51 0.97 1000000 0 1655.88/1656.35 c 554 639 1405.30 1431.74 0.98 1000000 0 1672.37/1672.87 c 505 626 1388.26 1480.86 0.94 1000000 0 1688.87/1689.30 c 534 602 1389.68 1441.83 0.96 1000000 0 1704.87/1705.38 c 549 656 1307.19 1335.92 0.98 1000000 0 1721.26/1721.70 c 496 711 1387.24 1453.54 0.95 1000000 0 1737.57/1738.08 c 549 655 1325.91 1303.07 1.02 1000000 0 1753.86/1754.30 c 555 677 1353.04 1374.38 0.98 1000000 0 1769.65/1770.11 c 508 602 1379.19 1427.69 0.97 1000000 0 1785.96/1786.47 c 515 702 1326.34 1355.38 0.98 1000000 0 1800.05/1800.51 HOME/run: line 2: 9846 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-2669549-1276611140/watcher-2669549-1276611140 -o /tmp/evaluation-result-2669549-1276611140/solver-2669549-1276611140 -C 1800 -W 2000 -M 1800 run HOME/instance-2669549-1276611140.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 1.00 3/106 9845 /proc/meminfo: memFree=1738184/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) R 9843 9845 9430 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752463765 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [startup+0.0369769 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9845 /proc/meminfo: memFree=1738184/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100982 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9845 /proc/meminfo: memFree=1738184/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300999 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9845 /proc/meminfo: memFree=1738184/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701035 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9845 /proc/meminfo: memFree=1738184/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50111 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9847 /proc/meminfo: memFree=1723908/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1.49 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3597 0 0 0 148 1 0 0 25 0 1 0 2405624 41422848 3526 1992294400 134512640 135071400 4289869456 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3526 61 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10025 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9849 /proc/meminfo: memFree=1723660/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=3.09 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3597 0 0 0 308 1 0 0 25 0 1 0 2405624 41422848 3526 1992294400 134512640 135071400 4289869456 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3526 61 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30153 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9849 /proc/meminfo: memFree=1723412/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=6.29 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3598 0 0 0 628 1 0 0 25 0 1 0 2405624 41422848 3527 1992294400 134512640 135071400 4289869456 18446744073709551615 134526068 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3527 62 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9849 /proc/meminfo: memFree=1723412/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=12.69 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3598 0 0 0 1268 1 0 0 25 0 1 0 2405624 41422848 3527 1992294400 134512640 135071400 4289869456 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3527 62 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9849 /proc/meminfo: memFree=1723412/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=25.48 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3606 0 0 0 2547 1 0 0 25 0 1 0 2405624 41422848 3535 1992294400 134512640 135071400 4289869456 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3535 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9849 /proc/meminfo: memFree=1723288/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=51.07 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 5106 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 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 1.00 2/108 9851 /proc/meminfo: memFree=1723288/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=102.26 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 10225 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 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 1.00 2/108 9853 /proc/meminfo: memFree=1723164/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=162.24 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 16223 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9853 /proc/meminfo: memFree=1723164/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=222.23 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 22222 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9855 /proc/meminfo: memFree=1723164/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=282.21 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 28220 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9857 /proc/meminfo: memFree=1723040/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=342.2 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3607 0 0 0 34219 1 0 0 25 0 1 0 2405624 41422848 3536 1992294400 134512640 135071400 4289869456 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3536 69 137 0 9974 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9859 /proc/meminfo: memFree=1722916/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=402.18 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 40217 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.302 s] ################ # More data... # ################ /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1122.01 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 112200 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.11 1.03 1.01 2/108 9879 /proc/meminfo: memFree=1722048/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1181.99 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 118198 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.11 1.04 1.00 2/108 9884 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1241.98 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 124197 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.11 1.04 1.00 2/108 9886 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1301.97 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 130196 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.10 1.05 1.00 2/108 9888 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1361.95 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 136194 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.07 1.05 1.00 2/108 9888 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1421.94 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 142193 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.02 1.04 1.00 2/108 9890 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1481.92 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 148191 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.01 1.03 1.00 2/108 9892 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1541.91 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 154190 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 9894 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1601.89 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 160188 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 9896 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1661.88 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 166187 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 9896 /proc/meminfo: memFree=1721304/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1721.86 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 172185 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9898 /proc/meminfo: memFree=1721056/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1781.85 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 178184 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9898 /proc/meminfo: memFree=1721056/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1800.05 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 180004 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 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 2 secondsSolver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9898 /proc/meminfo: memFree=1721056/2059040 swapFree=4165012/4192956 [pid=9845] ppid=9843 vsize=8700 CPUtime=0 /proc/9845/stat : 9845 (run) S 9843 9845 9430 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 2405624 8908800 244 1992294400 4194304 4922060 140733354063680 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/9845/statm: 2175 244 204 178 0 68 0 [pid=9846] ppid=9845 vsize=40452 CPUtime=1800.05 /proc/9846/stat : 9846 (PB-wave) R 9845 9845 9430 0 -1 4202496 3608 0 0 0 180004 1 0 0 25 0 1 0 2405624 41422848 3537 1992294400 134512640 135071400 4289869456 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9846/statm: 10113 3537 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.51 CPU time (s): 1800.07 CPU user time (s): 1800.05 CPU system time (s): 0.021996 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.05 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3981 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= 21108 runsolver used 3.16752 second user time and 8.32673 second system time The end
Begin job on node050 at 2010-06-15 16:12:20 IDJOB=2669549 IDBENCH=1479 IDSOLVER=1171 FILE ID=node050/2669549-1276611140 PBS_JOBID= 11172280 Free space on /tmp= 62568 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669549-1276611140/watcher-2669549-1276611140 -o /tmp/evaluation-result-2669549-1276611140/solver-2669549-1276611140 -C 1800 -W 2000 -M 1800 run HOME/instance-2669549-1276611140.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62 RANDOM SEED=2101318169 node050.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.215 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.43 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.215 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1738588 kB Buffers: 47088 kB Cached: 162696 kB SwapCached: 2360 kB Active: 108572 kB Inactive: 134924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1738588 kB SwapTotal: 4192956 kB SwapFree: 4165012 kB Dirty: 6240 kB Writeback: 16 kB AnonPages: 31304 kB Mapped: 15400 kB Slab: 55208 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181684 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= 62568 MiB End job on node050 at 2010-06-15 16:42:21