Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.1 | 1800.05 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo |
MD5SUM | f76bfef4498edf916ad0f53b817cfd69 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 0.011997 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 400 |
Total number of constraints | 60 |
Number of soft constraints | 41 |
Number of constraints which are clauses | 40 |
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 | 20 |
Top cost | 2005 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 2004 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689707-1277973307.wbo. 0.00/0.00 c Instance file HOME/instance-2689707-1277973307.wbo 0.00/0.00 c File size is 7089 bytes. 0.00/0.00 c Highest Coefficient sum: 21 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 400 | 0.00/0.00 c | Number Clauses: 40 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 400 60 800 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 400 60 800 | 5500 100 33 | 0.001 % | 0.00/0.00 c | 250 | 400 60 800 | 6050 250 33 | 0.001 % | 0.00/0.01 c | 475 | 400 60 800 | 6655 475 42 | 0.001 % | 0.00/0.02 c | 813 | 400 60 800 | 7320 813 49 | 0.001 % | 0.00/0.04 c | 1320 | 400 60 800 | 8052 1320 52 | 0.001 % | 0.05/0.08 c | 2079 | 400 60 800 | 8857 2079 54 | 0.001 % | 0.09/0.17 c | 3219 | 400 60 800 | 9743 3219 53 | 0.001 % | 0.39/0.40 c | 4927 | 400 60 800 | 10717 4927 55 | 0.001 % | 0.89/0.92 c | 7491 | 400 60 800 | 11789 7491 57 | 0.001 % | 1.89/1.93 c | 11335 | 400 60 800 | 12968 11335 58 | 0.001 % | 3.30/3.35 c | 17102 | 400 60 800 | 14265 10576 60 | 0.001 % | 5.29/5.37 c | 25751 | 400 60 800 | 15692 12051 60 | 0.001 % | 8.19/8.24 c | 38725 | 400 60 800 | 17261 9222 55 | 0.001 % | 13.79/13.83 c | 58186 | 400 60 800 | 18987 11328 56 | 0.001 % | 21.09/21.14 c | 87380 | 400 60 800 | 20886 11897 52 | 0.001 % | 31.29/31.35 c | 131170 | 400 60 800 | 22974 13740 55 | 0.001 % | 48.09/48.18 c | 196856 | 400 60 800 | 25272 21774 57 | 0.001 % | 74.49/74.57 c | 295383 | 400 60 800 | 27799 16995 52 | 0.001 % | 121.40/121.43 c | 443176 | 400 60 800 | 30579 17507 56 | 0.001 % | 188.80/188.87 c | 664861 | 400 60 800 | 33637 24565 57 | 0.001 % | 308.80/308.86 c | 997388 | 400 60 800 | 37001 14890 53 | 0.001 % | 491.10/491.19 c | 1496178 | 400 60 800 | 40701 15474 49 | 0.001 % | 782.51/782.54 c =============================================================================== 798.41/798.49 c core #1 798.41/798.49 c ============================[ Search Statistics ]============================== 798.41/798.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 798.41/798.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 798.41/798.49 c =============================================================================== 798.41/798.49 c | 0 | 423 83 1126 | 5000 0 nan | 0.000 % | 798.62/798.67 c | 102 | 423 83 1126 | 5500 102 37 | 0.001 % | 798.62/798.67 c | 252 | 423 83 1126 | 6050 252 43 | 0.001 % | 798.62/798.68 c | 478 | 423 83 1126 | 6655 478 50 | 0.001 % | 798.62/798.69 c | 815 | 423 83 1126 | 7320 815 53 | 0.001 % | 798.71/798.71 c | 1322 | 423 83 1126 | 8052 1322 54 | 0.001 % | 798.71/798.75 c | 2082 | 423 83 1126 | 8857 2082 52 | 0.001 % | 798.81/798.86 c | 3222 | 423 83 1126 | 9743 3222 54 | 0.001 % | 799.11/799.13 c | 4933 | 423 83 1126 | 10717 4933 55 | 0.001 % | 799.61/799.61 c | 7497 | 423 83 1126 | 11789 7497 55 | 0.001 % | 800.41/800.49 c | 11344 | 423 83 1126 | 12968 11344 56 | 0.001 % | 802.01/802.07 c | 17113 | 423 83 1126 | 14265 10575 54 | 0.001 % | 804.31/804.30 c | 25762 | 423 83 1126 | 15692 12046 54 | 0.001 % | 808.01/808.05 c | 38740 | 423 83 1126 | 17261 9231 48 | 0.001 % | 814.01/814.01 c | 58202 | 423 83 1126 | 18987 11325 52 | 0.001 % | 822.11/822.14 c | 87394 | 423 83 1126 | 20886 11873 57 | 0.001 % | 833.51/833.53 c | 131184 | 423 83 1126 | 22974 13731 53 | 0.001 % | 851.91/851.94 c | 196869 | 423 83 1126 | 25272 21722 57 | 0.001 % | 878.41/878.49 c | 295397 | 423 83 1126 | 27799 16666 56 | 0.001 % | 925.42/925.44 c | 443187 | 423 83 1126 | 30579 19633 59 | 0.001 % | 1005.11/1005.10 c | 664872 | 423 83 1126 | 33637 14305 58 | 0.001 % | 1122.92/1122.96 c | 997397 | 423 83 1126 | 37001 24720 55 | 0.001 % | 1308.92/1308.90 c | 1496188 | 422 83 1126 | 40701 31222 51 | 0.237 % | 1370.72/1370.79 c =============================================================================== 1384.83/1384.89 c core #2 1384.83/1384.89 c ============================[ Search Statistics ]============================== 1384.83/1384.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1384.83/1384.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1384.83/1384.89 c =============================================================================== 1384.83/1384.89 c | 0 | 445 105 1440 | 5000 0 nan | 0.000 % | 1384.93/1384.96 c | 102 | 445 105 1440 | 5500 102 36 | 0.001 % | 1384.93/1384.96 c | 253 | 445 105 1440 | 6050 253 37 | 0.001 % | 1384.93/1384.97 c | 478 | 445 105 1440 | 6655 478 44 | 0.001 % | 1385.02/1385.01 c | 815 | 445 105 1440 | 7320 815 54 | 0.001 % | 1385.02/1385.07 c | 1322 | 445 105 1440 | 8052 1322 60 | 0.001 % | 1385.12/1385.19 c | 2081 | 445 105 1440 | 8857 2081 62 | 0.001 % | 1385.32/1385.35 c | 3220 | 445 105 1440 | 9743 3220 61 | 0.001 % | 1385.62/1385.65 c | 4928 | 445 105 1440 | 10717 4928 60 | 0.001 % | 1386.12/1386.15 c | 7490 | 445 105 1440 | 11789 7490 59 | 0.001 % | 1387.02/1387.01 c | 11334 | 445 105 1440 | 12968 11334 58 | 0.001 % | 1388.03/1388.00 c | 17101 | 445 105 1440 | 14265 10571 54 | 0.001 % | 1390.62/1390.62 c | 25750 | 445 105 1440 | 15692 12022 56 | 0.001 % | 1393.82/1393.82 c | 38724 | 445 105 1440 | 17261 9206 59 | 0.001 % | 1399.13/1399.12 c | 58185 | 445 105 1440 | 18987 11307 58 | 0.001 % | 1407.03/1407.09 c | 87381 | 445 105 1440 | 20886 11867 54 | 0.001 % | 1418.93/1418.94 c | 131173 | 445 105 1440 | 22974 13670 55 | 0.001 % | 1436.83/1436.84 c | 196860 | 445 105 1440 | 25272 21674 57 | 0.001 % | 1464.13/1464.16 c | 295386 | 445 105 1440 | 27799 14046 52 | 0.001 % | 1512.33/1512.30 c | 443176 | 445 105 1440 | 30579 27630 51 | 0.001 % | 1588.43/1588.48 c | 664861 | 445 105 1440 | 33637 22365 60 | 0.001 % | 1692.84/1692.83 c | 997386 | 445 105 1440 | 37001 24500 49 | 0.001 % |
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-2689707-1277973307/watcher-2689707-1277973307 -o /tmp/evaluation-result-2689707-1277973307/solver-2689707-1277973307 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689707-1277973307.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.88 1.95 1.70 3/178 23318 /proc/meminfo: memFree=30574672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=2572 CPUtime=0 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 302 0 0 0 0 0 0 0 21 0 1 0 138625320 2633728 218 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23318/statm: 643 218 143 303 0 338 0 [startup+0.0577999 s] /proc/loadavg: 1.88 1.95 1.70 3/178 23318 /proc/meminfo: memFree=30574672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=3100 CPUtime=0.05 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 431 0 0 0 5 0 0 0 21 0 1 0 138625320 3174400 347 4089446400 134512640 135751879 4287950752 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 775 347 143 303 0 470 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3100 [startup+0.100793 s] /proc/loadavg: 1.88 1.95 1.70 3/178 23318 /proc/meminfo: memFree=30574672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=3368 CPUtime=0.09 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 503 0 0 0 9 0 0 0 21 0 1 0 138625320 3448832 419 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 842 419 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300755 s] /proc/loadavg: 1.88 1.95 1.70 3/178 23318 /proc/meminfo: memFree=30574672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=4160 CPUtime=0.29 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 703 0 0 0 29 0 0 0 21 0 1 0 138625320 4259840 619 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 1040 619 143 303 0 735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4160 [startup+0.700697 s] /proc/loadavg: 1.88 1.95 1.70 3/178 23318 /proc/meminfo: memFree=30574672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=5088 CPUtime=0.69 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 936 0 0 0 69 0 0 0 22 0 1 0 138625320 5210112 852 4089446400 134512640 135751879 4287950752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 1272 852 143 303 0 967 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5088 [startup+1.50054 s] /proc/loadavg: 1.88 1.95 1.70 3/179 23319 /proc/meminfo: memFree=30569704/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=6552 CPUtime=1.49 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 1284 0 0 0 148 1 0 0 25 0 1 0 138625320 6709248 1200 4089446400 134512640 135751879 4287950752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 1638 1200 143 303 0 1333 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6552 [startup+3.10026 s] /proc/loadavg: 1.88 1.95 1.70 3/179 23319 /proc/meminfo: memFree=30563880/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=9108 CPUtime=3.09 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 1931 0 0 0 306 3 0 0 25 0 1 0 138625320 9326592 1847 4089446400 134512640 135751879 4287950752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 2277 1847 143 303 0 1972 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9108 [startup+6.30068 s] /proc/loadavg: 1.89 1.95 1.70 3/179 23319 /proc/meminfo: memFree=30548368/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=14052 CPUtime=6.29 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 3157 0 0 0 624 5 0 0 25 0 1 0 138625320 14389248 3073 4089446400 134512640 135751879 4287950752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 3513 3073 143 303 0 3208 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14052 [startup+12.7005 s] /proc/loadavg: 1.90 1.95 1.70 3/179 23319 /proc/meminfo: memFree=30514380/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=24068 CPUtime=12.69 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 5638 0 0 0 1257 12 0 0 25 0 1 0 138625320 24645632 5554 4089446400 134512640 135751879 4287950752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 6017 5554 143 303 0 5712 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24068 [startup+25.5002 s] /proc/loadavg: 1.92 1.96 1.71 3/179 23320 /proc/meminfo: memFree=30453416/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=42844 CPUtime=25.49 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 10319 0 0 0 2525 24 0 0 25 0 1 0 138625320 43872256 10235 4089446400 134512640 135751879 4287950752 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 10711 10235 143 303 0 10406 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42844 [startup+51.1007 s] /proc/loadavg: 1.95 1.96 1.71 3/179 23320 /proc/meminfo: memFree=30372468/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=82964 CPUtime=51.09 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 20295 0 0 0 5065 44 0 0 24 0 1 0 138625320 84955136 20211 4089446400 134512640 135751879 4287950752 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 20741 20211 143 303 0 20436 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 82964 [startup+102.307 s] /proc/loadavg: 1.97 1.96 1.73 3/179 23322 /proc/meminfo: memFree=30234900/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=144676 CPUtime=102.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 35643 0 0 0 10151 79 0 0 25 0 1 0 138625320 148148224 35559 4089446400 134512640 135751879 4287950752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 36169 35559 143 303 0 35864 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 144676 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.74 3/179 23323 /proc/meminfo: memFree=30105508/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=221568 CPUtime=162.29 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 54814 0 0 0 16102 127 0 0 25 0 1 0 138625320 226885632 54730 4089446400 134512640 135751879 4287950752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23318/statm: 55392 54730 143 303 0 55087 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 221568 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.75 3/179 23324 /proc/meminfo: memFree=29989016/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=279876 CPUtime=222.29 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 69356 0 0 0 22066 163 0 0 25 0 1 0 138625320 286593024 69272 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 69969 69272 143 303 0 69664 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 279876 [startup+282.3 s] /proc/loadavg: 1.99 1.97 1.76 3/179 23326 /proc/meminfo: memFree=29877344/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=333004 CPUtime=282.29 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 82627 0 0 0 28029 200 0 0 25 0 1 0 138625320 340996096 82543 4089446400 134512640 135751879 4287950752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 83251 82543 143 303 0 82946 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 333004 [startup+342.301 s] /proc/loadavg: 1.99 1.97 1.78 3/179 23328 /proc/meminfo: memFree=29758516/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=393276 CPUtime=342.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 97703 0 0 0 33991 239 0 0 25 0 1 0 138625320 402714624 97619 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 98319 97619 143 303 0 98014 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 393276 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.79 3/179 23330 /proc/meminfo: memFree=29645140/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=454508 CPUtime=402.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 112981 0 0 0 39953 277 0 0 25 0 1 0 138625320 465416192 112897 4089446400 134512640 135751879 4287950752 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 113627 112897 143 303 0 113322 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 454508 [startup+462.301 s] /proc/loadavg: 2.07 1.99 1.80 3/179 23331 /proc/meminfo: memFree=29560276/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=507528 CPUtime=462.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 126204 0 0 0 45920 310 0 0 25 0 1 0 138625320 519708672 126120 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 126882 126120 143 303 0 126577 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 507528 [startup+522.3 s] /proc/loadavg: 2.03 1.99 1.82 3/179 23332 /proc/meminfo: memFree=29406580/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=558316 CPUtime=522.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 138869 0 0 0 51889 341 0 0 25 0 1 0 138625320 571715584 138785 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 139579 138785 143 303 0 139274 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 558316 [startup+582.301 s] /proc/loadavg: 2.01 1.99 1.82 3/179 23334 /proc/meminfo: memFree=29240248/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=609820 CPUtime=582.3 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 151724 0 0 0 57856 374 0 0 25 0 1 0 138625320 624455680 151640 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 152455 151640 143 303 0 152150 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 609820 [startup+642.301 s] /proc/loadavg: 2.00 1.99 1.83 3/179 23336 /proc/meminfo: memFree=29106172/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=656632 CPUtime=642.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 163360 0 0 0 63829 402 0 0 25 0 1 0 138625320 672391168 163276 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 164158 163276 143 303 0 163853 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 656632 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 1.99 1.85 3/179 23340 /proc/meminfo: memFree=28648204/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=842008 CPUtime=822.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 209870 0 0 0 81733 498 0 0 18 0 1 0 138625320 862216192 209656 4089446400 134512640 135751879 4287950752 18446744073709551615 134616746 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 210502 209656 146 303 0 210197 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 842008 [startup+882.301 s] /proc/loadavg: 2.00 1.99 1.85 3/179 23342 /proc/meminfo: memFree=28496636/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=842008 CPUtime=882.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 210288 0 0 0 87690 542 0 0 25 0 1 0 138625320 862216192 210074 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 210502 210074 146 303 0 210197 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 842008 [startup+942.3 s] /proc/loadavg: 2.00 1.99 1.86 3/179 23344 /proc/meminfo: memFree=28317388/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=859976 CPUtime=942.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 214756 0 0 0 93652 579 0 0 25 0 1 0 138625320 880615424 214542 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 214994 214542 146 303 0 214689 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 859976 [startup+1002.3 s] /proc/loadavg: 2.00 1.99 1.86 3/179 23346 /proc/meminfo: memFree=28083708/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=899688 CPUtime=1002.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 224628 0 0 0 99620 611 0 0 25 0 1 0 138625320 921280512 224414 4089446400 134512640 135751879 4287950752 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 224922 224414 146 303 0 224617 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 899688 [startup+1062.3 s] /proc/loadavg: 2.04 2.00 1.88 3/179 23347 /proc/meminfo: memFree=27881176/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=940328 CPUtime=1062.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 234751 0 0 0 105581 650 0 0 25 0 1 0 138625320 962895872 234537 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 235082 234537 146 303 0 234777 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 940328 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 1.88 3/179 23348 /proc/meminfo: memFree=27776716/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=979980 CPUtime=1122.31 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 244612 0 0 0 111547 684 0 0 25 0 1 0 138625320 1003499520 244398 4089446400 134512640 135751879 4287950752 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 244995 244398 146 303 0 244690 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 979980 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 23350 /proc/meminfo: memFree=27653308/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1013824 CPUtime=1182.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 253004 0 0 0 117517 715 0 0 25 0 1 0 138625320 1038155776 252790 4089446400 134512640 135751879 4287950752 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 253456 252790 146 303 0 253151 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1013824 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/179 23352 /proc/meminfo: memFree=27536200/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1053440 CPUtime=1242.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 262894 0 0 0 123482 750 0 0 25 0 1 0 138625320 1078722560 262680 4089446400 134512640 135751879 4287950752 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 263360 262680 146 303 0 263055 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1053440 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 23354 /proc/meminfo: memFree=27441928/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1091556 CPUtime=1302.33 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 272378 0 0 0 129449 784 0 0 25 0 1 0 138625320 1117753344 272164 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 272889 272164 146 303 0 272584 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1091556 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/179 23355 /proc/meminfo: memFree=27361264/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1128628 CPUtime=1362.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 281616 0 0 0 135417 815 0 0 25 0 1 0 138625320 1155715072 281402 4089446400 134512640 135751879 4287950752 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 282157 281402 146 303 0 281852 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1128628 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23356 /proc/meminfo: memFree=27245500/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1167632 CPUtime=1422.33 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 291688 0 0 0 141381 852 0 0 25 0 1 0 138625320 1195655168 291474 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 291908 291474 146 303 0 291603 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1167632 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23358 /proc/meminfo: memFree=27175352/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1199644 CPUtime=1482.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 299621 0 0 0 147336 896 0 0 25 0 1 0 138625320 1228435456 299407 4089446400 134512640 135751879 4287950752 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 299911 299407 146 303 0 299606 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1199644 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/179 23360 /proc/meminfo: memFree=27070656/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1244508 CPUtime=1542.32 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 310781 0 0 0 153296 936 0 0 25 0 1 0 138625320 1274376192 310567 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 311127 310567 146 303 0 310822 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1244508 [startup+1602.3 s] /proc/loadavg: 1.98 2.00 1.91 2/171 23393 /proc/meminfo: memFree=29892768/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1288868 CPUtime=1602.33 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 321825 0 0 0 159256 977 0 0 25 0 1 0 138625320 1319800832 321611 4089446400 134512640 135751879 4287950752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 322217 321611 146 303 0 321912 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1288868 [startup+1662.3 s] /proc/loadavg: 1.36 1.81 1.85 2/171 23394 /proc/meminfo: memFree=29848372/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1334316 CPUtime=1662.33 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 333113 0 0 0 165201 1032 0 0 25 0 1 0 138625320 1366339584 332899 4089446400 134512640 135751879 4287950752 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 333579 332899 146 303 0 333274 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1334316 [startup+1722.3 s] /proc/loadavg: 1.13 1.66 1.79 2/171 23395 /proc/meminfo: memFree=29804672/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1378524 CPUtime=1722.33 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 344142 0 0 0 171148 1085 0 0 25 0 1 0 138625320 1411608576 343928 4089446400 134512640 135751879 4287950752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 344631 343928 146 303 0 344326 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1378524 [startup+1782.3 s] /proc/loadavg: 1.05 1.54 1.74 2/171 23397 /proc/meminfo: memFree=29764972/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1417912 CPUtime=1782.34 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 353949 0 0 0 177109 1125 0 0 25 0 1 0 138625320 1451941888 353735 4089446400 134512640 135751879 4287950752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 354478 353735 146 303 0 354173 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1417912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.03 1.50 1.72 2/171 23398 /proc/meminfo: memFree=29751820/32951124 swapFree=67111528/67111528 [pid=23318] ppid=23316 vsize=1430748 CPUtime=1800.04 /proc/23318/stat : 23318 (wbo1.4a) R 23316 23318 22993 0 -1 4202496 357148 0 0 0 178866 1138 0 0 25 0 1 0 138625320 1465085952 356934 4089446400 134512640 135751879 4287950752 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23318/statm: 357687 356934 146 303 0 357382 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1430748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.1 CPU user time (s): 1788.67 CPU system time (s): 11.4303 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1430748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.67 system time used= 11.4303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 357148 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= 16 involuntary context switches= 2037 runsolver used 2.43263 second user time and 5.77812 second system time The end
Begin job on node146 at 2010-07-01 10:35:07 IDJOB=2689707 IDBENCH=78700 IDSOLVER=1200 FILE ID=node146/2689707-1277973307 PBS_JOBID= 11197875 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689707-1277973307/watcher-2689707-1277973307 -o /tmp/evaluation-result-2689707-1277973307/solver-2689707-1277973307 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689707-1277973307.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f76bfef4498edf916ad0f53b817cfd69 RANDOM SEED=1924957524 node146.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30574820 kB Buffers: 226148 kB Cached: 1333716 kB SwapCached: 0 kB Active: 1086672 kB Inactive: 1137628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30574820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3020 kB Writeback: 0 kB AnonPages: 664308 kB Mapped: 15356 kB Slab: 85388 kB PageTables: 6520 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 808640 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node146 at 2010-07-01 11:05:09