Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.09 | 1800.05 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo |
MD5SUM | 8841123e57febe545fae4a69b91f873c |
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 | 58 |
Best CPU time to get the best result obtained on this benchmark | 0.017997 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 300 |
Total number of constraints | 50 |
Number of soft constraints | 18 |
Number of constraints which are clauses | 30 |
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 | 15 |
Top cost | 838 |
Min constraint cost | 1 |
Max constraint cost | 83 |
Sum of constraints costs | 837 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 16 |
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-2689676-1277890538.wbo. 0.00/0.00 c Instance file HOME/instance-2689676-1277890538.wbo 0.00/0.00 c File size is 5302 bytes. 0.00/0.00 c Highest Coefficient sum: 16 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: 300 | 0.00/0.00 c | Number Clauses: 30 | 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 | 300 50 600 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 300 50 600 | 5500 101 35 | 0.001 % | 0.00/0.00 c | 251 | 300 50 600 | 6050 251 40 | 0.001 % | 0.00/0.01 c | 477 | 300 50 600 | 6655 477 45 | 0.001 % | 0.00/0.02 c | 814 | 300 50 600 | 7320 814 50 | 0.001 % | 0.00/0.04 c | 1321 | 300 50 600 | 8052 1321 52 | 0.001 % | 0.09/0.10 c | 2084 | 300 50 600 | 8857 2084 52 | 0.001 % | 0.09/0.19 c | 3223 | 300 50 600 | 9743 3223 51 | 0.001 % | 0.29/0.38 c | 4932 | 300 50 600 | 10717 4932 51 | 0.001 % | 0.89/0.95 c | 7494 | 300 50 600 | 11789 7494 51 | 0.001 % | 2.10/2.14 c | 11341 | 300 50 600 | 12968 11341 52 | 0.001 % | 3.99/4.03 c | 17111 | 300 50 600 | 14265 10581 51 | 0.001 % | 5.69/5.74 c | 25761 | 300 50 600 | 15692 12056 49 | 0.001 % | 9.19/9.25 c | 38737 | 300 50 600 | 17261 9249 53 | 0.001 % | 14.09/14.20 c | 58198 | 300 50 600 | 18987 11371 48 | 0.001 % | 21.49/21.51 c | 87392 | 300 50 600 | 20886 11990 53 | 0.001 % | 33.89/33.93 c | 131181 | 300 50 600 | 22974 13830 55 | 0.001 % | 56.19/56.24 c | 196865 | 300 50 600 | 25272 21888 49 | 0.001 % | 85.80/85.82 c | 295397 | 300 50 600 | 27799 16414 49 | 0.001 % | 124.69/124.71 c | 443187 | 300 50 600 | 30579 14252 52 | 0.001 % | 192.59/192.62 c | 664870 | 300 50 600 | 33637 21401 51 | 0.001 % | 308.09/308.10 c | 997397 | 300 50 600 | 37001 30510 49 | 0.001 % | 509.00/509.08 c | 1496185 | 271 50 600 | 40701 18621 51 | 10.335 % | 509.21/509.27 c =============================================================================== 519.81/519.82 c core #1 519.81/519.82 c ============================[ Search Statistics ]============================== 519.81/519.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 519.81/519.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 519.81/519.82 c =============================================================================== 519.81/519.82 c | 0 | 309 59 723 | 5000 0 nan | 0.000 % | 519.91/519.95 c | 101 | 309 59 723 | 5500 101 35 | 0.001 % | 519.91/519.95 c | 253 | 309 59 723 | 6050 253 38 | 0.001 % | 519.91/519.96 c | 478 | 309 59 723 | 6655 478 48 | 0.001 % | 519.91/519.98 c | 815 | 309 59 723 | 7320 815 53 | 0.001 % | 520.01/520.01 c | 1321 | 309 59 723 | 8052 1321 57 | 0.001 % | 520.01/520.07 c | 2081 | 309 59 723 | 8857 2081 58 | 0.001 % | 520.11/520.15 c | 3221 | 309 59 723 | 9743 3221 55 | 0.001 % | 520.31/520.31 c | 4931 | 309 59 723 | 10717 4931 55 | 0.001 % | 520.70/520.71 c | 7496 | 309 59 723 | 11789 7496 54 | 0.001 % | 521.80/521.81 c | 11340 | 309 59 723 | 12968 11340 53 | 0.001 % | 522.90/522.94 c | 17108 | 309 59 723 | 14265 10591 52 | 0.001 % | 524.80/524.81 c | 25757 | 309 59 723 | 15692 12060 50 | 0.001 % | 529.01/529.03 c | 38731 | 309 59 723 | 17261 9260 52 | 0.001 % | 534.00/534.06 c | 58193 | 309 59 723 | 18987 11377 50 | 0.001 % | 540.80/540.88 c | 87386 | 309 59 723 | 20886 11968 46 | 0.001 % | 555.41/555.42 c | 131176 | 309 59 723 | 22974 13837 48 | 0.001 % | 574.90/574.99 c | 196862 | 309 59 723 | 25272 21881 50 | 0.001 % | 604.31/604.33 c | 295388 | 309 59 723 | 27799 15485 46 | 0.001 % | 653.80/653.83 c | 443177 | 309 59 723 | 30579 25005 55 | 0.001 % | 723.21/723.23 c | 664862 | 309 59 723 | 33637 14901 50 | 0.001 % | 848.11/848.13 c | 997388 | 309 59 723 | 37001 26520 49 | 0.001 % | 1050.42/1050.43 c | 1496177 | 309 59 723 | 40701 36633 53 | 0.001 % | 1355.12/1355.12 c | 2244360 | 308 59 723 | 44771 30679 52 | 0.325 % | 1499.72/1499.77 c =============================================================================== 1521.12/1521.19 c core #2 1521.12/1521.19 c ============================[ Search Statistics ]============================== 1521.12/1521.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1521.12/1521.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1521.12/1521.19 c =============================================================================== 1521.12/1521.19 c | 0 | 317 67 829 | 5000 0 nan | 0.000 % | 1521.23/1521.26 c | 101 | 317 67 829 | 5500 101 35 | 0.001 % | 1521.33/1521.33 c | 254 | 317 67 829 | 6050 254 39 | 0.001 % | 1521.33/1521.38 c | 481 | 317 67 829 | 6655 481 45 | 0.001 % | 1521.42/1521.44 c | 819 | 317 67 829 | 7320 819 45 | 0.001 % | 1521.42/1521.47 c | 1327 | 317 67 829 | 8052 1327 44 | 0.001 % | 1521.53/1521.56 c | 2086 | 317 67 829 | 8857 2086 47 | 0.001 % | 1521.62/1521.64 c | 3228 | 317 67 829 | 9743 3228 50 | 0.001 % | 1521.72/1521.78 c | 4938 | 317 67 829 | 10717 4938 52 | 0.001 % | 1522.12/1522.12 c | 7501 | 317 67 829 | 11789 7501 53 | 0.001 % | 1523.22/1523.26 c | 11347 | 317 67 829 | 12968 11347 54 | 0.001 % | 1524.53/1524.56 c | 17114 | 317 67 829 | 14265 10597 54 | 0.001 % | 1527.43/1527.44 c | 25767 | 317 67 829 | 15692 12086 52 | 0.001 % | 1530.62/1530.68 c | 38741 | 317 67 829 | 17261 9273 50 | 0.001 % | 1535.72/1535.72 c | 58207 | 317 67 829 | 18987 11398 53 | 0.001 % | 1543.33/1543.33 c | 87402 | 317 67 829 | 20886 11974 51 | 0.001 % | 1555.33/1555.39 c | 131192 | 317 67 829 | 22974 13838 53 | 0.001 % | 1574.03/1574.03 c | 196877 | 317 67 829 | 25272 21883 55 | 0.001 % | 1610.13/1610.17 c | 295403 | 317 67 829 | 27799 17622 52 | 0.001 % | 1660.82/1660.83 c | 443193 | 317 67 829 | 30579 16067 47 | 0.001 % | 1741.43/1741.43 c | 664877 | 316 67 829 | 33637 28209 52 | 0.316 % |
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-2689676-1277890538/watcher-2689676-1277890538 -o /tmp/evaluation-result-2689676-1277890538/solver-2689676-1277890538 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689676-1277890538.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: 4.07 4.07 5.24 3/179 13633 /proc/meminfo: memFree=31064048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=2576 CPUtime=0 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 294 0 0 0 0 0 0 0 25 0 1 0 130348337 2637824 211 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13633/statm: 644 211 143 303 0 339 0 [startup+0.0662409 s] /proc/loadavg: 4.07 4.07 5.24 3/179 13633 /proc/meminfo: memFree=31064048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=3108 CPUtime=0.06 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 417 0 0 0 6 0 0 0 25 0 1 0 130348337 3182592 334 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 777 334 143 303 0 472 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3108 [startup+0.100234 s] /proc/loadavg: 4.07 4.07 5.24 3/179 13633 /proc/meminfo: memFree=31064048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=3240 CPUtime=0.09 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 461 0 0 0 9 0 0 0 25 0 1 0 130348337 3317760 378 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 810 378 143 303 0 505 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3240 [startup+0.300201 s] /proc/loadavg: 4.07 4.07 5.24 3/179 13633 /proc/meminfo: memFree=31064048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=4052 CPUtime=0.29 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 664 0 0 0 29 0 0 0 25 0 1 0 130348337 4149248 581 4089446400 134512640 135751879 4291927856 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 1013 581 143 303 0 708 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4052 [startup+0.700131 s] /proc/loadavg: 4.07 4.07 5.24 3/179 13633 /proc/meminfo: memFree=31064048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=4856 CPUtime=0.69 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 873 0 0 0 69 0 0 0 25 0 1 0 130348337 4972544 790 4089446400 134512640 135751879 4291927856 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 1214 790 143 303 0 909 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4856 [startup+1.50102 s] /proc/loadavg: 4.07 4.07 5.24 3/180 13634 /proc/meminfo: memFree=31060940/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=6044 CPUtime=1.49 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 1169 0 0 0 148 1 0 0 25 0 1 0 130348337 6189056 1086 4089446400 134512640 135751879 4291927856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 1511 1086 143 303 0 1206 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6044 [startup+3.10073 s] /proc/loadavg: 3.91 4.04 5.22 3/180 13634 /proc/meminfo: memFree=31060048/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=7680 CPUtime=3.09 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 1555 0 0 0 308 1 0 0 25 0 1 0 130348337 7864320 1472 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 1920 1472 143 303 0 1615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7680 [startup+6.3002 s] /proc/loadavg: 3.91 4.04 5.22 3/180 13634 /proc/meminfo: memFree=31052524/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=12448 CPUtime=6.29 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 2746 0 0 0 626 3 0 0 25 0 1 0 130348337 12746752 2663 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 3112 2663 143 303 0 2807 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12448 [startup+12.701 s] /proc/loadavg: 3.61 3.97 5.18 3/180 13634 /proc/meminfo: memFree=31044100/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=20992 CPUtime=12.69 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 4894 0 0 0 1264 5 0 0 25 0 1 0 130348337 21495808 4811 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 5248 4811 143 303 0 4943 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20992 [startup+25.5008 s] /proc/loadavg: 3.44 3.92 5.15 3/180 13635 /proc/meminfo: memFree=31029200/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=37500 CPUtime=25.49 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 8979 0 0 0 2538 11 0 0 25 0 1 0 130348337 38400000 8896 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 9375 8896 143 303 0 9070 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37500 [startup+51.1003 s] /proc/loadavg: 2.95 3.76 5.07 3/180 13635 /proc/meminfo: memFree=30999716/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=67276 CPUtime=51.09 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 16377 0 0 0 5089 20 0 0 25 0 1 0 130348337 68890624 16294 4089446400 134512640 135751879 4291927856 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 16819 16294 143 303 0 16514 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 67276 [startup+102.306 s] /proc/loadavg: 2.38 3.46 4.89 3/180 13637 /proc/meminfo: memFree=30943016/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=123632 CPUtime=102.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 30400 0 0 0 10190 40 0 0 25 0 1 0 130348337 126599168 30317 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 30908 30317 143 303 0 30603 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 123632 [startup+162.301 s] /proc/loadavg: 2.15 3.22 4.72 3/180 13638 /proc/meminfo: memFree=30828268/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=199160 CPUtime=162.29 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 49264 0 0 0 16157 72 0 0 25 0 1 0 130348337 203939840 49181 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 49790 49181 143 303 0 49485 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 199160 [startup+222.301 s] /proc/loadavg: 2.05 2.98 4.53 3/180 13640 /proc/meminfo: memFree=30806788/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=256740 CPUtime=222.29 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 63623 0 0 0 22140 89 0 0 25 0 1 0 130348337 262901760 63540 4089446400 134512640 135751879 4291927856 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 64185 63540 143 303 0 63880 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 256740 [startup+282.3 s] /proc/loadavg: 2.02 2.81 4.39 3/180 13641 /proc/meminfo: memFree=30752792/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=311020 CPUtime=282.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 77200 0 0 0 28119 111 0 0 25 0 1 0 130348337 318484480 77117 4089446400 134512640 135751879 4291927856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 77755 77117 143 303 0 77450 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 311020 [startup+342.301 s] /proc/loadavg: 2.00 2.65 4.22 3/180 13643 /proc/meminfo: memFree=30700916/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=363960 CPUtime=342.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 90408 0 0 0 34097 133 0 0 25 0 1 0 130348337 372695040 90325 4089446400 134512640 135751879 4291927856 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 90990 90325 143 303 0 90685 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 363960 [startup+402.3 s] /proc/loadavg: 2.00 2.54 4.09 3/180 13645 /proc/meminfo: memFree=30650016/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=414352 CPUtime=402.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 102970 0 0 0 40079 151 0 0 25 0 1 0 130348337 424296448 102887 4089446400 134512640 135751879 4291927856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 103588 102887 143 303 0 103283 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 414352 [startup+462.301 s] /proc/loadavg: 2.00 2.43 3.95 3/180 13646 /proc/meminfo: memFree=30601972/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=460068 CPUtime=462.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 114333 0 0 0 46063 167 0 0 25 0 1 0 130348337 471109632 114250 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 115017 114251 143 303 0 114712 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 460068 [startup+522.301 s] /proc/loadavg: 2.00 2.35 3.83 3/180 13647 /proc/meminfo: memFree=30520088/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=540556 CPUtime=522.3 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 134530 0 0 0 52046 184 0 0 25 0 1 0 130348337 553529344 134373 4089446400 134512640 135751879 4291927856 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 135139 134373 146 303 0 134834 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 540556 [startup+582.3 s] /proc/loadavg: 2.08 2.30 3.71 3/180 13649 /proc/meminfo: memFree=30518916/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=540556 CPUtime=582.31 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 134876 0 0 0 58025 206 0 0 25 0 1 0 130348337 553529344 134719 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 135139 134719 146 303 0 134834 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 540556 [startup+642.301 s] /proc/loadavg: 2.03 2.24 3.60 3/180 13651 /proc/meminfo: memFree=30489360/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=570376 CPUtime=642.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 142243 0 0 0 64005 227 0 0 25 0 1 0 130348337 584065024 142086 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 142594 142086 146 303 0 142289 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 570376 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.13 3.32 3/180 13655 /proc/meminfo: memFree=30363376/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=692600 CPUtime=822.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 172595 0 0 0 81946 286 0 0 25 0 1 0 130348337 709222400 172438 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 173150 172438 146 303 0 172845 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 692600 [startup+882.3 s] /proc/loadavg: 2.00 2.10 3.23 3/180 13657 /proc/meminfo: memFree=30326356/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=726928 CPUtime=882.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 181185 0 0 0 87928 304 0 0 25 0 1 0 130348337 744374272 181028 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 181732 181028 146 303 0 181427 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 726928 [startup+942.301 s] /proc/loadavg: 2.00 2.08 3.15 3/180 13659 /proc/meminfo: memFree=30289596/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=764136 CPUtime=942.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 190471 0 0 0 93908 324 0 0 25 0 1 0 130348337 782475264 190314 4089446400 134512640 135751879 4291927856 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13633/statm: 191034 190314 146 303 0 190729 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 764136 [startup+1002.3 s] /proc/loadavg: 1.96 2.05 3.07 3/179 13740 /proc/meminfo: memFree=30320356/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=811060 CPUtime=1002.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 202186 0 0 0 99881 351 0 0 25 0 1 0 130348337 830525440 202029 4089446400 134512640 135751879 4291927856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13633/statm: 202765 202029 146 303 0 202460 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 811060 [startup+1062.3 s] /proc/loadavg: 1.98 2.04 3.00 3/179 13741 /proc/meminfo: memFree=30100328/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=862076 CPUtime=1062.31 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 214917 0 0 0 105851 380 0 0 25 0 1 0 130348337 882765824 214760 4089446400 134512640 135751879 4291927856 18446744073709551615 134610787 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13633/statm: 215519 214760 146 303 0 215214 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 862076 [startup+1122.3 s] /proc/loadavg: 1.99 2.03 2.93 3/179 13742 /proc/meminfo: memFree=29961404/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=911640 CPUtime=1122.31 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 227292 0 0 0 111816 415 0 0 25 0 1 0 130348337 933519360 227135 4089446400 134512640 135751879 4291927856 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/13633/statm: 227910 227135 146 303 0 227605 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 911640 [startup+1182.3 s] /proc/loadavg: 1.99 2.02 2.88 3/179 13744 /proc/meminfo: memFree=29834748/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=964136 CPUtime=1182.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 240397 0 0 0 117783 449 0 0 25 0 1 0 130348337 987275264 240240 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 241034 240240 146 303 0 240729 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 964136 [startup+1242.3 s] /proc/loadavg: 2.04 2.03 2.82 3/179 13746 /proc/meminfo: memFree=29710952/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1016496 CPUtime=1242.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 253471 0 0 0 123750 482 0 0 25 0 1 0 130348337 1040891904 253314 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 254124 253314 146 303 0 253819 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1016496 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.76 3/179 13748 /proc/meminfo: memFree=29593968/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1062392 CPUtime=1302.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 264906 0 0 0 129722 511 0 0 25 0 1 0 130348337 1087889408 264749 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 265598 264749 146 303 0 265293 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1062392 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.71 3/179 13749 /proc/meminfo: memFree=29501144/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1114352 CPUtime=1362.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 277884 0 0 0 135690 542 0 0 25 0 1 0 130348337 1141096448 277727 4089446400 134512640 135751879 4291927856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 278588 277727 146 303 0 278283 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1114352 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.67 3/179 13751 /proc/meminfo: memFree=29369160/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1163040 CPUtime=1422.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 290020 0 0 0 141662 571 0 0 25 0 1 0 130348337 1190952960 289863 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 290760 289863 146 303 0 290455 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1163040 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.63 3/179 13752 /proc/meminfo: memFree=29191032/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1219348 CPUtime=1482.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 304115 0 0 0 147624 609 0 0 25 0 1 0 130348337 1248612352 303958 4089446400 134512640 135751879 4291927856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 304837 303958 146 303 0 304532 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1219348 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.58 3/179 13763 /proc/meminfo: memFree=29010216/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1314408 CPUtime=1542.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 328229 0 0 0 153592 641 0 0 25 0 1 0 130348337 1345953792 328028 4089446400 134512640 135751879 4291927856 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 328602 328028 146 303 0 328297 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1314408 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.54 3/179 13765 /proc/meminfo: memFree=28947800/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1314408 CPUtime=1602.32 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 328366 0 0 0 159556 676 0 0 25 0 1 0 130348337 1345953792 328165 4089446400 134512640 135751879 4291927856 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 328602 328165 146 303 0 328297 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1314408 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.51 3/179 13766 /proc/meminfo: memFree=28908936/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1320684 CPUtime=1662.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 329913 0 0 0 165525 708 0 0 25 0 1 0 130348337 1352380416 329712 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 330171 329712 146 303 0 329866 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1320684 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.48 3/179 13767 /proc/meminfo: memFree=28812532/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1352476 CPUtime=1722.33 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 337803 0 0 0 171488 745 0 0 25 0 1 0 130348337 1384935424 337602 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 338119 337602 146 303 0 337814 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1352476 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.45 3/179 13769 /proc/meminfo: memFree=28690808/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1389960 CPUtime=1782.34 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 347140 0 0 0 177455 779 0 0 25 0 1 0 130348337 1423319040 346939 4089446400 134512640 135751879 4291927856 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 347490 346939 146 303 0 347185 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1389960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 2.44 3/179 13770 /proc/meminfo: memFree=28651244/32951124 swapFree=67111528/67111528 [pid=13633] ppid=13631 vsize=1402480 CPUtime=1800.04 /proc/13633/stat : 13633 (wbo1.4a) R 13631 13633 12815 0 -1 4202496 350252 0 0 0 179216 788 0 0 25 0 1 0 130348337 1436139520 350051 4089446400 134512640 135751879 4291927856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13633/statm: 350620 350051 146 303 0 350315 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1402480 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.09 CPU user time (s): 1792.16 CPU system time (s): 7.92879 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1402480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.16 system time used= 7.92879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 350252 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= 4 involuntary context switches= 2482 runsolver used 2.70259 second user time and 5.49316 second system time The end
Begin job on node140 at 2010-06-30 11:35:38 IDJOB=2689676 IDBENCH=78685 IDSOLVER=1200 FILE ID=node140/2689676-1277890538 PBS_JOBID= 11197074 Free space on /tmp= 74180 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_15_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-2689676-1277890538/watcher-2689676-1277890538 -o /tmp/evaluation-result-2689676-1277890538/solver-2689676-1277890538 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689676-1277890538.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8841123e57febe545fae4a69b91f873c RANDOM SEED=1962731061 node140.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.790 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.58 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.790 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 : 5226.07 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.790 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.790 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.89 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.790 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 : 5421.15 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.790 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.83 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.790 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.75 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.790 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: 31064576 kB Buffers: 175016 kB Cached: 1279996 kB SwapCached: 0 kB Active: 1027944 kB Inactive: 712188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31064576 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 285596 kB Mapped: 18552 kB Slab: 79816 kB PageTables: 5600 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 573700 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= 74196 MiB End job on node140 at 2010-06-30 12:05:41