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-66-100-0.wbo |
MD5SUM | 1f875ef306d18e6f86db860a031faa4e |
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 | 96 |
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 | 16 |
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 | 813 |
Min constraint cost | 1 |
Max constraint cost | 95 |
Sum of constraints costs | 812 |
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-2689639-1277886680.wbo. 0.00/0.00 c Instance file HOME/instance-2689639-1277886680.wbo 0.00/0.00 c File size is 6962 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 34 | 0.001 % | 0.00/0.01 c | 477 | 400 60 800 | 6655 477 45 | 0.001 % | 0.00/0.02 c | 814 | 400 60 800 | 7320 814 52 | 0.001 % | 0.00/0.05 c | 1321 | 400 60 800 | 8052 1321 55 | 0.001 % | 0.09/0.10 c | 2080 | 400 60 800 | 8857 2080 55 | 0.001 % | 0.09/0.18 c | 3219 | 400 60 800 | 9743 3219 55 | 0.001 % | 0.29/0.31 c | 4927 | 400 60 800 | 10717 4927 57 | 0.001 % | 0.69/0.73 c | 7490 | 400 60 800 | 11789 7490 57 | 0.001 % | 1.69/1.71 c | 11335 | 400 60 800 | 12968 11335 58 | 0.001 % | 2.79/2.81 c | 17101 | 400 60 800 | 14265 10571 53 | 0.001 % | 4.99/5.05 c | 25752 | 400 60 800 | 15692 12028 55 | 0.001 % | 8.30/8.38 c | 38728 | 400 60 800 | 17261 9213 52 | 0.001 % | 14.19/14.29 c | 58190 | 400 60 800 | 18987 11334 46 | 0.001 % | 20.80/20.84 c | 87384 | 400 60 800 | 20886 11869 60 | 0.001 % | 33.19/33.21 c | 131174 | 400 60 800 | 22974 13688 55 | 0.001 % | 48.89/48.92 c | 196859 | 400 60 800 | 25272 21673 54 | 0.001 % | 77.00/77.00 c | 295385 | 400 60 800 | 27799 18384 53 | 0.001 % | 122.99/123.07 c | 443174 | 400 60 800 | 30579 16665 58 | 0.001 % | 200.80/200.82 c | 664858 | 400 60 800 | 33637 27499 58 | 0.001 % | 320.10/320.11 c | 997384 | 400 60 800 | 37001 18408 55 | 0.001 % | 491.31/491.30 c | 1496172 | 399 60 800 | 40701 22412 55 | 0.251 % | 789.62/789.60 c =============================================================================== 803.52/803.58 c core #1 803.52/803.58 c ============================[ Search Statistics ]============================== 803.52/803.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 803.52/803.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 803.52/803.58 c =============================================================================== 803.52/803.58 c | 0 | 408 68 886 | 5000 0 nan | 0.000 % | 803.72/803.74 c | 100 | 408 68 886 | 5500 100 33 | 0.001 % | 803.72/803.75 c | 251 | 408 68 886 | 6050 251 37 | 0.001 % | 803.72/803.75 c | 477 | 408 68 886 | 6655 477 40 | 0.001 % | 803.72/803.77 c | 816 | 408 68 886 | 7320 816 48 | 0.001 % | 803.72/803.79 c | 1323 | 408 68 886 | 8052 1323 52 | 0.001 % | 803.82/803.86 c | 2082 | 408 68 886 | 8857 2082 56 | 0.001 % | 803.92/803.95 c | 3222 | 408 68 886 | 9743 3222 57 | 0.001 % | 804.13/804.14 c | 4931 | 408 68 886 | 10717 4931 58 | 0.001 % | 804.42/804.44 c | 7493 | 408 68 886 | 11789 7493 57 | 0.001 % | 804.82/804.86 c | 11338 | 408 68 886 | 12968 11338 54 | 0.001 % | 806.23/806.27 c | 17104 | 408 68 886 | 14265 10574 52 | 0.001 % | 808.31/808.35 c | 25755 | 408 68 886 | 15692 12055 51 | 0.001 % | 812.02/812.05 c | 38733 | 408 68 886 | 17261 9263 51 | 0.001 % | 816.62/816.69 c | 58198 | 408 68 886 | 18987 11386 52 | 0.001 % | 823.52/823.54 c | 87391 | 408 68 886 | 20886 11974 51 | 0.001 % | 835.12/835.11 c | 131180 | 408 68 886 | 22974 13822 55 | 0.001 % | 856.32/856.37 c | 196865 | 408 68 886 | 25272 21858 52 | 0.001 % | 891.52/891.50 c | 295391 | 408 68 886 | 27799 18038 50 | 0.001 % | 940.33/940.37 c | 443181 | 408 68 886 | 30579 16029 56 | 0.001 % | 1000.93/1000.93 c | 664866 | 408 68 886 | 33637 23834 50 | 0.001 % | 1116.93/1116.96 c | 997391 | 408 68 886 | 37001 25327 52 | 0.001 % | 1302.34/1302.30 c | 1496179 | 407 68 886 | 40701 33568 56 | 0.246 % | 1492.44/1492.41 c =============================================================================== 1506.44/1506.41 c core #2 1506.44/1506.41 c ============================[ Search Statistics ]============================== 1506.44/1506.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1506.44/1506.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1506.44/1506.41 c =============================================================================== 1506.44/1506.41 c | 0 | 416 76 982 | 5000 0 nan | 0.000 % | 1506.44/1506.44 c | 100 | 416 76 982 | 5500 100 33 | 0.001 % | 1506.54/1506.50 c | 250 | 416 76 982 | 6050 250 44 | 0.001 % | 1506.54/1506.52 c | 476 | 416 76 982 | 6655 476 44 | 0.001 % | 1506.54/1506.59 c | 814 | 416 76 982 | 7320 814 47 | 0.001 % | 1506.65/1506.66 c | 1320 | 416 76 982 | 8052 1320 49 | 0.001 % | 1506.75/1506.71 c | 2080 | 416 76 982 | 8857 2080 52 | 0.001 % | 1506.84/1506.82 c | 3219 | 416 76 982 | 9743 3219 55 | 0.001 % | 1506.95/1507.00 c | 4933 | 416 76 982 | 10717 4933 56 | 0.001 % | 1507.35/1507.38 c | 7499 | 416 76 982 | 11789 7499 57 | 0.001 % | 1508.24/1508.22 c | 11346 | 416 76 982 | 12968 11346 59 | 0.001 % | 1509.55/1509.54 c | 17113 | 416 76 982 | 14265 10584 58 | 0.001 % | 1511.65/1511.62 c | 25763 | 416 76 982 | 15692 12063 57 | 0.001 % | 1514.24/1514.26 c | 38738 | 416 76 982 | 17261 9245 56 | 0.001 % | 1518.64/1518.65 c | 58199 | 416 76 982 | 18987 11339 54 | 0.001 % | 1525.34/1525.34 c | 87392 | 416 76 982 | 20886 11877 51 | 0.001 % | 1536.34/1536.30 c | 131187 | 416 76 982 | 22974 13725 50 | 0.001 % | 1554.14/1554.13 c | 196875 | 416 76 982 | 25272 21755 51 | 0.001 % | 1579.13/1579.12 c | 295409 | 416 76 982 | 27799 16347 55 | 0.001 % | 1620.44/1620.48 c | 443199 | 416 76 982 | 30579 24760 52 | 0.001 % | 1695.53/1695.54 c | 664882 | 416 76 982 | 33637 16571 51 | 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-2689639-1277886680/watcher-2689639-1277886680 -o /tmp/evaluation-result-2689639-1277886680/solver-2689639-1277886680 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689639-1277886680.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: 2.00 1.65 0.84 3/178 13061 /proc/meminfo: memFree=31144264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=2572 CPUtime=0 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 1 0 129963222 2633728 212 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 643 212 143 303 0 338 0 [startup+0.0642781 s] /proc/loadavg: 2.00 1.65 0.84 3/178 13061 /proc/meminfo: memFree=31144264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=3100 CPUtime=0.05 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 418 0 0 0 5 0 0 0 20 0 1 0 129963222 3174400 334 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 775 334 143 303 0 470 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3100 [startup+0.100273 s] /proc/loadavg: 2.00 1.65 0.84 3/178 13061 /proc/meminfo: memFree=31144264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=3232 CPUtime=0.09 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 464 0 0 0 9 0 0 0 20 0 1 0 129963222 3309568 380 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 808 380 143 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.300233 s] /proc/loadavg: 2.00 1.65 0.84 3/178 13061 /proc/meminfo: memFree=31144264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=4288 CPUtime=0.29 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 733 0 0 0 28 1 0 0 21 0 1 0 129963222 4390912 649 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 1072 649 143 303 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4288 [startup+0.700156 s] /proc/loadavg: 2.00 1.65 0.84 3/178 13061 /proc/meminfo: memFree=31144264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=5352 CPUtime=0.69 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 988 0 0 0 68 1 0 0 22 0 1 0 129963222 5480448 904 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 1338 904 143 303 0 1033 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5352 [startup+1.50102 s] /proc/loadavg: 2.00 1.65 0.84 3/179 13062 /proc/meminfo: memFree=31139420/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=6820 CPUtime=1.49 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 1343 0 0 0 147 2 0 0 25 0 1 0 129963222 6983680 1259 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 1705 1259 143 303 0 1400 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6820 [startup+3.1007 s] /proc/loadavg: 2.00 1.65 0.85 3/179 13062 /proc/meminfo: memFree=31136940/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=9488 CPUtime=3.09 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 2009 0 0 0 306 3 0 0 25 0 1 0 129963222 9715712 1925 4089446400 134512640 135751879 4292295040 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 2372 1925 143 303 0 2067 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9488 [startup+6.3001 s] /proc/loadavg: 2.00 1.65 0.85 3/179 13062 /proc/meminfo: memFree=31128636/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=14020 CPUtime=6.29 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 3139 0 0 0 623 6 0 0 25 0 1 0 129963222 14356480 3055 4089446400 134512640 135751879 4292295040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 3505 3055 143 303 0 3200 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14020 [startup+12.7009 s] /proc/loadavg: 2.00 1.66 0.86 3/179 13062 /proc/meminfo: memFree=31111168/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=21752 CPUtime=12.7 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 5058 0 0 0 1259 11 0 0 25 0 1 0 129963222 22274048 4974 4089446400 134512640 135751879 4292295040 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 5438 4974 143 303 0 5133 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 21752 [startup+25.5005 s] /proc/loadavg: 2.08 1.69 0.88 3/179 13066 /proc/meminfo: memFree=31074560/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=39032 CPUtime=25.5 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 9347 0 0 0 2530 20 0 0 25 0 1 0 129963222 39968768 9263 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 9758 9263 143 303 0 9453 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 39032 [startup+51.1006 s] /proc/loadavg: 2.05 1.71 0.91 3/179 13067 /proc/meminfo: memFree=31014832/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=75088 CPUtime=51.1 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 18341 0 0 0 5067 43 0 0 25 0 1 0 129963222 76890112 18257 4089446400 134512640 135751879 4292295040 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 18772 18257 143 303 0 18467 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 75088 [startup+102.306 s] /proc/loadavg: 2.02 1.76 0.97 3/179 13068 /proc/meminfo: memFree=30928080/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=131212 CPUtime=102.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 32288 0 0 0 10150 80 0 0 25 0 1 0 129963222 134361088 32204 4089446400 134512640 135751879 4292295040 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13061/statm: 32803 32204 143 303 0 32498 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 131212 [startup+162.301 s] /proc/loadavg: 2.05 1.82 1.03 3/179 13069 /proc/meminfo: memFree=30750356/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=196108 CPUtime=162.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 48422 0 0 0 16106 124 0 0 25 0 1 0 129963222 200814592 48338 4089446400 134512640 135751879 4292295040 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 49027 48338 143 303 0 48722 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 196108 [startup+222.3 s] /proc/loadavg: 2.02 1.85 1.09 3/179 13071 /proc/meminfo: memFree=30552156/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=249288 CPUtime=222.29 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 61686 0 0 0 22072 157 0 0 25 0 1 0 129963222 255270912 61602 4089446400 134512640 135751879 4292295040 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 62322 61602 143 303 0 62017 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 249288 [startup+282.301 s] /proc/loadavg: 2.00 1.87 1.14 3/179 13073 /proc/meminfo: memFree=30365608/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=301052 CPUtime=282.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 74606 0 0 0 28042 188 0 0 25 0 1 0 129963222 308277248 74522 4089446400 134512640 135751879 4292295040 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 75263 74522 143 303 0 74958 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 301052 [startup+342.3 s] /proc/loadavg: 2.00 1.89 1.20 3/179 13075 /proc/meminfo: memFree=30185764/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=362576 CPUtime=342.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 89942 0 0 0 34005 225 0 0 25 0 1 0 129963222 371277824 89858 4089446400 134512640 135751879 4292295040 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 90644 89858 143 303 0 90339 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 362576 [startup+402.301 s] /proc/loadavg: 2.00 1.91 1.24 3/179 13076 /proc/meminfo: memFree=29999592/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=420792 CPUtime=402.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 104495 0 0 0 39965 265 0 0 25 0 1 0 129963222 430891008 104411 4089446400 134512640 135751879 4292295040 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 105198 104411 143 303 0 104893 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 420792 [startup+462.301 s] /proc/loadavg: 2.00 1.92 1.29 3/179 13077 /proc/meminfo: memFree=29831172/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=476396 CPUtime=462.3 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 118362 0 0 0 45930 300 0 0 25 0 1 0 129963222 487829504 118278 4089446400 134512640 135751879 4292295040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 119099 118278 143 303 0 118794 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 476396 [startup+522.3 s] /proc/loadavg: 2.00 1.93 1.32 3/179 13079 /proc/meminfo: memFree=29720148/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=526228 CPUtime=522.31 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 130796 0 0 0 51897 334 0 0 25 0 1 0 129963222 538857472 130712 4089446400 134512640 135751879 4292295040 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 131557 130712 143 303 0 131252 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 526228 [startup+582.301 s] /proc/loadavg: 2.07 1.96 1.37 3/179 13081 /proc/meminfo: memFree=29611364/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=570204 CPUtime=582.31 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 141757 0 0 0 57869 362 0 0 25 0 1 0 129963222 583888896 141673 4089446400 134512640 135751879 4292295040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 142551 141673 143 303 0 142246 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 570204 [startup+642.301 s] /proc/loadavg: 2.02 1.97 1.41 3/179 13083 /proc/meminfo: memFree=29491684/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=615660 CPUtime=642.31 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 153065 0 0 0 63838 393 0 0 25 0 1 0 129963222 630435840 152981 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 153915 152981 143 303 0 153610 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 615660 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.97 1.50 3/179 13087 /proc/meminfo: memFree=29068340/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=794092 CPUtime=822.32 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 198395 0 0 0 81749 483 0 0 25 0 1 0 129963222 813150208 198097 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 198523 198097 146 303 0 198218 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 794092 [startup+882.301 s] /proc/loadavg: 2.00 1.97 1.53 3/179 13089 /proc/meminfo: memFree=29010636/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=794092 CPUtime=882.32 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 198402 0 0 0 87711 521 0 0 25 0 1 0 129963222 813150208 198104 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 198523 198104 146 303 0 198218 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 794092 [startup+942.301 s] /proc/loadavg: 2.00 1.97 1.56 3/179 13091 /proc/meminfo: memFree=28940424/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=827008 CPUtime=942.32 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 206544 0 0 0 93674 558 0 0 25 0 1 0 129963222 846856192 206246 4089446400 134512640 135751879 4292295040 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 206752 206246 146 303 0 206447 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 827008 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.58 3/179 13092 /proc/meminfo: memFree=28855572/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=875492 CPUtime=1002.32 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 218592 0 0 0 99629 603 0 0 25 0 1 0 129963222 896503808 218294 4089446400 134512640 135751879 4292295040 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 218873 218294 146 303 0 218568 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 875492 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.61 3/179 13093 /proc/meminfo: memFree=28763780/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=913940 CPUtime=1062.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 228148 0 0 0 105592 641 0 0 25 0 1 0 129963222 935874560 227850 4089446400 134512640 135751879 4292295040 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 228485 227850 146 303 0 228180 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 913940 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.63 3/179 13095 /proc/meminfo: memFree=28664300/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=954020 CPUtime=1122.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 238144 0 0 0 111558 675 0 0 25 0 1 0 129963222 976916480 237846 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 238505 237846 146 303 0 238200 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 954020 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.65 3/179 13097 /proc/meminfo: memFree=28588612/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=989796 CPUtime=1182.34 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 247043 0 0 0 117525 709 0 0 25 0 1 0 129963222 1013551104 246745 4089446400 134512640 135751879 4292295040 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 247449 246745 146 303 0 247144 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 989796 [startup+1242.3 s] /proc/loadavg: 2.03 1.99 1.67 3/179 13099 /proc/meminfo: memFree=28509356/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1024844 CPUtime=1242.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 255804 0 0 0 123492 741 0 0 25 0 1 0 129963222 1049440256 255506 4089446400 134512640 135751879 4292295040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 256211 255506 146 303 0 255906 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1024844 [startup+1302.3 s] /proc/loadavg: 2.01 1.99 1.69 3/179 13100 /proc/meminfo: memFree=28422776/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1066156 CPUtime=1302.34 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 266087 0 0 0 129457 777 0 0 25 0 1 0 129963222 1091743744 265789 4089446400 134512640 135751879 4292295040 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 266539 265789 146 303 0 266234 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1066156 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.71 3/179 13101 /proc/meminfo: memFree=28345608/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1100628 CPUtime=1362.34 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 274670 0 0 0 135430 804 0 0 25 0 1 0 129963222 1127043072 274372 4089446400 134512640 135751879 4292295040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 275157 274372 146 303 0 274852 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1100628 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.73 3/179 13103 /proc/meminfo: memFree=28242904/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1136624 CPUtime=1422.35 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 283633 0 0 0 141396 839 0 0 25 0 1 0 129963222 1163902976 283335 4089446400 134512640 135751879 4292295040 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 284156 283335 146 303 0 283851 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1136624 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.74 3/179 13105 /proc/meminfo: memFree=28100272/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1175288 CPUtime=1482.35 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 293249 0 0 0 147362 873 0 0 25 0 1 0 129963222 1203494912 292951 4089446400 134512640 135751879 4292295040 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 293822 292951 146 303 0 293517 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1175288 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.75 3/179 13107 /proc/meminfo: memFree=27956380/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1244732 CPUtime=1542.35 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 311062 0 0 0 153321 914 0 0 25 0 1 0 129963222 1274605568 310764 4089446400 134512640 135751879 4292295040 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13061/statm: 311183 310764 146 303 0 310878 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1244732 [startup+1602.3 s] /proc/loadavg: 2.18 2.05 1.78 3/180 13207 /proc/meminfo: memFree=30150264/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1264432 CPUtime=1602.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 315934 0 0 0 159287 946 0 0 25 0 1 0 129963222 1294778368 315636 4089446400 134512640 135751879 4292295040 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13061/statm: 316108 315636 146 303 0 315803 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1264432 [startup+1662.3 s] /proc/loadavg: 3.20 2.28 1.87 10/187 13215 /proc/meminfo: memFree=30042116/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1314180 CPUtime=1662.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 328298 0 0 0 165258 975 0 0 25 0 1 0 129963222 1345720320 328000 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13061/statm: 328545 328000 146 303 0 328240 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1314180 [startup+1722.3 s] /proc/loadavg: 6.38 3.32 2.25 10/187 13217 /proc/meminfo: memFree=30002988/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1349484 CPUtime=1722.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 337048 0 0 0 171221 1012 0 0 25 0 1 0 129963222 1381871616 336750 4089446400 134512640 135751879 4292295040 18446744073709551615 134616810 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13061/statm: 337371 336750 146 303 0 337066 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1349484 [startup+1782.3 s] /proc/loadavg: 6.36 3.89 2.51 4/187 13228 /proc/meminfo: memFree=29968104/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1384820 CPUtime=1782.33 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 345859 0 0 0 177192 1041 0 0 25 0 1 0 129963222 1418055680 345561 4089446400 134512640 135751879 4292295040 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13061/statm: 346205 345561 146 303 0 345900 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1384820 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 5.95 3.91 2.54 11/187 13228 /proc/meminfo: memFree=29956564/32951124 swapFree=67111528/67111528 [pid=13061] ppid=13059 vsize=1396640 CPUtime=1800.04 /proc/13061/stat : 13061 (wbo1.4a) R 13059 13061 12830 0 -1 4202496 348803 0 0 0 178953 1051 0 0 25 0 1 0 129963222 1430159360 348505 4089446400 134512640 135751879 4292295040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13061/statm: 349160 348505 146 303 0 348855 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1396640 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): 1789.54 CPU system time (s): 10.5554 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1396640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.54 system time used= 10.5554 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 348803 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= 1558 runsolver used 2.49662 second user time and 5.70613 second system time The end
Begin job on node141 at 2010-06-30 10:31:20 IDJOB=2689639 IDBENCH=78667 IDSOLVER=1200 FILE ID=node141/2689639-1277886680 PBS_JOBID= 11197071 Free space on /tmp= 74208 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-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689639-1277886680/watcher-2689639-1277886680 -o /tmp/evaluation-result-2689639-1277886680/solver-2689639-1277886680 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689639-1277886680.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1f875ef306d18e6f86db860a031faa4e RANDOM SEED=122638616 node141.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.788 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.57 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.788 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.68 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.788 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.83 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.788 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.75 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.788 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.80 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.788 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.75 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.788 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.82 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.788 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31145040 kB Buffers: 170664 kB Cached: 1108140 kB SwapCached: 0 kB Active: 913472 kB Inactive: 750672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31145040 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2948 kB Writeback: 0 kB AnonPages: 385412 kB Mapped: 15164 kB Slab: 78188 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 527756 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= 74192 MiB End job on node141 at 2010-06-30 11:01:22