Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.17 | UNSAT | 232.037 | 232.112 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb |
MD5SUM | fac1b7391a53ae9861d9e311ddf65af2 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.001999 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 220 |
Total number of constraints | 42 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
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.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/432427-1177943651/instance-432427-1177943651.opb 0.00/0.00 c File size is 3818 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 220 Constr: 42 22/20/0 Lit: 440 Watch. Lit: 264 0.00/0.00 c Obj. Vars: 0 (0 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 220 42 440 10 264 740 0 0 0.00 0.00/0.00 c Switching off LPR mode. 232.02/232.10 c 101 220 143 3216 22 466 815 101 16833 0.01 232.02/232.10 c 251 220 293 9287 31 766 897 251 17928 0.01 232.02/232.10 c 480 220 522 20280 38 1224 987 480 14117 0.03 232.02/232.10 c 819 220 861 37129 43 1902 1086 819 10636 0.08 232.02/232.10 c 1327 220 748 32374 43 1676 1195 706 7582 0.17 232.02/232.10 c 2090 220 826 37437 45 1832 1315 784 6593 0.32 232.02/232.10 c 3236 220 1250 54559 43 2680 1447 1208 6187 0.52 232.02/232.10 c 4957 220 1399 57580 41 2978 1592 1357 6471 0.77 232.02/232.10 c 7543 220 1443 59989 41 3066 1752 1401 5948 1.27 232.02/232.10 c 11423 220 1567 69457 44 3314 1928 1525 5436 2.10 232.02/232.10 c 17245 220 1199 45454 37 2578 2121 1157 5017 3.44 232.02/232.10 c 25983 220 2027 81677 40 4234 2334 1985 4440 5.85 232.02/232.10 c 39098 220 1646 53699 32 3472 2568 1604 4138 9.45 232.02/232.10 c 58768 220 2498 100069 40 5176 2825 2456 4069 14.44 232.02/232.10 c 88281 220 2472 111689 45 5124 3108 2430 3709 23.80 232.02/232.10 c 132553 220 1666 60657 36 3512 3419 1624 3299 40.18 232.02/232.10 c 198969 220 2575 105419 40 5330 3761 2533 3082 64.54 232.02/232.10 c 298590 219 3366 111701 33 6911 4138 3324 2833 105.38 232.02/232.10 c 448025 219 4135 137056 33 8449 4552 4093 2632 170.18 232.02/232.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 232.02/232.10 c 19 578833 95261 718939 4563 134909 4521 2494 232.03 232.02/232.10 s UNSATISFIABLE 232.02/232.10 c Total time: 232.032 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-432427-1177943651 -o ROOT/results/node44/solver-432427-1177943651 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432427-1177943651/instance-432427-1177943651.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.71 0.91 0.81 3/77 8459 /proc/meminfo: memFree=1794672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=11740 CPUtime=0 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242276798 12021760 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11746914 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 2935 334 280 324 0 2004 0 [startup+0.029693 s] /proc/loadavg: 0.71 0.91 0.81 3/77 8459 /proc/meminfo: memFree=1794672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=4184 CPUtime=0.02 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 464 0 0 0 2 0 0 0 18 0 1 0 242276798 4284416 433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1046 433 309 324 0 116 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4184 [startup+0.101701 s] /proc/loadavg: 0.71 0.91 0.81 3/77 8459 /proc/meminfo: memFree=1794672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=4572 CPUtime=0.09 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 242276798 4681728 531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1143 531 309 324 0 213 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4572 [startup+0.30172 s] /proc/loadavg: 0.71 0.91 0.81 3/77 8459 /proc/meminfo: memFree=1794672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=4960 CPUtime=0.29 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 644 0 0 0 29 0 0 0 19 0 1 0 242276798 5079040 613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1240 613 309 324 0 310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.701761 s] /proc/loadavg: 0.71 0.91 0.81 3/77 8459 /proc/meminfo: memFree=1794672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=4960 CPUtime=0.69 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 660 0 0 0 69 0 0 0 23 0 1 0 242276798 5079040 629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1240 629 309 324 0 310 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4960 [startup+1.50184 s] /proc/loadavg: 0.71 0.91 0.81 2/78 8460 /proc/meminfo: memFree=1793320/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=5220 CPUtime=1.49 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 711 0 0 0 149 0 0 0 25 0 1 0 242276798 5345280 680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11713968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1305 680 309 324 0 375 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5220 [startup+3.10301 s] /proc/loadavg: 0.71 0.91 0.81 2/78 8460 /proc/meminfo: memFree=1792872/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=5476 CPUtime=3.09 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 763 0 0 0 309 0 0 0 25 0 1 0 242276798 5607424 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1369 732 309 324 0 439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5476 [startup+6.30133 s] /proc/loadavg: 0.73 0.91 0.81 2/78 8460 /proc/meminfo: memFree=1792368/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=5604 CPUtime=6.29 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 809 0 0 0 629 0 0 0 25 0 1 0 242276798 5738496 778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1401 778 309 324 0 471 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5604 [startup+12.702 s] /proc/loadavg: 0.76 0.91 0.81 2/78 8460 /proc/meminfo: memFree=1792184/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=5860 CPUtime=12.68 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 870 0 0 0 1268 0 0 0 25 0 1 0 242276798 6000640 839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1465 839 309 324 0 535 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 5860 [startup+25.5013 s] /proc/loadavg: 0.81 0.91 0.81 2/78 8460 /proc/meminfo: memFree=1791928/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=6248 CPUtime=25.48 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 964 0 0 0 2548 0 0 0 25 0 1 0 242276798 6397952 933 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11714038 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1562 933 309 324 0 632 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6248 [startup+51.1019 s] /proc/loadavg: 0.87 0.92 0.82 2/78 8460 /proc/meminfo: memFree=1791672/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=6376 CPUtime=51.06 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1014 0 0 0 5106 0 0 0 25 0 1 0 242276798 6529024 983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1594 983 309 324 0 664 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 6376 [startup+102.305 s] /proc/loadavg: 0.94 0.93 0.82 2/78 8460 /proc/meminfo: memFree=1791480/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=6632 CPUtime=102.26 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1063 0 0 0 10225 1 0 0 25 0 1 0 242276798 6791168 1032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1658 1032 309 324 0 728 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 6632 [startup+162.301 s] /proc/loadavg: 0.98 0.94 0.83 2/78 8460 /proc/meminfo: memFree=1791416/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=6636 CPUtime=162.23 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1078 0 0 0 16222 1 0 0 25 0 1 0 242276798 6795264 1047 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1659 1047 309 324 0 729 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 6636 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1790968/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=222.22 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 22220 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11710498 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 7020 Solver just ended. Dumping a history of the last processes samples [startup+223.902 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1791032/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=223.82 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 22380 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 223.82 Current children cumulated vsize (KiB) 7020 [startup+227.102 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1791032/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=227.02 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 22700 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 227.02 Current children cumulated vsize (KiB) 7020 [startup+230.301 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1790968/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=230.22 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 23020 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 230.22 Current children cumulated vsize (KiB) 7020 [startup+231.101 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1790968/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=231.02 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 23100 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 231.02 Current children cumulated vsize (KiB) 7020 [startup+231.901 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1790968/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=231.82 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 23180 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 231.82 Current children cumulated vsize (KiB) 7020 [startup+232.105 s] /proc/loadavg: 0.99 0.95 0.84 2/78 8460 /proc/meminfo: memFree=1790968/2055920 swapFree=4156176/4192956 [pid=8459] ppid=8457 vsize=7020 CPUtime=232.02 /proc/8459/stat : 8459 (bsolo3.0.17) R 8457 8459 7909 0 -1 4194304 1175 0 0 0 23200 2 0 0 25 0 1 0 242276798 7188480 1144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8459/statm: 1755 1144 309 324 0 825 0 Current children cumulated CPU time (s) 232.02 Current children cumulated vsize (KiB) 7020 Child status: 0 Real time (s): 232.112 CPU time (s): 232.037 CPU user time (s): 232.013 CPU system time (s): 0.023996 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 7020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 232.013 system time used= 0.023996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1179 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= 5062 runsolver used 0.206968 second user time and 0.465929 second system time The end
Begin job on node44 on Mon Apr 30 14:34:11 UTC 2007 IDJOB= 432427 IDBENCH= 1414 IDSOLVER= 199 FILE ID= node44/432427-1177943651 PBS_JOBID= 4727603 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432427-1177943651/instance-432427-1177943651.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-432427-1177943651 -o ROOT/results/node44/solver-432427-1177943651 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432427-1177943651/instance-432427-1177943651.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= fac1b7391a53ae9861d9e311ddf65af2 RANDOM SEED= 436154967 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1795152 kB Buffers: 37556 kB Cached: 129320 kB SwapCached: 14004 kB Active: 87092 kB Inactive: 104312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795152 kB SwapTotal: 4192956 kB SwapFree: 4156176 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 32548 kB Slab: 54924 kB Committed_AS: 1546772 kB PageTables: 1736 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 node44 on Mon Apr 30 14:38:03 UTC 2007