Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 31.8052 | 31.8153 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb |
MD5SUM | ff8e4ce8aca8e0dab1b59dd2a47026b4 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.073988 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 72 |
Total number of constraints | 7 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
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/430660-1177997562/instance-430660-1177997562.opb 0.00/0.00 c File size is 3503 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.01 0.00/0.00 c Switching off LPR mode. 11.69/11.74 c 100 264 494 8044 16 1601 2428 100 7692 0.01 11.69/11.74 c 251 264 645 18729 29 1888 2671 251 10458 0.02 11.69/11.74 c 476 264 870 31944 36 2311 2939 476 10818 0.04 11.69/11.74 c 815 264 1209 53074 43 3012 3233 815 10866 0.07 11.69/11.74 c 1324 264 1718 87051 50 4030 3557 1324 10677 0.12 11.69/11.74 c 2088 264 2482 133344 53 5544 3913 2088 9000 0.23 11.69/11.74 c 3235 264 3629 200377 55 7840 4305 3235 7032 0.46 11.69/11.74 c 4957 264 3042 172113 56 6649 4736 2648 6735 0.74 11.69/11.74 c 7541 264 3141 167844 53 6815 5210 2747 6018 1.25 11.69/11.74 c 11420 264 4355 229620 52 9238 5732 3961 4911 2.33 11.69/11.74 c 17242 264 4338 230498 53 9216 6306 3944 3790 4.55 11.69/11.74 c 25980 264 6648 386764 58 13840 6937 6254 3783 6.87 11.69/11.74 c 39091 263 5554 300859 54 11616 7631 5160 3694 10.58 11.69/11.74 o 141 11.742 11.79/11.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.79/11.85 c 43540 263 6126 344763 56 12739 2223 5732 3707 11.74 11.79/11.85 c 43640 263 1608 82228 51 3782 2446 1214 3702 11.79 11.79/11.85 c 43890 263 1858 99736 53 4274 2691 1464 3716 11.81 11.79/11.85 o 13 11.848 31.59/31.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.59/31.66 c 44174 263 2143 119835 55 4813 2223 1749 3728 11.85 31.59/31.66 c 44275 263 2244 126566 56 5063 2446 1850 3733 11.86 31.59/31.66 c 44525 263 2494 144337 57 5530 2691 2100 3746 11.88 31.59/31.66 c 45000 263 2969 177413 59 6500 2961 2575 3768 11.94 31.59/31.66 c 45814 263 2223 122883 55 4968 3258 1829 3776 12.13 31.59/31.66 c 47136 263 3545 205396 57 7614 3584 3151 3784 12.45 31.59/31.66 c 49217 254 3765 214860 57 8055 3943 3371 3776 13.03 31.59/31.66 c 52441 254 2884 160853 55 6310 4338 2490 3807 13.77 31.59/31.66 c 57377 254 3319 187886 56 7171 4772 2925 3811 15.05 31.59/31.66 c 64884 254 3454 191452 55 7440 5250 3060 3744 17.33 31.59/31.66 c 76246 245 4010 226836 56 8582 5776 3616 3710 20.55 31.59/31.66 c 93391 236 3323 182437 54 7183 6354 2929 3555 26.27 31.59/31.66 o 11 31.65 31.68/31.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.68/31.73 c 109080 220 5921 327967 55 12450 2215 5527 3446 31.65 31.68/31.73 c 109181 220 1609 61090 37 3795 2437 1215 3443 31.70 31.68/31.73 o 9 31.72 31.68/31.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.68/31.75 c 109348 220 1777 68082 38 4132 2215 1383 3447 31.72 31.68/31.75 c 109450 220 1879 71499 38 4325 2437 1485 3449 31.73 31.68/31.75 o 3 31.743 31.79/31.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.79/31.81 c 109582 220 2012 76991 38 4624 2215 1618 3452 31.74 31.79/31.81 c 109682 211 2112 82807 39 4802 2437 1718 3454 31.75 31.79/31.81 c 109932 189 2362 91588 38 5277 2681 1968 3459 31.77 31.79/31.81 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 x31 31.79/31.81 v -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x57 -x58 31.79/31.81 v -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 -x70 -x71 -x72 31.79/31.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.79/31.81 c 35 110332 347 113339 2762 94599 2368 3469 31.80 31.79/31.81 c Objective: 3 31.79/31.81 s OPTIMUM FOUND 31.79/31.81 c Total time: 31.801 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-430660-1177997562 -o ROOT/results/node27/solver-430660-1177997562 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430660-1177997562/instance-430660-1177997562.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.92 0.98 0.99 3/65 9809 /proc/meminfo: memFree=1787016/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=19552 CPUtime=0 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 212452117 20021248 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2935 346 291 324 0 2003 0 [startup+0.054133 s] /proc/loadavg: 0.92 0.98 0.99 3/65 9809 /proc/meminfo: memFree=1787016/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=4572 CPUtime=0.04 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 552 0 0 0 4 0 0 0 18 0 1 0 212452117 4681728 520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 1143 520 312 324 0 212 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4572 [startup+0.102137 s] /proc/loadavg: 0.92 0.98 0.99 3/65 9809 /proc/meminfo: memFree=1787016/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=4964 CPUtime=0.09 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 667 0 0 0 9 0 0 0 18 0 1 0 212452117 5083136 635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 1241 635 312 324 0 310 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4964 [startup+0.302157 s] /proc/loadavg: 0.92 0.98 0.99 3/65 9809 /proc/meminfo: memFree=1787016/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=6252 CPUtime=0.29 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 212452117 6402048 948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 1563 948 312 324 0 632 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6252 [startup+0.701199 s] /proc/loadavg: 0.92 0.98 0.99 3/65 9809 /proc/meminfo: memFree=1787016/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=8184 CPUtime=0.69 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 1456 0 0 0 68 1 0 0 22 0 1 0 212452117 8380416 1424 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2046 1424 312 324 0 1115 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8184 [startup+1.50128 s] /proc/loadavg: 0.93 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1782464/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=8556 CPUtime=1.49 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 1538 0 0 0 148 1 0 0 25 0 1 0 212452117 8761344 1506 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2139 1506 312 324 0 1208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8556 [startup+3.10144 s] /proc/loadavg: 0.93 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1781824/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=8944 CPUtime=3.08 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 1634 0 0 0 307 1 0 0 25 0 1 0 212452117 9158656 1602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2236 1602 312 324 0 1305 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8944 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1780928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=9588 CPUtime=6.29 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 1797 0 0 0 626 3 0 0 25 0 1 0 212452117 9818112 1765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2397 1765 312 324 0 1466 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9588 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779792/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=12.69 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 1265 4 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10620 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=25.48 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 2541 7 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10620 Solver just ended. Dumping a history of the last processes samples [startup+28.701 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=28.68 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 2860 8 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 10620 [startup+30.3012 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=30.29 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 3020 9 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 30.29 Current children cumulated vsize (KiB) 10620 [startup+31.1013 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=31.09 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 3100 9 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (KiB) 10620 [startup+31.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=31.49 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 3140 9 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 31.49 Current children cumulated vsize (KiB) 10620 [startup+31.7013 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=31.68 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 3159 9 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898399 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 31.68 Current children cumulated vsize (KiB) 10620 [startup+31.8013 s] /proc/loadavg: 0.95 0.98 0.99 2/66 9810 /proc/meminfo: memFree=1779928/2055920 swapFree=4182936/4192956 [pid=9809] ppid=9807 vsize=10620 CPUtime=31.79 /proc/9809/stat : 9809 (bsolo3.0.16) R 9807 9809 8878 0 -1 4194304 2072 0 0 0 3170 9 0 0 25 0 1 0 212452117 10874880 2040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9809/statm: 2655 2040 313 324 0 1724 0 Current children cumulated CPU time (s) 31.79 Current children cumulated vsize (KiB) 10620 Child status: 0 Real time (s): 31.8153 CPU time (s): 31.8052 CPU user time (s): 31.7102 CPU system time (s): 0.094985 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 10620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.7102 system time used= 0.094985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2073 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= 11 involuntary context switches= 19 runsolver used 0.017997 second user time and 0.080987 second system time The end
Begin job on node27 on Tue May 1 05:32:42 UTC 2007 IDJOB= 430660 IDBENCH= 47996 IDSOLVER= 163 FILE ID= node27/430660-1177997562 PBS_JOBID= 4728219 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430660-1177997562/instance-430660-1177997562.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-430660-1177997562 -o ROOT/results/node27/solver-430660-1177997562 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430660-1177997562/instance-430660-1177997562.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ff8e4ce8aca8e0dab1b59dd2a47026b4 RANDOM SEED= 375075854 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1787360 kB Buffers: 30232 kB Cached: 163448 kB SwapCached: 3996 kB Active: 69552 kB Inactive: 134344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787360 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 6720 kB Writeback: 0 kB Mapped: 16124 kB Slab: 50608 kB Committed_AS: 2363216 kB PageTables: 1412 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 node27 on Tue May 1 05:33:14 UTC 2007