Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | UNSAT | 152.381 | 152.42 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb |
MD5SUM | fac1b7391a53ae9861d9e311ddf65af2 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
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.007997 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657837-1276325243.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 lower bounding mode. 152.35/152.42 c 102 220 144 3052 21 468 815 102 14571 0.01 152.35/152.42 c 252 220 294 8947 30 768 897 252 15750 0.02 152.35/152.42 c 477 220 519 19560 37 1218 987 477 12230 0.04 152.35/152.42 c 816 220 858 34410 40 1896 1086 816 11027 0.07 152.35/152.42 c 1326 220 759 28456 37 1698 1195 717 8392 0.16 152.35/152.42 c 2089 220 851 30643 36 1882 1315 809 7541 0.28 152.35/152.42 c 3235 220 1265 46763 36 2710 1447 1223 6971 0.46 152.35/152.42 c 4956 220 1434 53976 37 3048 1592 1392 6156 0.81 152.35/152.42 c 7541 220 1475 51473 34 3130 1752 1433 5585 1.35 152.35/152.42 c 11421 220 1630 56791 34 3440 1928 1588 5203 2.19 152.35/152.42 c 17244 220 1331 50735 38 2842 2121 1289 4886 3.53 152.35/152.42 c 25985 220 1119 41196 36 2418 2334 1077 4335 5.99 152.35/152.42 c 39097 220 2026 76696 37 4232 2568 1984 3962 9.87 152.35/152.42 c 58769 220 1702 55814 32 3584 2825 1660 3605 16.30 152.35/152.42 c 88280 220 1874 61766 32 3928 3108 1832 3397 25.99 152.35/152.42 c 132552 220 2592 97254 37 5364 3419 2550 3083 42.98 152.35/152.42 c 198965 220 1936 72747 37 4052 3761 1894 2911 68.33 152.35/152.42 c 298585 220 2835 93681 33 5850 4138 2793 2679 111.44 152.35/152.42 c Backtracks by Clause: 0 152.35/152.42 c Backtracks by PB constraint: 0 152.35/152.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 152.35/152.42 c 18 386756 71403 496238 4106 121232 4064 2538 152.38 152.35/152.42 s UNSATISFIABLE 152.35/152.42 c Total time: 152.379 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657837-1276325243/watcher-2657837-1276325243 -o /tmp/evaluation-result-2657837-1276325243/solver-2657837-1276325243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657837-1276325243.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10926 /proc/meminfo: memFree=1883948/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=10792 CPUtime=0 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 8125610 11051008 249 1992294400 134512640 137138936 4291700720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2698 249 190 642 0 2054 0 [startup+0.0938481 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10926 /proc/meminfo: memFree=1883948/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11304 CPUtime=0.09 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 470 0 0 0 9 0 0 0 20 0 1 0 8125610 11575296 387 1992294400 134512640 137138936 4291700720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2826 387 190 642 0 2182 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11304 [startup+0.100849 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10926 /proc/meminfo: memFree=1883948/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11308 CPUtime=0.09 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 477 0 0 0 9 0 0 0 20 0 1 0 8125610 11579392 394 1992294400 134512640 137138936 4291700720 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2827 394 190 642 0 2183 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11308 [startup+0.300867 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10926 /proc/meminfo: memFree=1883948/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11564 CPUtime=0.29 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 530 0 0 0 29 0 0 0 20 0 1 0 8125610 11841536 447 1992294400 134512640 137138936 4291700720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2891 447 190 642 0 2247 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11564 [startup+0.700905 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10926 /proc/meminfo: memFree=1883948/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11820 CPUtime=0.69 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 580 0 0 0 69 0 0 0 20 0 1 0 8125610 12103680 497 1992294400 134512640 137138936 4291700720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2955 497 190 642 0 2311 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11820 [startup+1.50098 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10927 /proc/meminfo: memFree=1882576/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11820 CPUtime=1.49 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 584 0 0 0 147 2 0 0 23 0 1 0 8125610 12103680 501 1992294400 134512640 137138936 4291700720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2955 501 190 642 0 2311 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11820 [startup+3.10113 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10927 /proc/meminfo: memFree=1882080/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=11952 CPUtime=3.09 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 641 0 0 0 306 3 0 0 25 0 1 0 8125610 12238848 558 1992294400 134512640 137138936 4291700720 18446744073709551615 134542552 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 2988 558 190 642 0 2344 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11952 [startup+6.30143 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10927 /proc/meminfo: memFree=1881832/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=12208 CPUtime=6.29 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 681 0 0 0 625 4 0 0 25 0 1 0 8125610 12500992 598 1992294400 134512640 137138936 4291700720 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3052 598 190 642 0 2408 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12208 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10927 /proc/meminfo: memFree=1881460/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=12340 CPUtime=12.69 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 738 0 0 0 1262 7 0 0 25 0 1 0 8125610 12636160 655 1992294400 134512640 137138936 4291700720 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3085 655 190 642 0 2441 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12340 [startup+25.5002 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10927 /proc/meminfo: memFree=1881460/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=12464 CPUtime=25.48 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 759 0 0 0 2536 12 0 0 25 0 1 0 8125610 12763136 676 1992294400 134512640 137138936 4291700720 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3116 676 190 642 0 2472 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12464 [startup+51.1007 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10927 /proc/meminfo: memFree=1880716/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13108 CPUtime=51.07 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 928 0 0 0 5087 20 0 0 25 0 1 0 8125610 13422592 845 1992294400 134512640 137138936 4291700720 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3277 845 190 642 0 2633 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13108 [startup+102.309 s] /proc/loadavg: 1.05 1.01 1.00 2/107 10929 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13236 CPUtime=102.27 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 965 0 0 0 10187 40 0 0 25 0 1 0 8125610 13553664 882 1992294400 134512640 137138936 4291700720 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3309 882 190 642 0 2665 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13236 Solver just ended. Dumping a history of the last processes samples [startup+127.902 s] /proc/loadavg: 1.10 1.03 1.00 2/107 10929 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=127.86 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 12734 52 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 13240 [startup+140.701 s] /proc/loadavg: 1.09 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=140.66 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 14010 56 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 13240 [startup+147.101 s] /proc/loadavg: 1.08 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=147.05 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 14646 59 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 147.05 Current children cumulated vsize (KiB) 13240 [startup+150.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=150.26 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 14966 60 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 150.26 Current children cumulated vsize (KiB) 13240 [startup+151.101 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880468/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=151.05 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 15045 60 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 151.05 Current children cumulated vsize (KiB) 13240 [startup+151.901 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880344/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=151.85 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 15125 60 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 151.85 Current children cumulated vsize (KiB) 13240 [startup+152.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880344/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=152.25 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 15165 60 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 152.25 Current children cumulated vsize (KiB) 13240 [startup+152.401 s] /proc/loadavg: 1.07 1.03 1.00 2/107 10931 /proc/meminfo: memFree=1880344/2059040 swapFree=4135044/4192956 [pid=10926] ppid=10924 vsize=13240 CPUtime=152.35 /proc/10926/stat : 10926 (bsolo_pb10) R 10924 10926 9294 0 -1 4202496 966 0 0 0 15175 60 0 0 25 0 1 0 8125610 13557760 883 1992294400 134512640 137138936 4291700720 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10926/statm: 3310 883 190 642 0 2666 0 Current children cumulated CPU time (s) 152.35 Current children cumulated vsize (KiB) 13240 Child status: 0 Real time (s): 152.42 CPU time (s): 152.381 CPU user time (s): 151.776 CPU system time (s): 0.604908 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 13240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.776 system time used= 0.604908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 967 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= 1 involuntary context switches= 401 runsolver used 0.251961 second user time and 0.726889 second system time The end
Begin job on node015 at 2010-06-12 08:47:23 IDJOB=2657837 IDBENCH=1414 IDSOLVER=1163 FILE ID=node015/2657837-1276325243 PBS_JOBID= 11173155 Free space on /tmp= 62548 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657837-1276325243/watcher-2657837-1276325243 -o /tmp/evaluation-result-2657837-1276325243/solver-2657837-1276325243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657837-1276325243.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac1b7391a53ae9861d9e311ddf65af2 RANDOM SEED=344245992 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1884352 kB Buffers: 7304 kB Cached: 100248 kB SwapCached: 13912 kB Active: 71768 kB Inactive: 51600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1884352 kB SwapTotal: 4192956 kB SwapFree: 4135044 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 10632 kB Mapped: 7544 kB Slab: 29476 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181212 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node015 at 2010-06-12 08:49:55