Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 31.3352 | 31.3455 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb |
MD5SUM | a92642ddb77f2466b803e375801dde37 |
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.108983 |
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 | 126 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 294 |
Sum of products size (including duplicates) | 588 |
Number of different products | 294 |
Sum of products size | 588 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452825-1177981757/instance-452825-1177981757.opb 0.00/0.00 c File size is 5394 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 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: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580 0.00/0.00 c Obj. Vars: 7 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 420 607 2555 4 2191 3443 0 0 0.01 0.00/0.01 c Switching off LPR mode. 2.29/2.34 c 103 420 710 6686 9 2362 3788 103 7357 0.01 2.29/2.34 c 254 420 861 13543 15 2648 4167 254 10583 0.02 2.29/2.34 c 480 420 1087 24612 22 3092 4584 480 12307 0.04 2.29/2.34 c 818 420 1425 40005 28 3778 5043 818 12393 0.07 2.29/2.34 c 1326 420 1933 64487 33 4787 5548 1326 12392 0.11 2.29/2.34 c 2089 420 2696 100590 37 6307 6103 2089 10658 0.20 2.29/2.34 c 3236 420 3843 155710 40 8600 6714 3236 9545 0.34 2.29/2.34 c 4957 420 5564 242824 43 12067 7386 4957 7843 0.63 2.29/2.34 c 7542 420 4301 192135 44 9482 8125 3694 7452 1.01 2.29/2.34 c 11421 420 8180 370813 45 17281 8938 7573 6120 1.87 2.29/2.34 o 97 2.339 22.68/22.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.68/22.79 c 14924 420 6822 304104 44 14539 3457 6215 6380 2.34 22.68/22.79 c 15024 420 2437 101441 41 5747 3803 1830 6331 2.37 22.68/22.79 c 15274 420 2687 116774 43 6284 4184 2080 6314 2.42 22.68/22.79 c 15750 420 3163 142959 45 7192 4603 2556 6410 2.46 22.68/22.79 c 16563 420 3976 180934 45 8830 5064 3369 6567 2.52 22.68/22.79 c 17884 420 5297 247561 46 11478 5571 4690 6710 2.67 22.68/22.79 c 19966 420 4341 182651 42 9571 6129 3734 6539 3.05 22.68/22.79 c 23190 420 4185 186758 44 9251 6742 3578 6468 3.58 22.68/22.79 c 28126 420 5437 238731 43 11792 7417 4830 6551 4.29 22.68/22.79 c 35636 420 4951 242075 48 10795 8159 4344 5250 6.79 22.68/22.79 c 46997 417 7912 347468 43 16714 8975 7305 4804 9.78 22.68/22.79 c 64142 417 6382 293044 45 13619 9873 5775 3970 16.15 22.68/22.79 o 65 22.789 26.68/26.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.68/26.76 c 78526 413 5550 234972 42 11983 3457 4943 3433 22.87 26.68/26.76 c 78626 413 2442 86055 35 5779 3803 1835 3432 22.91 26.68/26.76 c 78877 413 2693 99206 36 6268 4184 2086 3439 22.93 26.68/26.76 c 79353 413 3169 123203 38 7217 4603 2562 3449 23.00 26.68/26.76 c 80167 413 3983 164287 41 8867 5064 3376 3460 23.16 26.68/26.76 c 81487 413 5303 233915 44 11528 5571 4696 3494 23.32 26.68/26.76 c 83569 413 4411 199465 45 9743 6129 3804 3500 23.87 26.68/26.76 c 86792 413 4529 192117 42 9948 6742 3922 3502 24.78 26.68/26.76 c 91729 413 5923 257307 43 12789 7417 5316 3446 26.61 26.68/26.76 o 5 26.755 27.28/27.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.28/27.35 c 92567 413 6762 300191 44 14456 3457 6155 3459 26.75 27.28/27.35 c 92668 405 2445 91051 37 5801 3803 1838 3457 26.80 27.28/27.35 c 92918 405 2695 104102 38 6337 4184 2088 3462 26.83 27.28/27.35 c 93393 405 3170 128370 40 7262 4603 2563 3473 26.89 27.28/27.35 c 94206 405 3983 167907 42 8909 5064 3376 3486 27.02 27.28/27.35 c 95527 394 5304 228897 43 11510 5571 4697 3501 27.28 27.28/27.35 o 3 27.34 31.28/31.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.28/31.34 c 95881 374 5659 246558 43 12195 3449 5052 3506 27.34 31.28/31.34 c 95981 366 2442 86939 35 5805 3794 1835 3507 27.36 31.28/31.34 c 96232 366 2693 98822 36 6284 4174 2086 3511 27.40 31.28/31.34 c 96708 366 3169 121405 38 7211 4592 2562 3518 27.48 31.28/31.34 c 97521 366 3982 161266 40 8844 5052 3375 3527 27.65 31.28/31.34 c 98842 366 5303 225160 42 11506 5558 4696 3531 27.99 31.28/31.34 c 100924 366 4517 191669 42 9920 6114 3910 3532 28.57 31.28/31.34 c 104148 355 4595 197862 43 10084 6726 3988 3495 29.79 31.28/31.34 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.28/31.34 v -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x85 -x86 -x87 31.28/31.34 v -x88 -x89 -x90 -x91 x57 -x58 -x59 x60 -x61 -x62 -x63 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x64 x65 -x66 x67 x68 -x69 -x70 -x99 -x100 31.28/31.34 v -x101 -x102 -x103 -x104 -x105 x71 x72 -x73 x74 -x75 -x76 x77 x106 x107 -x108 -x109 -x110 -x111 -x112 x78 -x79 -x80 -x81 -x82 31.28/31.34 v -x83 -x84 -x113 x114 -x115 x116 x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 31.28/31.34 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.28/31.34 c 45 108255 1377 117059 5245 210422 4638 3455 31.33 31.28/31.34 c Objective: 3 31.28/31.34 s OPTIMUM FOUND 31.28/31.34 c Total time: 31.331 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-452825-1177981757 -o ROOT/results/node65/solver-452825-1177981757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452825-1177981757/instance-452825-1177981757.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: 1.00 1.00 0.91 3/64 28463 /proc/meminfo: memFree=1785392/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=19556 CPUtime=0 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 274165305 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 4889 342 288 324 0 3957 0 [startup+0.068976 s] /proc/loadavg: 1.00 1.00 0.91 3/64 28463 /proc/meminfo: memFree=1785392/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=4712 CPUtime=0.06 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 582 0 0 0 6 0 0 0 18 0 1 0 274165305 4825088 550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6116831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 1178 550 310 324 0 248 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4712 [startup+0.101978 s] /proc/loadavg: 1.00 1.00 0.91 3/64 28463 /proc/meminfo: memFree=1785392/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=4972 CPUtime=0.09 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 658 0 0 0 9 0 0 0 18 0 1 0 274165305 5091328 626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 1243 626 310 324 0 313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.301994 s] /proc/loadavg: 1.00 1.00 0.91 3/64 28463 /proc/meminfo: memFree=1785392/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=6148 CPUtime=0.29 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 930 0 0 0 29 0 0 0 19 0 1 0 274165305 6295552 898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 1537 898 310 324 0 607 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6148 [startup+0.701028 s] /proc/loadavg: 1.00 1.00 0.91 3/64 28463 /proc/meminfo: memFree=1785392/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=7836 CPUtime=0.69 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 1381 0 0 0 69 0 0 0 22 0 1 0 274165305 8024064 1349 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 1959 1349 310 324 0 1029 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7836 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1779496/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=9788 CPUtime=1.49 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 1859 0 0 0 149 0 0 0 25 0 1 0 274165305 10022912 1827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2447 1827 310 324 0 1517 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9788 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777960/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11088 CPUtime=3.09 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2192 0 0 0 308 1 0 0 25 0 1 0 274165305 11354112 2160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2772 2160 311 324 0 1842 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11088 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777704/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11088 CPUtime=6.29 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2192 0 0 0 628 1 0 0 25 0 1 0 274165305 11354112 2160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2772 2160 311 324 0 1842 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11088 [startup+12.701 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777712/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11088 CPUtime=12.69 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2192 0 0 0 1268 1 0 0 25 0 1 0 274165305 11354112 2160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2772 2160 311 324 0 1842 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11088 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777136/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11868 CPUtime=25.48 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2374 0 0 0 2547 1 0 0 25 0 1 0 274165305 12152832 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2967 2342 311 324 0 2037 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11868 Solver just ended. Dumping a history of the last processes samples [startup+28.7014 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777136/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11804 CPUtime=28.68 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2374 0 0 0 2867 1 0 0 25 0 1 0 274165305 12087296 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2951 2342 311 324 0 2021 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 11804 [startup+30.3015 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777136/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11804 CPUtime=30.28 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2374 0 0 0 3027 1 0 0 25 0 1 0 274165305 12087296 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2951 2342 311 324 0 2021 0 Current children cumulated CPU time (s) 30.28 Current children cumulated vsize (KiB) 11804 [startup+31.1016 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777136/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11804 CPUtime=31.08 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2374 0 0 0 3107 1 0 0 25 0 1 0 274165305 12087296 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6127333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2951 2342 311 324 0 2021 0 Current children cumulated CPU time (s) 31.08 Current children cumulated vsize (KiB) 11804 [startup+31.3016 s] /proc/loadavg: 1.00 1.00 0.91 2/65 28464 /proc/meminfo: memFree=1777136/2055920 swapFree=4184072/4192956 [pid=28463] ppid=28461 vsize=11804 CPUtime=31.28 /proc/28463/stat : 28463 (bsolo3.0.17) R 28461 28463 27543 0 -1 4194304 2374 0 0 0 3127 1 0 0 25 0 1 0 274165305 12087296 2342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28463/statm: 2951 2342 311 324 0 2021 0 Current children cumulated CPU time (s) 31.28 Current children cumulated vsize (KiB) 11804 Child status: 0 Real time (s): 31.3455 CPU time (s): 31.3352 CPU user time (s): 31.3182 CPU system time (s): 0.016997 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (KiB): 11868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.3182 system time used= 0.016997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2378 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= 25 runsolver used 0.024996 second user time and 0.068989 second system time The end
Begin job on node65 on Tue May 1 01:09:17 UTC 2007 IDJOB= 452825 IDBENCH= 47892 IDSOLVER= 199 FILE ID= node65/452825-1177981757 PBS_JOBID= 4728193 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452825-1177981757/instance-452825-1177981757.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-452825-1177981757 -o ROOT/results/node65/solver-452825-1177981757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452825-1177981757/instance-452825-1177981757.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a92642ddb77f2466b803e375801dde37 RANDOM SEED= 652656029 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1785992 kB Buffers: 23640 kB Cached: 170156 kB SwapCached: 2860 kB Active: 57628 kB Inactive: 145900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785992 kB SwapTotal: 4192956 kB SwapFree: 4184072 kB Dirty: 6584 kB Writeback: 0 kB Mapped: 15756 kB Slab: 52360 kB Committed_AS: 2627860 kB PageTables: 1456 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 node65 on Tue May 1 01:09:48 UTC 2007