Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -6 | 1800.13 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7 |
Best CPU time to get the best result obtained on this benchmark | 45.985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 2960 |
Sum of products size (including duplicates) | 5920 |
Number of different products | 1480 |
Sum of products size | 2960 |
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/455211-1178039198/instance-455211-1178039198.opb 0.00/0.00 c File size is 35158 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.016 s 0.00/0.02 c Var: 3060 Constr: 6072 3010/102/2960 Lit: 21020 Watch. Lit: 17962 0.00/0.02 c Obj. Vars: 50 (1.63399 % of total variables) 6.09/6.19 c Pre-processing Time: 6.191 s 6.09/6.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.19 c 0 3060 6072 21020 3 17962 49412 0 0 6.19 6.09/6.19 c Switching off LPR mode. 6.09/6.20 o -1 6.194 6.19/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.20 c 0 3060 6073 21070 3 17965 49445 1 0 6.20 6.19/6.20 o -2 6.196 6.19/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.20 c 0 3060 6074 21120 3 17969 49495 2 0 6.20 6.19/6.20 o -3 6.199 6.19/6.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.21 c 0 3060 6075 21170 3 17974 49562 3 0 6.20 6.19/6.21 o -4 6.211 6.19/6.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.23 c 7 3060 6083 21478 3 17994 49579 11 1 6.21 6.19/6.23 o -5 6.232 6.39/6.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.47 c 99 3060 6176 26766 4 18185 49595 104 15 6.23 6.39/6.47 c 199 3060 6276 33349 5 18385 54555 204 31 6.25 6.39/6.47 c 449 3060 6526 49263 7 18885 60011 454 71 6.27 6.39/6.47 c 924 3060 7001 76402 10 19835 66013 929 145 6.34 6.39/6.47 c 1737 3060 7814 127008 16 21461 72615 1742 269 6.45 6.39/6.47 o -6 6.464 1800.08/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.70 c 1797 3060 7875 130976 16 21589 49612 1803 277 6.47 1800.08/1800.70 c 1898 3060 7976 138298 17 21791 54574 1904 292 6.48 1800.08/1800.70 c 2150 3060 8228 157796 19 22295 60032 2156 329 6.52 1800.08/1800.70 c 2626 3060 8704 185187 21 23247 66036 2632 398 6.59 1800.08/1800.70 c 3439 3060 9517 230021 24 24873 72640 3445 513 6.70 1800.08/1800.70 c 4759 3060 10837 304711 28 27513 79905 4765 684 6.96 1800.08/1800.70 c 6841 3060 12919 437402 33 31677 87896 6847 910 7.52 1800.08/1800.70 c 10065 3060 16143 655598 40 38125 96686 10071 1140 8.82 1800.08/1800.70 c 15001 3060 21079 944836 44 47997 106355 15007 1334 11.24 1800.08/1800.70 c 22507 3060 28585 1388928 48 63009 116991 22513 1338 16.82 1800.08/1800.70 c 33868 3060 39946 2139536 53 85731 128691 33874 1158 29.23 1800.08/1800.70 c 51012 3060 57090 3333131 58 120019 141561 51018 797 63.95 1800.08/1800.70 c 76831 3060 82909 5133127 61 171657 155718 76837 518 148.24 1800.08/1800.70 c 115663 3060 121741 7412359 60 249321 171290 115669 432 267.73 1800.08/1800.70 c 174015 3060 19619 864832 44 45062 188420 13547 233 745.34 1800.08/1800.70 c 261647 3060 107251 6749574 62 220326 207263 101179 264 991.09 1800.08/1800.70 c Caught signal: 15 1800.08/1800.70 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 1800.08/1800.70 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x91 -x70 -x89 -x76 -x62 1800.08/1800.70 v x99 -x65 -x78 -x96 -x93 -x80 -x100 -x94 -x88 -x55 -x74 -x68 -x81 -x53 -x73 -x66 -x92 -x61 -x97 -x64 -x57 -x58 -x59 -x60 -x63 -x67 1800.08/1800.70 v -x69 -x72 -x79 -x86 -x51 x87 x83 -x98 -x95 -x56 x54 -x75 -x77 x82 -x85 x90 -x52 -x71 -x84 1800.08/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.70 c 25 368471 3283 385945 208584 13509109 202512 204 1800.09 1800.08/1800.70 c Objective: -6 1800.08/1800.70 s SATISFIABLE 1800.08/1800.70 c Total time: 1800.09 s
OK -6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-455211-1178039198 -o ROOT/results/node69/solver-455211-1178039198 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455211-1178039198/instance-455211-1178039198.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: 1.12 1.12 1.09 3/64 6089 /proc/meminfo: memFree=1801804/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=11772 CPUtime=0 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 279909255 12054528 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 990 345 289 324 0 51 0 [startup+0.0928601 s] /proc/loadavg: 1.12 1.12 1.09 3/64 6089 /proc/meminfo: memFree=1801804/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=0.08 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 799 0 0 0 8 0 0 0 18 0 1 0 279909255 5718016 760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 760 304 324 0 466 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5584 [startup+0.10286 s] /proc/loadavg: 1.12 1.12 1.09 3/64 6089 /proc/meminfo: memFree=1801804/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=0.09 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 799 0 0 0 9 0 0 0 18 0 1 0 279909255 5718016 760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12386428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 760 304 324 0 466 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5584 [startup+0.302892 s] /proc/loadavg: 1.12 1.12 1.09 3/64 6089 /proc/meminfo: memFree=1801804/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=0.29 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 800 0 0 0 29 0 0 0 19 0 1 0 279909255 5718016 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 761 304 324 0 466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5584 [startup+0.701957 s] /proc/loadavg: 1.12 1.12 1.09 3/64 6089 /proc/meminfo: memFree=1801804/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=0.69 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 800 0 0 0 69 0 0 0 23 0 1 0 279909255 5718016 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 761 304 324 0 466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5584 [startup+1.50109 s] /proc/loadavg: 1.11 1.11 1.09 2/65 6090 /proc/meminfo: memFree=1799940/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=1.49 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 800 0 0 0 149 0 0 0 25 0 1 0 279909255 5718016 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 761 304 324 0 466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5584 [startup+3.10134 s] /proc/loadavg: 1.11 1.11 1.09 2/65 6090 /proc/meminfo: memFree=1799812/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=5584 CPUtime=3.09 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 800 0 0 0 309 0 0 0 25 0 1 0 279909255 5718016 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1396 761 304 324 0 466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5584 [startup+6.30186 s] /proc/loadavg: 1.11 1.11 1.09 2/65 6090 /proc/meminfo: memFree=1799772/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=6184 CPUtime=6.29 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 1003 0 0 0 628 1 0 0 25 0 1 0 279909255 6332416 915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 1546 915 311 324 0 616 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6184 [startup+12.7019 s] /proc/loadavg: 1.10 1.11 1.09 2/65 6090 /proc/meminfo: memFree=1785396/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=21088 CPUtime=12.68 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 4745 0 0 0 1265 3 0 0 25 0 1 0 279909255 21594112 4657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12394213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 5272 4657 311 324 0 4342 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21088 [startup+25.502 s] /proc/loadavg: 1.08 1.11 1.09 2/65 6090 /proc/meminfo: memFree=1772340/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=33652 CPUtime=25.48 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 7877 0 0 0 2541 7 0 0 25 0 1 0 279909255 34459648 7789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 8413 7789 311 324 0 7483 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33652 [startup+51.1021 s] /proc/loadavg: 1.05 1.10 1.09 2/65 6090 /proc/meminfo: memFree=1758580/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=47368 CPUtime=51.07 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 11309 0 0 0 5096 11 0 0 25 0 1 0 279909255 48504832 11221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 11842 11221 311 324 0 10912 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47368 [startup+102.304 s] /proc/loadavg: 1.02 1.08 1.08 2/65 6090 /proc/meminfo: memFree=1739700/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=65984 CPUtime=102.25 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 15959 0 0 0 10209 16 0 0 25 0 1 0 279909255 67567616 15871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 16496 15871 311 324 0 15566 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 65984 [startup+162.301 s] /proc/loadavg: 1.00 1.06 1.07 2/65 6090 /proc/meminfo: memFree=1721588/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=84492 CPUtime=162.22 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 20593 0 0 0 16201 21 0 0 25 0 1 0 279909255 86519808 20505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 21123 20505 311 324 0 20193 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 84492 [startup+222.302 s] /proc/loadavg: 1.00 1.05 1.07 2/65 6090 /proc/meminfo: memFree=1703028/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=102652 CPUtime=222.21 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 25116 0 0 0 22195 26 0 0 25 0 1 0 279909255 105115648 25028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 25663 25028 311 324 0 24733 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 102652 [startup+282.302 s] /proc/loadavg: 1.00 1.04 1.06 2/65 6090 /proc/meminfo: memFree=1689524/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=116136 CPUtime=282.19 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 28513 0 0 0 28189 30 0 0 25 0 1 0 279909255 118923264 28425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 29034 28425 311 324 0 28104 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 116136 [startup+342.301 s] /proc/loadavg: 1.00 1.03 1.06 2/65 6090 /proc/meminfo: memFree=1676468/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=129104 CPUtime=342.17 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 31741 0 0 0 34183 34 0 0 25 0 1 0 279909255 132202496 31653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 32276 31653 311 324 0 31346 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 129104 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 6090 /proc/meminfo: memFree=1665396/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=140104 CPUtime=402.15 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 34502 0 0 0 40178 37 0 0 25 0 1 0 279909255 143466496 34414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 35026 34414 311 324 0 34096 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 140104 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.05 2/65 6090 /proc/meminfo: memFree=1653876/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=151648 CPUtime=462.13 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 37370 0 0 0 46172 41 0 0 25 0 1 0 279909255 155287552 37282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 37912 37282 311 324 0 36982 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 151648 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.04 2/65 6090 /proc/meminfo: memFree=1647668/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=157868 CPUtime=522.1 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 38925 0 0 0 52167 43 0 0 25 0 1 0 279909255 161656832 38837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12385749 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 39467 38837 311 324 0 38537 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 157868 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.03 2/65 6090 /proc/meminfo: memFree=1639732/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=165748 CPUtime=582.08 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 40890 0 0 0 58162 46 0 0 25 0 1 0 279909255 169725952 40802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41437 40802 311 324 0 40507 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 165748 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.03 2/65 6090 /proc/meminfo: memFree=1638708/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=642.07 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 64160 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 166520 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 1.01 1.01 2/65 6090 /proc/meminfo: memFree=1638772/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=881.98 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 88151 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 166520 [startup+942.301 s] /proc/loadavg: 1.05 1.02 1.01 2/65 6090 /proc/meminfo: memFree=1638708/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=941.96 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 94149 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 166520 [startup+1002.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 6090 /proc/meminfo: memFree=1638708/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1001.94 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 100147 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 166520 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6090 /proc/meminfo: memFree=1638644/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1061.92 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 106145 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 166520 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6090 /proc/meminfo: memFree=1638708/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1121.9 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 112143 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 166520 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1638644/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1181.88 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 118141 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 166520 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1638644/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1241.86 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 124139 47 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 166520 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1638644/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1301.85 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 130137 48 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 166520 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1638644/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=166520 CPUtime=1361.83 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41276 0 0 0 136135 48 0 0 25 0 1 0 279909255 170516480 41018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41630 41018 311 324 0 40700 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 166520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1637428/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=167808 CPUtime=1421.8 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 41585 0 0 0 142132 48 0 0 25 0 1 0 279909255 171835392 41327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 41952 41327 311 324 0 41022 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 167808 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1631668/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=173612 CPUtime=1481.79 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 43035 0 0 0 148129 50 0 0 25 0 1 0 279909255 177778688 42777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 43403 42777 311 324 0 42473 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 173612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1625780/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=179436 CPUtime=1541.76 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 44506 0 0 0 154125 51 0 0 25 0 1 0 279909255 183742464 44248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 44859 44248 311 324 0 43929 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 179436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1619828/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=185524 CPUtime=1601.74 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 46014 0 0 0 160121 53 0 0 25 0 1 0 279909255 189976576 45756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12384085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 46381 45756 311 324 0 45451 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 185524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1613940/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=191356 CPUtime=1661.72 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 47468 0 0 0 166118 54 0 0 25 0 1 0 279909255 195948544 47210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 47839 47210 311 324 0 46909 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 191356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1607284/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=198096 CPUtime=1721.7 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 49143 0 0 0 172114 56 0 0 25 0 1 0 279909255 202850304 48885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 49524 48885 311 324 0 48594 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 198096 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1600372/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=204832 CPUtime=1781.68 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 50857 0 0 0 178110 58 0 0 25 0 1 0 279909255 209747968 50599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 51208 50599 311 324 0 50278 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 204832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1599732/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=205224 CPUtime=1800.08 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 51158 0 0 0 179950 58 0 0 25 0 1 0 279909255 210149376 50696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 51306 50696 311 324 0 50376 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 205224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6090 /proc/meminfo: memFree=1599732/2055920 swapFree=4182940/4192956 [pid=6089] ppid=6087 vsize=205224 CPUtime=1800.08 /proc/6089/stat : 6089 (bsolo3.0.17) R 6087 6089 22843 0 -1 4194304 51158 0 0 0 179950 58 0 0 25 0 1 0 279909255 210149376 50696 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6089/statm: 51306 50696 311 324 0 50376 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 205224 Child status: 15 Real time (s): 1800.75 CPU time (s): 1800.13 CPU user time (s): 1799.51 CPU system time (s): 0.620905 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 206040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.620905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51162 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= 2644 runsolver used 1.43478 second user time and 3.48847 second system time The end
Begin job on node69 on Tue May 1 17:06:38 UTC 2007 IDJOB= 455211 IDBENCH= 48248 IDSOLVER= 199 FILE ID= node69/455211-1178039198 PBS_JOBID= 4728427 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455211-1178039198/instance-455211-1178039198.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-455211-1178039198 -o ROOT/results/node69/solver-455211-1178039198 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455211-1178039198/instance-455211-1178039198.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED= 193055032 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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 : 5931.00 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.264 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: 1802276 kB Buffers: 109236 kB Cached: 70612 kB SwapCached: 3820 kB Active: 142648 kB Inactive: 53272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802276 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 18936 kB Slab: 43684 kB Committed_AS: 6671960 kB PageTables: 1492 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= 66556 MiB End job on node69 on Tue May 1 17:36:41 UTC 2007