Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 184.947 | 185.007 |
Name | /PURE-SAT/SAT07/industrial/jarvisalo/ eq.atree.braun.8.unsat.opb |
MD5SUM | ed10322dc5e7340a2e19a953621baa2d |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 20.3809 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 684 |
Total number of constraints | 2300 |
Number of constraints which are clauses | 2300 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 13 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 28 |
Number of bits of the biggest sum of numbers | 5 |
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.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 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 HOME/instance-1884283-1245256452.opb 0.00/0.00 c File size is 64027 bytes. 0.00/0.01 c Highest Coefficient sum: 28 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 684 Constr: 2300 2300/0/0 Lit: 5992 Watch. Lit: 4597 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.022 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 672 2236 5857 2 4472 745 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 184.93/185.00 c 100 672 2336 7399 3 4672 820 100 2777 0.04 184.93/185.00 c 252 672 2488 9413 3 4976 903 252 4754 0.05 184.93/185.00 c 478 672 2714 13915 5 5428 994 478 5759 0.08 184.93/185.00 c 821 672 3057 20302 6 6114 1094 821 5864 0.14 184.93/185.00 c 1332 672 2802 27747 9 5604 1204 566 5481 0.24 184.93/185.00 c 2095 672 2865 18729 6 5730 1325 629 4718 0.44 184.93/185.00 c 3242 672 3230 24688 7 6460 1458 994 4521 0.72 184.93/185.00 c 4965 672 2990 31176 10 5980 1604 754 4343 1.14 184.93/185.00 c 7550 672 3687 55254 14 7374 1765 1451 3952 1.91 184.93/185.00 c 11430 672 3457 58907 17 6914 1942 1221 3751 3.05 184.93/185.00 c 17252 672 4177 57894 13 8354 2137 1941 3498 4.93 184.93/185.00 c 25991 671 3895 101697 26 7789 2351 1659 3290 7.90 184.93/185.00 c 39102 671 3493 48501 13 6985 2587 1257 3017 12.96 184.93/185.00 c 58772 671 4213 76281 18 8425 2846 1977 2820 20.84 184.93/185.00 c 88283 671 3934 76329 19 7867 3131 1698 2700 32.70 184.93/185.00 c 132555 671 3995 84160 21 7989 3445 1759 2509 52.82 184.93/185.00 c 198968 671 4296 58678 13 8591 3790 2060 2343 84.89 184.93/185.00 c 298589 671 4395 84095 19 8789 4170 2159 2199 135.74 184.93/185.00 c Backtracks by Clause: 0 184.93/185.00 c Backtracks by PB constraint: 0 184.93/185.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 184.93/185.00 c 18 396698 59610 506396 5712 110514 3476 2144 184.94 184.93/185.00 s UNSATISFIABLE 184.93/185.00 c Total time: 184.944 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-1884283-1245256452/watcher-1884283-1245256452 -o /tmp/evaluation-result-1884283-1245256452/solver-1884283-1245256452 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1884283-1245256452.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.87 3/64 10238 /proc/meminfo: memFree=1841712/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=10772 CPUtime=0 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 193239243 11030528 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 2693 240 176 640 0 2033 0 [startup+0.053672 s] /proc/loadavg: 0.92 0.98 0.87 3/64 10238 /proc/meminfo: memFree=1841712/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=11116 CPUtime=0.04 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 400 0 0 0 4 0 0 0 18 0 1 0 193239243 11382784 368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 2779 368 196 640 0 2135 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11116 [startup+0.10168 s] /proc/loadavg: 0.92 0.98 0.87 3/64 10238 /proc/meminfo: memFree=1841712/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=11244 CPUtime=0.09 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 425 0 0 0 9 0 0 0 18 0 1 0 193239243 11513856 393 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 2811 394 196 640 0 2167 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11244 [startup+0.301711 s] /proc/loadavg: 0.92 0.98 0.87 3/64 10238 /proc/meminfo: memFree=1841712/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=11756 CPUtime=0.29 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 561 0 0 0 29 0 0 0 19 0 1 0 193239243 12038144 529 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 2939 529 196 640 0 2295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11756 [startup+0.701775 s] /proc/loadavg: 0.92 0.98 0.87 3/64 10238 /proc/meminfo: memFree=1841712/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=12008 CPUtime=0.69 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 602 0 0 0 69 0 0 0 22 0 1 0 193239243 12296192 570 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3002 570 196 640 0 2358 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12008 [startup+1.5019 s] /proc/loadavg: 0.92 0.98 0.87 2/65 10239 /proc/meminfo: memFree=1840104/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=12516 CPUtime=1.49 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 737 0 0 0 149 0 0 0 25 0 1 0 193239243 12816384 705 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3129 705 196 640 0 2485 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12516 [startup+3.10116 s] /proc/loadavg: 0.92 0.98 0.87 2/65 10239 /proc/meminfo: memFree=1839528/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=12516 CPUtime=3.09 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 755 0 0 0 308 1 0 0 25 0 1 0 193239243 12816384 723 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3129 723 196 640 0 2485 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12516 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.87 2/65 10239 /proc/meminfo: memFree=1839464/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=13276 CPUtime=6.29 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 927 0 0 0 627 2 0 0 25 0 1 0 193239243 13594624 895 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3319 895 196 640 0 2675 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13276 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.87 2/65 10239 /proc/meminfo: memFree=1837928/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=14024 CPUtime=12.68 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1129 0 0 0 1265 3 0 0 25 0 1 0 193239243 14360576 1097 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3506 1097 196 640 0 2862 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14024 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.87 3/65 10239 /proc/meminfo: memFree=1837480/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=14528 CPUtime=25.49 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1239 0 0 0 2542 7 0 0 25 0 1 0 193239243 14876672 1207 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3632 1207 196 640 0 2988 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14528 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.87 2/65 10239 /proc/meminfo: memFree=1837160/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=14776 CPUtime=51.08 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1319 0 0 0 5095 13 0 0 25 0 1 0 193239243 15130624 1287 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3694 1287 196 640 0 3050 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14776 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836328/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15760 CPUtime=102.26 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1543 0 0 0 10202 24 0 0 25 0 1 0 193239243 16138240 1511 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3940 1511 196 640 0 3296 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15760 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836264/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=162.24 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 16187 37 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15704 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836264/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=166.24 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 16586 38 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 134544732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 15704 [startup+172.705 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=172.64 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 17225 39 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 15704 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=179.03 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 17863 40 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 15704 [startup+182.302 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=182.24 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 18183 41 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 15704 [startup+183.902 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=183.83 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 18342 41 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 183.83 Current children cumulated vsize (KiB) 15704 [startup+184.701 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=184.63 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 18422 41 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 184.63 Current children cumulated vsize (KiB) 15704 [startup+184.901 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=184.83 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 18442 41 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 136502082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 184.83 Current children cumulated vsize (KiB) 15704 [startup+185.002 s] /proc/loadavg: 0.99 0.98 0.88 2/65 10239 /proc/meminfo: memFree=1836200/2055920 swapFree=4181748/4192956 [pid=10238] ppid=10236 vsize=15704 CPUtime=184.93 /proc/10238/stat : 10238 (bsolo) R 10236 10238 10125 0 -1 4194304 1564 0 0 0 18452 41 0 0 25 0 1 0 193239243 16080896 1524 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10238/statm: 3926 1524 196 640 0 3282 0 Current children cumulated CPU time (s) 184.93 Current children cumulated vsize (KiB) 15704 Child status: 0 Real time (s): 185.007 CPU time (s): 184.947 CPU user time (s): 184.529 CPU system time (s): 0.417936 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 15760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 184.529 system time used= 0.417936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1566 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= 2 involuntary context switches= 271 runsolver used 0.181972 second user time and 0.336948 second system time The end
Begin job on node69 at 2009-06-17 18:34:12 IDJOB=1884283 IDBENCH=71941 IDSOLVER=700 FILE ID=node69/1884283-1245256452 PBS_JOBID= 9372392 Free space on /tmp= 66472 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884283-1245256452/watcher-1884283-1245256452 -o /tmp/evaluation-result-1884283-1245256452/solver-1884283-1245256452 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1884283-1245256452.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed10322dc5e7340a2e19a953621baa2d RANDOM SEED=1172209219 node69.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.279 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.279 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: 1842384 kB Buffers: 23276 kB Cached: 116888 kB SwapCached: 5288 kB Active: 30804 kB Inactive: 117480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842384 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 4000 kB Writeback: 0 kB Mapped: 13484 kB Slab: 51248 kB Committed_AS: 91736 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1884283-1245256452.opb Free space on /tmp at the end= 66468 MiB End job on node69 at 2009-06-17 18:37:18