Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 6 | 1800.1 | 1801.24 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 133.502 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 3090 |
Sum of products size | 6180 |
0.00/0.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/453801-1178157755/instance-453801-1178157755.opb 0.00/0.01 c File size is 38777 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.017 s 0.00/0.03 c Var: 3190 Constr: 6280 3190/0/3090 Lit: 21730 Watch. Lit: 15650 0.00/0.03 c Obj. Vars: 100 (3.1348 % of total variables) 0.08/0.18 c Pre-processing Time: 0.178 s 0.08/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.18 c 0 3190 6280 21730 3 15650 19603 0 0 0.18 0.08/0.18 c Switching off LPR mode. 0.08/0.19 o 99 0.181 0.08/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.19 c 0 3190 6281 21830 3 15653 19669 1 0 0.18 0.08/0.19 o 98 0.183 0.08/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.19 c 0 3190 6282 21930 3 15657 19769 2 0 0.18 0.08/0.19 o 97 0.186 0.08/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.19 c 0 3190 6283 22030 3 15662 19903 3 0 0.19 0.08/0.19 o 96 0.189 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3190 6284 22130 3 15668 20069 4 0 0.19 0.19/0.20 o 95 0.191 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3190 6285 22230 3 15675 20269 5 0 0.19 0.19/0.20 o 94 0.193 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3190 6286 22330 3 15683 20503 6 0 0.19 0.19/0.20 o 93 0.196 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3190 6287 22430 3 15692 20769 7 0 0.20 0.19/0.21 o 91 0.199 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1 3190 6289 22623 3 15705 20836 9 5 0.20 0.19/0.21 o 7 0.202 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 1 3190 6290 22723 3 15800 21503 10 4 0.20 0.19/0.21 o 6 0.208 1800.05/1801.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1801.20 c 17 3190 6307 24569 3 15928 21503 27 81 0.21 1800.05/1801.20 c 118 3190 6408 34768 5 16130 23654 128 499 0.24 1800.05/1801.20 c 371 3190 6661 53321 8 16636 26020 381 1174 0.32 1800.05/1801.20 c 847 3190 7137 84004 11 17588 28623 857 1920 0.44 1800.05/1801.20 c 1662 3190 7952 151582 19 19218 31486 1672 2419 0.69 1800.05/1801.20 c 2984 3190 9274 275578 29 21862 34635 2994 2603 1.15 1800.05/1801.20 c 5066 3190 11356 519104 45 26026 38099 5076 2210 2.29 1800.05/1801.20 c 8289 3190 14579 824016 56 32472 41909 8299 2000 4.14 1800.05/1801.20 c 13229 3190 19519 1386352 71 42352 46100 13239 1585 8.35 1800.05/1801.20 c 20738 3190 27028 2083191 77 57370 50711 20748 1210 17.13 1800.05/1801.20 c 32101 3190 38391 3182670 82 80096 55783 32111 886 36.20 1800.05/1801.20 c 49246 3190 55536 4935195 88 114386 61362 49256 595 82.65 1800.05/1801.20 c 75065 3190 30668 5392272 175 64520 67499 24388 460 162.92 1800.05/1801.20 c 113899 3190 69502 9952310 143 142188 74249 63222 419 271.46 1800.05/1801.20 c 172251 3190 63659 5736317 90 130502 81674 57379 387 444.17 1800.05/1801.20 c 259888 3190 80326 6758827 84 163836 89842 74046 337 770.00 1800.05/1801.20 c 391440 3190 53762 5591296 104 110708 98827 47482 305 1281.73 1800.05/1801.20 c Caught signal: 15 1800.05/1801.20 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.05/1801.20 v -x30 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 1800.05/1801.20 v -x56 -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 1800.05/1801.20 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.05/1801.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1801.20 c 26 514029 147005 839449 88331 12950893 82051 285 1800.06 1800.05/1801.20 c Objective: 6 1800.05/1801.20 s SATISFIABLE 1800.05/1801.20 c Total time: 1800.06 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453801-1178157755 -o ROOT/results/node7/solver-453801-1178157755 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453801-1178157755/instance-453801-1178157755.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.53 1.14 1.05 4/83 21518 /proc/meminfo: memFree=1604256/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=18528 CPUtime=0 /proc/21518/stat : 21518 (runsolver) R 21516 21518 17046 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 291813117 18972672 284 18446744073709551615 4194304 4255128 548682068896 18446744073709551615 244671114535 0 0 4096 24578 0 0 0 17 1 0 0 /proc/21518/statm: 4632 284 249 14 0 2626 0 [startup+0.0132191 s] /proc/loadavg: 1.53 1.14 1.05 4/83 21518 /proc/meminfo: memFree=1604256/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=4096 CPUtime=0 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 400 0 0 0 0 0 0 0 18 0 1 0 291813117 4194304 370 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 1024 371 290 324 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4096 [startup+0.101229 s] /proc/loadavg: 1.53 1.14 1.05 4/83 21518 /proc/meminfo: memFree=1604256/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=5592 CPUtime=0.08 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 784 0 0 0 8 0 0 0 18 0 1 0 291813117 5726208 744 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 1398 744 303 324 0 468 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5592 [startup+0.301251 s] /proc/loadavg: 1.53 1.14 1.05 4/83 21518 /proc/meminfo: memFree=1604256/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=5992 CPUtime=0.28 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 977 0 0 0 27 1 0 0 20 0 1 0 291813117 6135808 870 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 1498 870 310 324 0 568 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5992 [startup+0.701295 s] /proc/loadavg: 1.53 1.14 1.05 4/83 21518 /proc/meminfo: memFree=1604256/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=7432 CPUtime=0.68 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 1340 0 0 0 67 1 0 0 23 0 1 0 291813117 7610368 1233 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 1858 1233 310 324 0 928 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7432 [startup+1.50137 s] /proc/loadavg: 1.53 1.14 1.05 2/78 21560 /proc/meminfo: memFree=1597200/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=10300 CPUtime=1.48 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 2048 0 0 0 147 1 0 0 25 0 1 0 291813117 10547200 1941 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134586822 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 2575 1942 310 324 0 1645 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10300 [startup+3.10154 s] /proc/loadavg: 1.53 1.14 1.05 2/78 21560 /proc/meminfo: memFree=1593680/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=14320 CPUtime=3.08 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 3065 0 0 0 307 1 0 0 25 0 1 0 291813117 14663680 2958 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 3580 2958 310 324 0 2650 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14320 [startup+6.30188 s] /proc/loadavg: 1.49 1.14 1.04 2/78 21560 /proc/meminfo: memFree=1586392/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=21096 CPUtime=6.28 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 4747 0 0 0 625 3 0 0 25 0 1 0 291813117 21602304 4640 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 5274 4640 310 324 0 4344 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21096 [startup+12.7015 s] /proc/loadavg: 1.45 1.13 1.04 2/78 21560 /proc/meminfo: memFree=1576544/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=29808 CPUtime=12.68 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 6938 0 0 0 1264 4 0 0 25 0 1 0 291813117 30523392 6831 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 7452 6831 310 324 0 6522 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29808 [startup+25.5019 s] /proc/loadavg: 1.35 1.13 1.04 2/78 21560 /proc/meminfo: memFree=1564384/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=41776 CPUtime=25.47 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 9914 0 0 0 2541 6 0 0 25 0 1 0 291813117 42778624 9807 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10849810 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 10444 9807 310 324 0 9514 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 41776 [startup+51.1016 s] /proc/loadavg: 1.23 1.12 1.04 2/78 21560 /proc/meminfo: memFree=1546528/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=59748 CPUtime=51.04 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 14409 0 0 0 5093 11 0 0 25 0 1 0 291813117 61181952 14302 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 14937 14302 310 324 0 14007 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 59748 [startup+102.306 s] /proc/loadavg: 1.10 1.10 1.04 2/78 21560 /proc/meminfo: memFree=1524704/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=81216 CPUtime=102.21 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 19767 0 0 0 10205 16 0 0 25 0 1 0 291813117 83165184 19660 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 20304 19660 310 324 0 19374 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 81216 [startup+162.301 s] /proc/loadavg: 1.03 1.08 1.03 2/78 21560 /proc/meminfo: memFree=1506208/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=99548 CPUtime=162.18 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 24415 0 0 0 16197 21 0 0 25 0 1 0 291813117 101937152 24246 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 24887 24246 310 324 0 23957 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 99548 [startup+222.302 s] /proc/loadavg: 1.01 1.06 1.02 2/78 21560 /proc/meminfo: memFree=1485984/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=120072 CPUtime=222.14 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 29548 0 0 0 22190 24 0 0 25 0 1 0 291813117 122953728 29379 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 30018 29379 310 324 0 29088 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 120072 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.02 2/78 21560 /proc/meminfo: memFree=1462880/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=143232 CPUtime=282.11 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 35356 0 0 0 28181 30 0 0 25 0 1 0 291813117 146669568 35187 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10846360 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 35808 35187 310 324 0 34878 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 143232 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.01 2/78 21560 /proc/meminfo: memFree=1449568/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156124 CPUtime=342.08 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38658 0 0 0 34175 33 0 0 25 0 1 0 291813117 159870976 38414 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39031 38414 310 324 0 38101 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 156124 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.01 2/78 21560 /proc/meminfo: memFree=1449568/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156124 CPUtime=402.03 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38658 0 0 0 40170 33 0 0 25 0 1 0 291813117 159870976 38414 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39031 38414 310 324 0 38101 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 156124 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21560 /proc/meminfo: memFree=1449568/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156124 CPUtime=461.97 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38658 0 0 0 46164 33 0 0 25 0 1 0 291813117 159870976 38414 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39031 38414 310 324 0 38101 0 Current children cumulated CPU time (s) 461.97 Current children cumulated vsize (KiB) 156124 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1449632/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156124 CPUtime=521.94 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38658 0 0 0 52161 33 0 0 25 0 1 0 291813117 159870976 38414 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39031 38414 310 324 0 38101 0 Current children cumulated CPU time (s) 521.94 Current children cumulated vsize (KiB) 156124 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1449568/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156152 CPUtime=581.9 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38665 0 0 0 58157 33 0 0 25 0 1 0 291813117 159899648 38421 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39038 38421 310 324 0 38108 0 Current children cumulated CPU time (s) 581.9 Current children cumulated vsize (KiB) 156152 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21560 /proc/meminfo: memFree=1449568/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156152 CPUtime=641.86 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38665 0 0 0 64153 33 0 0 25 0 1 0 291813117 159899648 38421 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10849832 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39038 38421 310 324 0 38108 0 Current children cumulated CPU time (s) 641.86 Current children cumulated vsize (KiB) 156152 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21560 /proc/meminfo: memFree=1449440/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156156 CPUtime=821.75 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38666 0 0 0 82141 34 0 0 25 0 1 0 291813117 159903744 38422 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39039 38422 310 324 0 38109 0 Current children cumulated CPU time (s) 821.75 Current children cumulated vsize (KiB) 156156 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21560 /proc/meminfo: memFree=1449440/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156184 CPUtime=881.72 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38673 0 0 0 88138 34 0 0 25 0 1 0 291813117 159932416 38429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39046 38429 310 324 0 38116 0 Current children cumulated CPU time (s) 881.72 Current children cumulated vsize (KiB) 156184 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21560 /proc/meminfo: memFree=1449440/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156184 CPUtime=941.67 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38673 0 0 0 94133 34 0 0 25 0 1 0 291813117 159932416 38429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39046 38429 310 324 0 38116 0 Current children cumulated CPU time (s) 941.67 Current children cumulated vsize (KiB) 156184 [startup+1002.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 21560 /proc/meminfo: memFree=1449440/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156184 CPUtime=1001.65 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38673 0 0 0 100131 34 0 0 25 0 1 0 291813117 159932416 38429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39046 38429 310 324 0 38116 0 Current children cumulated CPU time (s) 1001.65 Current children cumulated vsize (KiB) 156184 [startup+1062.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1449504/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156184 CPUtime=1061.6 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38673 0 0 0 106126 34 0 0 25 0 1 0 291813117 159932416 38429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10849832 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39046 38429 310 324 0 38116 0 Current children cumulated CPU time (s) 1061.6 Current children cumulated vsize (KiB) 156184 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 21560 /proc/meminfo: memFree=1449504/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=156184 CPUtime=1121.56 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 38673 0 0 0 112122 34 0 0 25 0 1 0 291813117 159932416 38429 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 39046 38429 310 324 0 38116 0 Current children cumulated CPU time (s) 1121.56 Current children cumulated vsize (KiB) 156184 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1437664/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=168048 CPUtime=1181.53 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 41715 0 0 0 118116 37 0 0 25 0 1 0 291813117 172081152 41381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 42012 41381 310 324 0 41082 0 Current children cumulated CPU time (s) 1181.53 Current children cumulated vsize (KiB) 168048 [startup+1242.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 21560 /proc/meminfo: memFree=1437536/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=168048 CPUtime=1241.5 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 41715 0 0 0 124113 37 0 0 25 0 1 0 291813117 172081152 41381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 42012 41381 310 324 0 41082 0 Current children cumulated CPU time (s) 1241.5 Current children cumulated vsize (KiB) 168048 [startup+1302.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 21560 /proc/meminfo: memFree=1437536/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=168048 CPUtime=1301.46 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 41715 0 0 0 130109 37 0 0 25 0 1 0 291813117 172081152 41381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 10850048 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 42012 41381 310 324 0 41082 0 Current children cumulated CPU time (s) 1301.46 Current children cumulated vsize (KiB) 168048 [startup+1362.3 s] /proc/loadavg: 1.05 1.04 1.00 2/78 21560 /proc/meminfo: memFree=1437536/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=168048 CPUtime=1361.43 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 41715 0 0 0 136106 37 0 0 25 0 1 0 291813117 172081152 41381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 42012 41381 310 324 0 41082 0 Current children cumulated CPU time (s) 1361.43 Current children cumulated vsize (KiB) 168048 [startup+1422.31 s] /proc/loadavg: 1.13 1.06 1.01 2/78 21560 /proc/meminfo: memFree=1437600/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=168048 CPUtime=1421.39 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 41715 0 0 0 142102 37 0 0 25 0 1 0 291813117 172081152 41381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 42012 41381 310 324 0 41082 0 Current children cumulated CPU time (s) 1421.39 Current children cumulated vsize (KiB) 168048 [startup+1482.3 s] /proc/loadavg: 1.05 1.05 1.00 2/78 21560 /proc/meminfo: memFree=1433632/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=172296 CPUtime=1481.35 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 42776 0 0 0 148097 38 0 0 25 0 1 0 291813117 176431104 42442 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 43074 42442 310 324 0 42144 0 Current children cumulated CPU time (s) 1481.35 Current children cumulated vsize (KiB) 172296 [startup+1542.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 21560 /proc/meminfo: memFree=1421984/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1541.3 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 154089 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1541.3 Current children cumulated vsize (KiB) 183608 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 21560 /proc/meminfo: memFree=1421920/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1601.26 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 160085 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1601.26 Current children cumulated vsize (KiB) 183608 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21560 /proc/meminfo: memFree=1421920/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1661.22 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 166081 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1661.22 Current children cumulated vsize (KiB) 183608 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1421984/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1721.19 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 172078 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1721.19 Current children cumulated vsize (KiB) 183608 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1421920/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1781.17 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 178076 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1781.17 Current children cumulated vsize (KiB) 183608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21560 /proc/meminfo: memFree=1421920/2055920 swapFree=4157020/4192956 [pid=21518] ppid=21516 vsize=183608 CPUtime=1800.05 /proc/21518/stat : 21518 (bsolo3.0.17) R 21516 21518 17046 0 -1 4194304 45709 0 0 0 179964 41 0 0 25 0 1 0 291813117 188014592 45276 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/21518/statm: 45902 45276 310 324 0 44972 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 183608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1801.24 CPU time (s): 1800.1 CPU user time (s): 1799.65 CPU system time (s): 0.447931 CPU usage (%): 99.9366 Max. virtual memory (cumulated for all children) (KiB): 184004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.447931 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45713 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= 44044 runsolver used 1.67274 second user time and 4.89026 second system time The end
Begin job on node7 on Thu May 3 02:02:35 UTC 2007 IDJOB= 453801 IDBENCH= 48154 IDSOLVER= 199 FILE ID= node7/453801-1178157755 PBS_JOBID= 4751088 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/mds/normalized-mds_100_25_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453801-1178157755/instance-453801-1178157755.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453801-1178157755 -o ROOT/results/node7/solver-453801-1178157755 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453801-1178157755/instance-453801-1178157755.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED= 241629995 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1604792 kB Buffers: 206504 kB Cached: 122572 kB SwapCached: 15820 kB Active: 209680 kB Inactive: 145236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1604792 kB SwapTotal: 4192956 kB SwapFree: 4157020 kB Dirty: 7324 kB Writeback: 0 kB Mapped: 34524 kB Slab: 81232 kB Committed_AS: 14541240 kB PageTables: 2160 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 node7 on Thu May 3 02:32:38 UTC 2007