Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | UNSAT | 347.189 | 347.289 |
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: Generic Pseudo-Boolean 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-1884284-1245256452.opb 0.00/0.00 c File size is 64027 bytes. 0.00/0.00 c Highest Coefficient sum: 28 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 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.02 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. 347.09/347.28 c 100 672 2430 8865 3 4860 820 194 2439 0.04 347.09/347.28 c 250 672 2720 13372 4 5440 903 484 3731 0.07 347.09/347.28 c 475 672 2701 12601 4 5402 994 465 4059 0.12 347.09/347.28 c 813 672 2752 21057 7 5504 1094 516 3965 0.20 347.09/347.28 c 1322 672 3000 33857 11 6000 1204 764 2984 0.44 347.09/347.28 c 2085 672 2899 23424 8 5798 1325 663 2768 0.75 347.09/347.28 c 3234 671 2979 22659 7 5956 1458 743 2859 1.13 347.09/347.28 c 4955 670 3318 31382 9 6632 1604 1082 2463 2.01 347.09/347.28 c 7539 670 3698 83219 22 7392 1765 1462 2098 3.59 347.09/347.28 c 11420 669 3406 34555 10 6806 1942 1170 1854 6.16 347.09/347.28 c 17243 669 3484 32091 9 6962 2137 1248 1825 9.45 347.09/347.28 c 25982 669 3778 31511 8 7550 2351 1542 1748 14.86 347.09/347.28 c 39092 669 4451 75846 17 8896 2587 2215 1637 23.87 347.09/347.28 c 58762 669 4128 61144 14 8250 2846 1892 1466 40.08 347.09/347.28 c 88272 669 4108 55799 13 8210 3131 1872 1311 67.30 347.09/347.28 c 132543 669 4282 43289 10 8558 3445 2046 1245 106.41 347.09/347.28 c 198955 668 4857 99321 20 9706 3790 2621 1269 156.71 347.09/347.28 c 298575 655 5458 132812 24 10907 4170 3222 1188 251.21 347.09/347.28 c Backtracks by Clause: 399556 347.09/347.28 c Backtracks by PB constraint: 6 347.09/347.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 347.09/347.28 c 18 399562 58299 503431 6062 98450 3826 1150 347.19 347.09/347.28 s UNSATISFIABLE 347.09/347.28 c Total time: 347.187 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-1884284-1245256452/watcher-1884284-1245256452 -o /tmp/evaluation-result-1884284-1245256452/solver-1884284-1245256452 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1884284-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.86 0.94 0.86 3/65 1529 /proc/meminfo: memFree=1857960/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=10776 CPUtime=0 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 258 0 0 0 0 0 0 0 21 0 1 0 193243250 11034624 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 2694 243 176 640 0 2034 0 [startup+0.070033 s] /proc/loadavg: 0.86 0.94 0.86 3/65 1529 /proc/meminfo: memFree=1857960/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=11244 CPUtime=0.06 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 417 0 0 0 6 0 0 0 21 0 1 0 193243250 11513856 385 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 2811 385 197 640 0 2167 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11244 [startup+0.101036 s] /proc/loadavg: 0.86 0.94 0.86 3/65 1529 /proc/meminfo: memFree=1857960/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=11248 CPUtime=0.09 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 437 0 0 0 9 0 0 0 21 0 1 0 193243250 11517952 405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 2812 405 197 640 0 2168 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11248 [startup+0.301057 s] /proc/loadavg: 0.86 0.94 0.86 3/65 1529 /proc/meminfo: memFree=1857960/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=11628 CPUtime=0.29 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 526 0 0 0 29 0 0 0 23 0 1 0 193243250 11907072 494 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 2907 494 197 640 0 2263 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11628 [startup+0.701099 s] /proc/loadavg: 0.86 0.94 0.86 3/65 1529 /proc/meminfo: memFree=1857960/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=12140 CPUtime=0.69 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 655 0 0 0 69 0 0 0 25 0 1 0 193243250 12431360 623 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3035 623 197 640 0 2391 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12140 [startup+1.50118 s] /proc/loadavg: 0.86 0.94 0.86 2/66 1530 /proc/meminfo: memFree=1856288/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=12400 CPUtime=1.49 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 715 0 0 0 149 0 0 0 25 0 1 0 193243250 12697600 683 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3100 683 197 640 0 2456 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12400 [startup+3.10135 s] /proc/loadavg: 0.86 0.94 0.86 2/66 1530 /proc/meminfo: memFree=1855840/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=12656 CPUtime=3.09 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 767 0 0 0 308 1 0 0 25 0 1 0 193243250 12959744 735 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3164 735 197 640 0 2520 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12656 [startup+6.30169 s] /proc/loadavg: 0.87 0.94 0.86 2/66 1530 /proc/meminfo: memFree=1855392/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=12788 CPUtime=6.29 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 813 0 0 0 628 1 0 0 25 0 1 0 193243250 13094912 781 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3197 781 197 640 0 2553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12788 [startup+12.7014 s] /proc/loadavg: 0.88 0.94 0.86 2/66 1530 /proc/meminfo: memFree=1855344/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=12788 CPUtime=12.69 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 813 0 0 0 1267 2 0 0 25 0 1 0 193243250 13094912 781 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3197 781 197 640 0 2553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12788 [startup+25.5017 s] /proc/loadavg: 0.91 0.94 0.86 2/66 1530 /proc/meminfo: memFree=1854768/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=13360 CPUtime=25.49 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 969 0 0 0 2544 5 0 0 25 0 1 0 193243250 13680640 937 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3340 937 197 640 0 2696 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13360 [startup+51.1014 s] /proc/loadavg: 0.94 0.95 0.86 2/66 1530 /proc/meminfo: memFree=1853872/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=14128 CPUtime=51.07 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1189 0 0 0 5099 8 0 0 25 0 1 0 193243250 14467072 1131 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3532 1131 197 640 0 2888 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14128 [startup+102.306 s] /proc/loadavg: 0.97 0.95 0.87 2/66 1530 /proc/meminfo: memFree=1853232/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=14900 CPUtime=102.27 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1374 0 0 0 10213 14 0 0 25 0 1 0 193243250 15257600 1315 1992294400 134512640 137136520 4294956256 18446744073709551615 136502376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3725 1315 197 640 0 3081 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14900 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.87 2/66 1530 /proc/meminfo: memFree=1853040/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15152 CPUtime=162.24 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1420 0 0 0 16204 20 0 0 25 0 1 0 193243250 15515648 1361 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3788 1361 197 640 0 3144 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15152 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.88 2/66 1530 /proc/meminfo: memFree=1852976/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=14920 CPUtime=222.23 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1420 0 0 0 22194 29 0 0 25 0 1 0 193243250 15278080 1329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3730 1329 197 640 0 3086 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14920 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15404 CPUtime=282.21 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 28186 35 0 0 25 0 1 0 193243250 15773696 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3851 1424 197 640 0 3207 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 15404 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=342.2 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34178 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 15396 Solver just ended. Dumping a history of the last processes samples [startup+345.501 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=345.39 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34497 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 345.39 Current children cumulated vsize (KiB) 15396 [startup+346.302 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=346.19 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34577 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 346.19 Current children cumulated vsize (KiB) 15396 [startup+346.702 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=346.59 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34617 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 346.59 Current children cumulated vsize (KiB) 15396 [startup+347.102 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=346.99 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34657 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 136295575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 346.99 Current children cumulated vsize (KiB) 15396 [startup+347.202 s] /proc/loadavg: 0.99 0.97 0.89 2/66 1530 /proc/meminfo: memFree=1852656/2055920 swapFree=4175764/4192956 [pid=1529] ppid=1527 vsize=15396 CPUtime=347.09 /proc/1529/stat : 1529 (bsolo) R 1527 1529 1266 0 -1 4194304 1515 0 0 0 34667 42 0 0 25 0 1 0 193243250 15765504 1424 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1529/statm: 3849 1424 197 640 0 3205 0 Current children cumulated CPU time (s) 347.09 Current children cumulated vsize (KiB) 15396 Child status: 0 Real time (s): 347.289 CPU time (s): 347.189 CPU user time (s): 346.762 CPU system time (s): 0.426935 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 15408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 346.762 system time used= 0.426935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1516 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= 353 runsolver used 0.39294 second user time and 0.814876 second system time The end
Begin job on node82 at 2009-06-17 18:34:12 IDJOB=1884284 IDBENCH=71941 IDSOLVER=701 FILE ID=node82/1884284-1245256452 PBS_JOBID= 9372380 Free space on /tmp= 66388 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT07/industrial/jarvisalo/eq.atree.braun.8.unsat.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884284-1245256452/watcher-1884284-1245256452 -o /tmp/evaluation-result-1884284-1245256452/solver-1884284-1245256452 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1884284-1245256452.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ed10322dc5e7340a2e19a953621baa2d RANDOM SEED=1791121753 node82.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.232 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.232 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1858376 kB Buffers: 21408 kB Cached: 107172 kB SwapCached: 10480 kB Active: 22820 kB Inactive: 118924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858376 kB SwapTotal: 4192956 kB SwapFree: 4175764 kB Dirty: 3996 kB Writeback: 0 kB Mapped: 18928 kB Slab: 41672 kB Committed_AS: 105656 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1884284-1245256452.opb Free space on /tmp at the end= 66384 MiB End job on node82 at 2009-06-17 18:40:00