Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -12 | 1800.15 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_5.opb |
MD5SUM | 996170804397234947041ed4d87d3aa0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5056 |
Sum of products size (including duplicates) | 10112 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb 0.00/0.00 c File size is 75371 bytes. 0.03/0.05 c Highest Coefficient sum: 400 0.03/0.05 c Parsing was ok!! 0.03/0.05 c Total parsing time: 0.047 s 0.03/0.05 c Var: 5456 Constr: 10714 5256/402/5056 Lit: 36592 Watch. Lit: 31138 0.03/0.05 c Obj. Vars: 200 (3.66569 % of total variables) 2.29/2.32 c Pre-processing Time: 2.322 s 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 5456 10714 36592 3 31138 54477 0 0 2.32 2.29/2.32 c Switching off LPR mode. 2.29/2.33 o -1 2.327 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 0 5456 10715 36792 3 31141 54610 1 0 2.33 2.29/2.33 o -2 2.333 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 5456 10716 36992 3 31145 54810 2 0 2.33 2.29/2.34 o -3 2.338 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 5456 10717 37192 3 31150 55077 3 0 2.34 2.29/2.34 o -4 2.344 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 0 5456 10718 37392 3 31156 55410 4 0 2.35 2.29/2.35 o -5 2.349 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 0 5456 10719 37592 3 31163 55810 5 0 2.35 2.29/2.35 o -6 2.355 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 0 5456 10720 37792 3 31171 56277 6 0 2.36 2.29/2.36 o -7 2.361 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 0 5456 10721 37992 3 31180 56810 7 0 2.36 2.29/2.37 o -8 2.37 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 2 5456 10724 38635 3 31194 56877 10 0 2.37 2.69/2.77 c 102 5456 10824 62399 5 31394 62565 110 40 2.50 2.69/2.77 c 352 5456 11074 133144 12 31894 68822 360 129 2.72 2.69/2.77 o -9 2.772 22.18/22.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.18/22.23 c 538 5456 11261 171687 15 32277 56943 547 193 2.77 22.18/22.23 c 638 5456 11361 196404 17 32477 62638 647 214 2.98 22.18/22.23 c 888 5456 11611 267973 23 32977 68902 897 268 3.30 22.18/22.23 c 1363 5456 12086 396297 32 33927 75793 1372 340 4.00 22.18/22.23 c 2176 5456 12899 625138 48 35553 83373 2185 419 5.19 22.18/22.23 c 3496 5456 14219 996625 70 38193 91711 3505 473 7.38 22.18/22.23 c 5577 5456 16300 1595916 97 42355 100883 5586 506 11.01 22.18/22.23 c 8800 5456 19523 2467116 126 48801 110972 8809 625 14.06 22.18/22.23 c 13736 5456 24459 4022817 164 58673 122070 13745 706 19.43 22.18/22.23 o -10 22.222 687.14/687.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 687.14/687.46 c 16684 5456 27408 5054497 184 64581 57010 16694 750 22.23 687.14/687.46 c 16784 5456 27508 5079200 184 64781 62712 16794 746 22.50 687.14/687.46 c 17035 5456 27759 5152918 185 65283 68984 17045 739 23.04 687.14/687.46 c 17510 5456 28234 5272356 186 66233 75883 17520 727 24.07 687.14/687.46 c 18323 5456 29047 5491641 189 67859 83472 18333 710 25.77 687.14/687.46 c 19643 5456 30367 5844795 192 70499 91820 19653 701 27.98 687.14/687.46 c 21724 5456 32448 6441829 198 74661 101003 21734 684 31.73 687.14/687.46 c 24947 5456 35671 7367475 206 81107 111104 24957 679 36.69 687.14/687.46 c 29883 5456 40607 8869722 218 90979 122215 29893 701 42.59 687.14/687.46 c 37389 5456 48113 10516601 218 105991 134437 37399 774 48.28 687.14/687.46 c 48750 5456 59474 13209541 222 128713 147881 48760 713 68.29 687.14/687.46 c 65894 5456 76618 17973177 234 163001 162670 65904 582 113.05 687.14/687.46 c 91713 5456 102437 25791443 251 214639 178938 91723 455 201.57 687.14/687.46 c 130545 5456 141269 36647595 259 292303 196832 130555 356 366.68 687.14/687.46 c 188897 5456 199621 53973945 270 409007 216516 188907 294 641.17 687.14/687.46 o -11 687.207 1150.48/1150.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1150.48/1150.92 c 199742 5456 210467 57373428 272 430710 57077 199753 290 687.21 1150.48/1150.92 c 199842 5456 23822 4060140 170 57365 62785 13108 197 1012.30 1150.48/1150.92 c 200092 5456 24072 4122647 171 57865 69064 13358 197 1013.00 1150.48/1150.92 c 200567 5456 24547 4252415 173 58815 75971 13833 197 1014.28 1150.48/1150.92 c 201380 5456 25360 4477576 176 60441 83569 14646 198 1016.39 1150.48/1150.92 c 202700 5456 26680 4853064 181 63081 91926 15966 198 1019.72 1150.48/1150.92 c 204781 5456 28761 5410505 188 67243 101119 18047 200 1023.84 1150.48/1150.92 c 208004 5456 31984 6337854 198 73689 111231 21270 202 1028.99 1150.48/1150.92 c 212940 5456 36920 7826371 211 83561 122355 26206 205 1035.02 1150.48/1150.92 c 220446 5456 44426 9593260 215 98573 134591 33712 210 1047.76 1150.48/1150.92 c 231807 5456 55787 13010510 233 121295 148051 45073 214 1079.24 1150.48/1150.92 c 248951 5456 72931 17986960 246 155583 162857 62217 220 1127.69 1150.48/1150.92 o -12 1150.5 1800.02/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.71 c 258316 5456 82297 20769636 252 174327 55343 71583 224 1150.51 1800.02/1800.71 c 258416 5456 22846 3552832 155 55414 60878 12132 221 1166.14 1800.02/1800.71 c 258666 5456 23096 3619215 156 55914 66966 12382 221 1166.65 1800.02/1800.71 c 259141 5456 23571 3742876 158 56864 73663 12857 221 1167.54 1800.02/1800.71 c 259954 5456 24384 3950211 162 58490 81030 13670 222 1168.81 1800.02/1800.71 c 261274 5456 25704 4304947 167 61130 89134 14990 223 1171.16 1800.02/1800.71 c 263355 5456 27785 4873793 175 65292 98048 17071 224 1174.44 1800.02/1800.71 c 266578 5456 31008 5757934 185 71738 107853 20294 226 1178.77 1800.02/1800.71 c 271514 5456 35944 7133731 198 81610 118639 25230 229 1184.08 1800.02/1800.71 c 279020 5456 43450 8987060 206 96622 130503 32736 232 1199.15 1800.02/1800.71 c 290381 5456 54811 12066962 220 119344 143554 44097 238 1215.39 1800.02/1800.71 c 307525 5456 71955 17035708 236 153632 157910 61241 243 1262.64 1800.02/1800.71 c 333344 5456 97774 23182674 237 205270 173702 87060 255 1305.72 1800.02/1800.71 c 372176 5456 136606 32998812 241 282934 191073 125892 264 1407.45 1800.02/1800.71 c 430528 5456 194958 48368179 248 399638 210181 184244 258 1667.23 1800.02/1800.71 c Caught signal: 15 1800.02/1800.71 v x1 -x2 x3 x4 x5 -x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1800.02/1800.71 v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.02/1800.71 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 1800.02/1800.71 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.02/1800.71 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.02/1800.71 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.02/1800.71 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.02/1800.71 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.02/1800.71 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x276 -x366 -x211 -x273 -x277 -x233 -x321 -x250 -x274 -x382 -x212 1800.02/1800.71 v -x222 -x247 -x248 -x258 -x272 -x322 -x201 x227 x249 -x261 x399 -x221 x229 -x287 x215 -x206 -x205 x232 -x343 -x355 -x367 -x377 1800.02/1800.71 v -x202 -x280 -x374 -x332 -x384 -x253 -x368 -x347 -x328 -x237 -x265 -x203 -x285 -x309 -x400 -x362 -x341 -x254 -x238 -x266 -x290 1800.02/1800.71 v -x204 -x214 x236 -x224 -x208 -x294 -x216 -x223 -x353 -x372 -x386 -x389 -x354 -x324 -x228 x390 -x243 -x317 -x282 -x298 -x342 1800.02/1800.71 v -x381 -x234 -x269 -x289 -x340 x251 -x291 -x345 -x288 -x210 -x267 -x316 -x336 -x352 -x391 -x207 -x304 -x275 -x279 -x264 -x219 1800.02/1800.71 v -x295 -x235 -x392 -x359 -x379 -x225 -x252 -x299 -x383 -x209 -x344 -x315 -x320 -x302 -x371 -x259 -x318 -x351 -x313 -x325 -x263 1800.02/1800.71 v -x270 -x397 -x333 -x308 -x330 x373 -x327 -x395 -x281 -x346 -x369 -x380 -x213 -x268 -x396 -x278 -x242 -x293 -x319 -x364 -x335 1800.02/1800.71 v -x284 -x358 -x256 -x226 -x244 -x365 -x217 -x218 -x300 -x337 -x376 -x311 -x326 -x339 -x307 x329 -x246 -x312 -x348 -x286 -x310 1800.02/1800.71 v -x314 -x338 x296 -x230 -x241 -x220 -x361 -x357 -x245 -x301 -x305 -x388 -x349 -x257 -x393 -x323 -x356 -x292 -x334 -x306 -x231 1800.02/1800.71 v -x297 -x370 -x283 -x260 -x350 -x239 -x360 -x271 -x255 -x240 -x394 -x303 -x331 -x398 -x387 -x262 -x375 -x363 -x378 -x385 1800.02/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.71 c 61 461543 139 511051 223903 56311666 213189 256 1800.03 1800.02/1800.71 c Objective: -12 1800.02/1800.71 s SATISFIABLE 1800.02/1800.71 c Total time: 1800.03 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-455481-1178044281 -o ROOT/results/node20/solver-455481-1178044281 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19131 /proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=11812 CPUtime=0 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 252345498 12095488 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 2953 332 279 324 0 2004 0 [startup+0.036528 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19131 /proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=5100 CPUtime=0.03 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 659 0 0 0 3 0 0 0 18 0 1 0 252345498 5222400 629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 1275 629 300 324 0 326 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5100 [startup+0.101539 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19131 /proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=6816 CPUtime=0.09 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1091 0 0 0 9 0 0 0 18 0 1 0 252345498 6979584 1042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 1704 1042 304 324 0 774 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6816 [startup+0.30158 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19131 /proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=6816 CPUtime=0.29 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 29 0 0 0 19 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 1704 1043 304 324 0 774 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6816 [startup+0.701659 s] /proc/loadavg: 0.92 0.98 0.99 3/77 19131 /proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=6816 CPUtime=0.69 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 69 0 0 0 23 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 1704 1043 304 324 0 774 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6816 [startup+1.50182 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1722832/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=6816 CPUtime=1.49 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 149 0 0 0 25 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 1704 1043 304 324 0 774 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6816 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1722704/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=9404 CPUtime=3.09 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 2002 0 0 0 307 2 0 0 25 0 1 0 252345498 9629696 1717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 2351 1717 310 324 0 1421 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9404 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1714384/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=17124 CPUtime=6.29 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 3927 0 0 0 626 3 0 0 25 0 1 0 252345498 17534976 3642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 4281 3642 310 324 0 3351 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17124 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1698904/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=32804 CPUtime=12.69 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 7845 0 0 0 1263 6 0 0 25 0 1 0 252345498 33591296 7560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 8201 7560 310 324 0 7271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32804 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1652248/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=77748 CPUtime=25.48 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 19087 0 0 0 2537 11 0 0 25 0 1 0 252345498 79613952 18802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 19437 18802 310 324 0 18507 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77748 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1576920/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=154156 CPUtime=51.07 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 38209 0 0 0 5086 21 0 0 25 0 1 0 252345498 157855744 37924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 38539 37925 310 324 0 37609 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 154156 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1494680/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=234240 CPUtime=102.25 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 58217 0 0 0 10189 36 0 0 25 0 1 0 252345498 239861760 57932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 58560 57932 310 324 0 57630 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 234240 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1434840/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=294372 CPUtime=162.23 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 73259 0 0 0 16175 48 0 0 25 0 1 0 252345498 301436928 72974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 73593 72974 310 324 0 72663 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 294372 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1370200/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=358588 CPUtime=222.2 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 89290 0 0 0 22158 62 0 0 25 0 1 0 252345498 367194112 89005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 89647 89005 310 324 0 88717 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 358588 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1308568/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=420684 CPUtime=282.18 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 104816 0 0 0 28142 76 0 0 25 0 1 0 252345498 430780416 104531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 105171 104531 310 324 0 104241 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 420684 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1250712/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=477868 CPUtime=342.16 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 119121 0 0 0 34130 86 0 0 25 0 1 0 252345498 489336832 118836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 119467 118836 310 324 0 118537 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 477868 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1221592/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=507544 CPUtime=402.14 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 126538 0 0 0 40121 93 0 0 25 0 1 0 252345498 519725056 126253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571839 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 126886 126253 310 324 0 125956 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 507544 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1171352/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=557168 CPUtime=462.12 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 138939 0 0 0 46107 105 0 0 25 0 1 0 252345498 570540032 138654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 139292 138655 310 324 0 138362 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 557168 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1126552/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=602652 CPUtime=522.1 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 150323 0 0 0 52094 116 0 0 25 0 1 0 252345498 617115648 150038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 150663 150038 310 324 0 149733 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 602652 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19132 /proc/meminfo: memFree=1066968/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=661396 CPUtime=582.08 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 164993 0 0 0 58079 129 0 0 25 0 1 0 252345498 677269504 164708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 165349 164708 310 324 0 164419 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 661396 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=1013976/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=713964 CPUtime=642.06 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 178135 0 0 0 64061 145 0 0 25 0 1 0 252345498 731099136 177850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 178491 177850 310 324 0 177561 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 713964 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=881.97 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 88041 156 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 757684 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=941.95 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 94039 156 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 757684 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1001.93 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 100036 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 757684 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1061.91 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 106034 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 757684 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1121.88 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 112031 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 757684 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1181.87 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 118029 158 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 757684 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1241.84 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 124026 158 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 757684 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1301.83 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 130024 159 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550657 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 757684 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1361.8 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 136021 159 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 757684 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1421.79 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 142019 160 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 757684 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1481.76 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 148016 160 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 757684 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1541.74 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 154013 161 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572562 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 757684 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1601.72 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 160011 161 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 757684 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1661.7 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 166008 162 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 757684 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 19134 /proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757684 CPUtime=1721.67 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 172005 162 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189421 188805 310 324 0 188491 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 757684 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 19160 /proc/meminfo: memFree=968864/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757744 CPUtime=1781.65 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189512 0 0 0 178002 163 0 0 25 0 1 0 252345498 775929856 188820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189436 188820 310 324 0 188506 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 757744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/84 19250 /proc/meminfo: memFree=968608/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=757744 CPUtime=1800.02 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189512 0 0 0 179839 163 0 0 25 0 1 0 252345498 775929856 188820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 189436 188820 310 324 0 188506 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 757744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/84 19250 /proc/meminfo: memFree=968608/2055920 swapFree=4154876/4192956 [pid=19131] ppid=19129 vsize=0 CPUtime=1800.12 /proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194308 189516 0 0 0 179839 173 0 0 25 0 1 0 252345498 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/19131/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.83 CPU time (s): 1800.15 CPU user time (s): 1798.39 CPU system time (s): 1.75373 CPU usage (%): 99.9622 Max. virtual memory (cumulated for all children) (KiB): 758588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.39 system time used= 1.75373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189516 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= 12 involuntary context switches= 37265 runsolver used 1.42678 second user time and 3.84042 second system time The end
Begin job on node20 on Tue May 1 18:31:22 UTC 2007 IDJOB= 455481 IDBENCH= 48266 IDSOLVER= 199 FILE ID= node20/455481-1178044281 PBS_JOBID= 4728447 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-455481-1178044281 -o ROOT/results/node20/solver-455481-1178044281 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 996170804397234947041ed4d87d3aa0 RANDOM SEED= 223740961 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1726256 kB Buffers: 104228 kB Cached: 128680 kB SwapCached: 16448 kB Active: 180256 kB Inactive: 82732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1726256 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 6672 kB Writeback: 0 kB Mapped: 35144 kB Slab: 52212 kB Committed_AS: 5462840 kB PageTables: 1756 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node20 on Tue May 1 19:01:24 UTC 2007