Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -11 | 1800.02 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455640-1178047055/instance-455640-1178047055.opb 0.00/0.00 c File size is 16429 bytes. 0.01/0.01 c Highest Coefficient sum: 100 0.01/0.01 c Parsing was ok!! 0.01/0.01 c Total parsing time: 0.011 s 0.01/0.01 c Var: 1328 Constr: 2608 1278/102/1228 Lit: 8896 Watch. Lit: 7570 0.01/0.01 c Obj. Vars: 50 (3.76506 % of total variables) 0.39/0.43 c Pre-processing Time: 0.426 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2608 8896 3 7570 14540 0 0 0.43 0.39/0.43 c Switching off LPR mode. 0.39/0.43 o -1 0.428 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2609 8946 3 7573 14573 1 0 0.43 0.39/0.43 o -2 0.429 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2610 8996 3 7577 14623 2 0 0.43 0.39/0.43 o -3 0.431 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2611 9046 3 7582 14690 3 0 0.43 0.39/0.43 o -4 0.433 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 2 1328 2614 9232 3 7592 14707 6 4 0.43 0.39/0.45 c 102 1328 2714 15415 5 7792 16178 106 228 0.45 0.39/0.45 o -5 0.448 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 122 1328 2735 16550 6 7839 14723 127 271 0.45 0.69/0.74 c 222 1328 2835 22341 7 8039 16196 227 481 0.46 0.69/0.74 c 472 1328 3085 37890 12 8539 17816 477 963 0.49 0.69/0.74 c 947 1328 3560 67840 19 9489 19598 952 1756 0.54 0.69/0.74 c 1760 1328 4373 117014 26 11115 21558 1765 2793 0.63 0.69/0.74 o -6 0.737 87.36/87.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.36/87.49 c 2568 1328 5182 168268 32 12739 14740 2574 3484 0.74 87.36/87.49 c 2668 1328 5282 174975 33 12939 16215 2674 3533 0.76 87.36/87.49 c 2918 1328 5532 194064 35 13439 17837 2924 3665 0.80 87.36/87.49 c 3393 1328 6007 234239 38 14389 19621 3399 3868 0.88 87.36/87.49 c 4206 1328 6820 284927 41 16015 21584 4212 4244 0.99 87.36/87.49 c 5526 1328 8140 366149 44 18655 23743 5532 4382 1.26 87.36/87.49 c 7607 1328 10221 502495 49 22817 26118 7613 4552 1.67 87.36/87.49 c 10830 1328 13444 714190 53 29263 28730 10836 4077 2.66 87.36/87.49 c 15766 1328 18380 1040288 56 39135 31604 15772 3195 4.93 87.36/87.49 c 23272 1328 25886 1537718 59 54147 34765 23278 2479 9.38 87.36/87.49 c 34633 1328 37247 2272025 60 76869 38242 34639 1555 22.27 87.36/87.49 c 51777 1328 26199 1578886 60 54758 42067 23591 1281 40.41 87.36/87.49 c 77596 1328 20224 1328316 65 42808 46274 17616 1046 74.15 87.36/87.49 o -7 87.45 139.43/139.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.43/139.52 c 94005 1328 36634 2469917 67 75635 14673 34026 1074 87.45 139.43/139.52 c 94105 1328 10047 522981 52 22455 16141 7439 1044 90.07 139.43/139.52 c 94355 1328 10297 543045 52 22955 17756 7689 1046 90.14 139.43/139.52 c 94830 1328 10772 580327 53 23905 19532 8164 1050 90.29 139.43/139.52 c 95643 1328 11585 637730 55 25531 21486 8977 1055 90.58 139.43/139.52 c 96963 1328 12905 727686 56 28171 23635 10297 1064 91.10 139.43/139.52 c 99044 1328 14986 867140 57 32333 25999 12378 1079 91.79 139.43/139.52 c 102267 1328 18209 1063231 58 38779 28599 15601 1095 93.38 139.43/139.52 c 107203 1328 23145 1389373 60 48651 31459 20537 1111 96.49 139.43/139.52 c 114709 1328 30651 1900817 62 63663 34605 28043 1100 104.25 139.43/139.52 c 126070 1328 17420 991106 56 37201 38066 14812 1074 117.38 139.43/139.52 c 143214 1328 34564 2034991 58 71489 41873 31956 1111 128.87 139.43/139.52 o -8 139.468 987.84/988.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 987.84/988.20 c 151870 1328 43221 2619335 60 88811 14690 40613 1088 139.47 987.84/988.20 c 151970 1328 10055 509050 50 22472 16160 7447 1034 146.90 987.84/988.20 c 152220 1328 10305 523717 50 22972 17777 7697 1035 146.96 987.84/988.20 c 152695 1328 10780 556754 51 23922 19555 8172 1038 147.09 987.84/988.20 c 153508 1328 11593 606080 52 25548 21511 8985 1041 147.33 987.84/988.20 c 154828 1328 12913 683968 52 28188 23663 10305 1047 147.74 987.84/988.20 c 156910 1328 14995 817284 54 32352 26030 12387 1055 148.60 987.84/988.20 c 160133 1328 18218 1025298 56 38798 28634 15610 1064 150.43 987.84/988.20 c 165069 1328 23154 1364992 58 48670 31498 20546 1075 153.53 987.84/988.20 c 172575 1328 30660 1899947 61 63682 34648 28052 1072 160.84 987.84/988.20 c 183936 1328 17398 1043779 59 37158 38113 14790 1047 175.55 987.84/988.20 c 201080 1328 34542 2232314 64 71446 41925 31934 1042 192.93 987.84/988.20 c 226899 1328 28635 1852548 64 59632 46118 26027 1004 225.84 987.84/988.20 c 265732 1328 31650 1945353 61 65662 50730 29042 952 278.85 987.84/988.20 c 324085 1328 49775 3239564 65 101912 55804 47167 904 358.27 987.84/988.20 c 411717 1328 46721 3281260 70 95804 61385 44113 830 495.74 987.84/988.20 c 543269 1328 26005 1686924 64 54372 67524 23397 725 748.86 987.84/988.20 o -9 987.844 1325.42/1325.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1325.42/1325.95 c 662029 1328 30996 2097755 67 64363 14707 28388 670 987.85 1325.42/1325.95 c 662129 1328 10064 499646 49 22491 16178 7456 668 989.97 1325.42/1325.95 c 662379 1328 10314 514047 49 22991 17796 7706 669 990.08 1325.42/1325.95 c 662854 1328 10789 539741 50 23941 19576 8181 669 990.26 1325.42/1325.95 c 663667 1328 11602 584364 50 25567 21534 8994 669 990.60 1325.42/1325.95 c 664987 1328 12922 662642 51 28207 23688 10314 670 991.21 1325.42/1325.95 c 667068 1328 15003 791774 52 32369 26057 12395 672 992.12 1325.42/1325.95 c 670291 1328 18226 992802 54 38815 28663 15618 674 994.02 1325.42/1325.95 c 675228 1328 23163 1308491 56 48689 31530 20555 677 996.95 1325.42/1325.95 c 682734 1328 30669 1805513 58 63701 34684 28061 681 1001.91 1325.42/1325.95 c 694095 1328 17432 923918 53 37227 38153 14824 682 1017.57 1325.42/1325.95 c 711239 1328 34576 2105708 60 71515 41969 31968 688 1033.50 1325.42/1325.95 c 737058 1328 28720 1675016 58 59803 46166 26112 692 1064.33 1325.42/1325.95 c 775890 1328 31613 1944240 61 65589 50783 29005 701 1106.68 1325.42/1325.95 c 834242 1328 49541 3202057 64 101445 55862 46933 710 1174.81 1325.42/1325.95 c 921874 1328 46407 3369509 72 95177 61449 43799 696 1324.36 1325.42/1325.95 o -10 1325.48 1344.71/1345.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1344.71/1345.22 c 922607 1328 47141 3404483 72 96655 14723 44533 696 1325.48 1344.71/1345.22 c 922707 1328 10072 599385 59 22508 16196 7464 690 1336.38 1344.71/1345.22 c 922957 1328 10322 614346 59 23008 17816 7714 690 1336.45 1344.71/1345.22 c 923432 1328 10797 642557 59 23958 19598 8189 690 1336.52 1344.71/1345.22 c 924245 1328 11610 684888 58 25584 21558 9002 691 1336.61 1344.71/1345.22 c 925565 1328 12930 754778 58 28224 23714 10322 692 1336.84 1344.71/1345.22 c 927646 1328 15011 861062 57 32386 26086 12403 693 1337.26 1344.71/1345.22 c 930869 1328 18234 1030016 56 38832 28695 15626 695 1338.12 1344.71/1345.22 c 935805 1328 23170 1307499 56 48704 31565 20562 698 1340.47 1344.71/1345.22 o -11 1344.74 1799.95/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.64 c 942870 1328 30236 1730435 57 62847 14740 27628 701 1344.74 1799.95/1800.64 c 942970 1328 10080 454796 45 22525 16215 7472 700 1346.09 1799.95/1800.64 c 943220 1328 10330 470815 45 23025 17837 7722 700 1346.17 1799.95/1800.64 c 943695 1328 10805 497762 46 23975 19621 8197 700 1346.28 1799.95/1800.64 c 944508 1328 11618 543952 46 25601 21584 9010 701 1346.49 1799.95/1800.64 c 945828 1328 12938 616958 47 28241 23743 10330 702 1346.83 1799.95/1800.64 c 947909 1328 15019 737141 49 32403 26118 12411 703 1347.56 1799.95/1800.64 c 951132 1328 18242 919573 50 38849 28730 15634 705 1348.89 1799.95/1800.64 c 956068 1328 23178 1190435 51 48721 31604 20570 707 1350.60 1799.95/1800.64 c 963575 1328 30685 1621980 52 63735 34765 28077 710 1355.73 1799.95/1800.64 c 974936 1328 17329 853510 49 37023 38242 14721 712 1368.26 1799.95/1800.64 c 992080 1328 34473 1918593 55 71311 42067 31865 717 1383.37 1799.95/1800.64 c 1017899 1328 28538 1584817 55 59441 46274 25930 718 1416.72 1799.95/1800.64 c 1056731 1328 31449 1875161 59 65263 50902 28841 723 1459.90 1799.95/1800.64 c 1115083 1328 49331 3130921 63 101027 55993 46723 720 1547.97 1799.95/1800.64 c 1202715 1328 46126 2715787 58 94617 61593 43518 718 1673.78 1799.95/1800.64 c Resources Exceeded 1799.95/1800.64 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 1799.95/1800.64 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x52 -x84 -x75 -x77 x64 -x88 -x76 1799.95/1800.64 v -x79 -x86 -x95 -x58 -x59 -x67 -x96 -x51 x55 x65 -x54 -x53 x92 x100 -x68 -x69 -x80 -x62 -x66 -x70 -x74 -x90 x98 x73 -x83 -x71 -x81 1799.95/1800.64 v -x57 -x61 -x91 -x93 -x94 -x99 -x82 -x56 x72 -x87 -x60 -x97 x89 -x78 x63 x85 1799.95/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.64 c 93 1265781 459 1274942 58349 3531064 55741 703 1800.00 1799.95/1800.64 c Objective: -11 1799.95/1800.64 s SATISFIABLE 1799.95/1800.64 c Total time: 1800 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-455640-1178047055 -o ROOT/results/node20/solver-455640-1178047055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455640-1178047055/instance-455640-1178047055.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.88 0.95 0.98 3/77 19648 /proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=19568 CPUtime=0 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 252622906 20037632 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 2939 345 291 324 0 2003 0 [startup+0.0122029 s] /proc/loadavg: 0.88 0.95 0.98 3/77 19648 /proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=4216 CPUtime=0.01 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 444 0 0 0 1 0 0 0 18 0 1 0 252622906 4317184 413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 1054 414 293 324 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4216 [startup+0.101221 s] /proc/loadavg: 0.88 0.95 0.98 3/77 19648 /proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=4612 CPUtime=0.09 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 564 0 0 0 9 0 0 0 18 0 1 0 252622906 4722688 528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 1153 528 306 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.30126 s] /proc/loadavg: 0.88 0.95 0.98 3/77 19648 /proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=4612 CPUtime=0.29 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 564 0 0 0 29 0 0 0 19 0 1 0 252622906 4722688 528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 1153 528 306 324 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701341 s] /proc/loadavg: 0.88 0.95 0.98 3/77 19648 /proc/meminfo: memFree=1833720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=6688 CPUtime=0.69 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 1097 0 0 0 69 0 0 0 23 0 1 0 252622906 6848512 1061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 1672 1061 313 324 0 741 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6688 [startup+1.5015 s] /proc/loadavg: 0.89 0.95 0.98 2/78 19649 /proc/meminfo: memFree=1828720/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=11084 CPUtime=1.49 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 2189 0 0 0 148 1 0 0 25 0 1 0 252622906 11350016 2153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 2771 2153 313 324 0 1840 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11084 [startup+3.10182 s] /proc/loadavg: 0.89 0.95 0.98 2/78 19649 /proc/meminfo: memFree=1823984/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=15740 CPUtime=3.09 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 3347 0 0 0 307 2 0 0 25 0 1 0 252622906 16117760 3311 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 3935 3311 313 324 0 3004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15740 [startup+6.30146 s] /proc/loadavg: 0.89 0.95 0.98 2/78 19649 /proc/meminfo: memFree=1816704/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=22096 CPUtime=6.29 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 4937 0 0 0 624 5 0 0 25 0 1 0 252622906 22626304 4901 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 5524 4901 313 324 0 4593 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22096 [startup+12.7017 s] /proc/loadavg: 0.90 0.96 0.98 2/78 19649 /proc/meminfo: memFree=1807648/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=30504 CPUtime=12.68 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 7052 0 0 0 1260 8 0 0 25 0 1 0 252622906 31236096 7016 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 7626 7016 313 324 0 6695 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30504 [startup+25.5013 s] /proc/loadavg: 0.92 0.96 0.98 2/78 19649 /proc/meminfo: memFree=1798560/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=39324 CPUtime=25.48 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 9255 0 0 0 2535 13 0 0 25 0 1 0 252622906 40267776 9219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 9831 9219 313 324 0 8900 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39324 [startup+51.1014 s] /proc/loadavg: 0.95 0.96 0.98 2/78 19649 /proc/meminfo: memFree=1795808/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=41792 CPUtime=51.06 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 9901 0 0 0 5090 16 0 0 25 0 1 0 252622906 42795008 9826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 10448 9826 313 324 0 9517 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 41792 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 19649 /proc/meminfo: memFree=1789024/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=48508 CPUtime=102.25 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11644 0 0 0 10203 22 0 0 25 0 1 0 252622906 49672192 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 12127 11492 313 324 0 11196 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 48508 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1788960/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=48504 CPUtime=162.22 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11720 0 0 0 16193 29 0 0 25 0 1 0 252622906 49668096 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 12126 11492 313 324 0 11195 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 48504 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1788960/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=48500 CPUtime=222.21 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 11720 0 0 0 22184 37 0 0 25 0 1 0 252622906 49664000 11492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 12125 11492 313 324 0 11194 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 48500 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1784864/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=52388 CPUtime=282.18 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 12761 0 0 0 28173 45 0 0 25 0 1 0 252622906 53645312 12486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 13097 12486 313 324 0 12166 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 52388 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1780192/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=57060 CPUtime=342.16 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 13956 0 0 0 34164 52 0 0 25 0 1 0 252622906 58429440 13630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 14265 13630 313 324 0 13334 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 57060 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1776544/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=60564 CPUtime=402.15 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 14911 0 0 0 40157 58 0 0 25 0 1 0 252622906 62017536 14529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 15141 14529 313 324 0 14210 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 60564 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1775712/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=61336 CPUtime=462.12 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 15162 0 0 0 46147 65 0 0 25 0 1 0 252622906 62808064 14724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 15334 14724 313 324 0 14403 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 61336 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1772128/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=65340 CPUtime=522.1 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 16145 0 0 0 52137 73 0 0 25 0 1 0 252622906 66908160 15707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 16335 15707 313 324 0 15404 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 65340 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1767456/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=69472 CPUtime=582.08 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 17263 0 0 0 58128 80 0 0 25 0 1 0 252622906 71139328 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 17368 16763 313 324 0 16437 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 69472 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1767392/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=69472 CPUtime=642.06 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 17325 0 0 0 64120 86 0 0 25 0 1 0 252622906 71139328 16763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 17368 16763 313 324 0 16437 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 69472 ################ # More data... # ################ /proc/meminfo: memFree=1760096/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1121.89 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 112054 135 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 76664 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1760032/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1181.87 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 118046 141 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 76664 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1759968/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1241.85 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 124039 146 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 76664 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1759904/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1301.83 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 130032 151 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 76664 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1759840/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1361.81 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 136022 159 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 76664 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19649 /proc/meminfo: memFree=1759840/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1421.79 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 142013 166 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 76664 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759712/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1481.76 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 148004 172 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 76664 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759712/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1541.74 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 153997 177 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 76664 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759648/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1601.72 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 159990 182 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 76664 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1661.7 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 165981 189 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 76664 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759648/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76664 CPUtime=1721.68 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 171973 195 0 0 25 0 1 0 252622906 78503936 18561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19166 18561 313 324 0 18235 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 76664 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1781.66 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 177967 199 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 76656 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1791.26 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 178926 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 76656 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1794.45 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179245 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8052482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 76656 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1797.65 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179565 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 76656 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1799.24 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179724 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1799.24 Current children cumulated vsize (KiB) 76656 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1799.64 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179764 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 76656 [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1799.84 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179784 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 76656 [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 19651 /proc/meminfo: memFree=1759584/2055920 swapFree=4154868/4192956 [pid=19648] ppid=19646 vsize=76656 CPUtime=1799.95 /proc/19648/stat : 19648 (bsolo3.0.16) R 19646 19648 25535 0 -1 4194304 19322 0 0 0 179795 200 0 0 25 0 1 0 252622906 78495744 18559 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19648/statm: 19164 18559 313 324 0 18233 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 76656 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.02 CPU user time (s): 1797.99 CPU system time (s): 2.02269 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 76684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.99 system time used= 2.02269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19323 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= 12 involuntary context switches= 37066 runsolver used 1.41179 second user time and 3.86041 second system time The end
Begin job on node20 on Tue May 1 19:17:36 UTC 2007 IDJOB= 455640 IDBENCH= 48277 IDSOLVER= 163 FILE ID= node20/455640-1178047055 PBS_JOBID= 4728447 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455640-1178047055/instance-455640-1178047055.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-455640-1178047055 -o ROOT/results/node20/solver-455640-1178047055 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455640-1178047055/instance-455640-1178047055.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED= 526240818 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.265 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1834128 kB Buffers: 61884 kB Cached: 64264 kB SwapCached: 16312 kB Active: 62876 kB Inactive: 93120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834128 kB SwapTotal: 4192956 kB SwapFree: 4154868 kB Dirty: 6816 kB Writeback: 0 kB Mapped: 35084 kB Slab: 51280 kB Committed_AS: 5474484 kB PageTables: 1756 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node20 on Tue May 1 19:47:36 UTC 2007