Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 6 | 1800.04 | 1800.78 |
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.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453795-1178157171/instance-453795-1178157171.opb 0.00/0.00 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.02 c Var: 3190 Constr: 6280 3190/0/3090 Lit: 21730 Watch. Lit: 15650 0.00/0.02 c Obj. Vars: 100 (3.1348 % of total variables) 0.09/0.19 c Pre-processing Time: 0.19 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 3190 6280 21730 3 15650 19603 0 0 0.19 0.09/0.19 c Switching off LPR mode. 0.09/0.19 o 99 0.193 0.09/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.20 c 0 3190 6281 21830 3 15653 19669 1 0 0.19 0.09/0.20 o 98 0.196 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3190 6282 21930 3 15657 19769 2 0 0.20 0.19/0.20 o 97 0.199 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3190 6283 22030 3 15662 19903 3 0 0.20 0.19/0.20 o 96 0.202 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.20 0.19/0.20 o 95 0.205 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3190 6285 22230 3 15675 20269 5 0 0.21 0.19/0.21 o 94 0.208 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3190 6286 22330 3 15683 20503 6 0 0.21 0.19/0.21 o 93 0.21 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.21 0.19/0.21 o 91 0.214 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1 3190 6289 22623 3 15705 20836 9 4 0.21 0.19/0.22 o 7 0.217 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 1 3190 6290 22723 3 15800 21503 10 4 0.22 0.19/0.22 o 6 0.224 1799.95/1800.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.74 c 17 3190 6307 24569 3 15928 21503 27 75 0.23 1799.95/1800.74 c 118 3190 6408 34768 5 16130 23654 128 464 0.25 1799.95/1800.74 c 371 3190 6661 53321 8 16636 26020 381 1094 0.34 1799.95/1800.74 c 847 3190 7137 84004 11 17588 28623 857 1798 0.47 1799.95/1800.74 c 1662 3190 7952 151582 19 19218 31486 1672 2267 0.73 1799.95/1800.74 c 2984 3190 9274 275578 29 21862 34635 2994 2433 1.23 1799.95/1800.74 c 5066 3190 11356 519104 45 26026 38099 5076 2073 2.44 1799.95/1800.74 c 8289 3190 14579 824016 56 32472 41909 8299 1884 4.40 1799.95/1800.74 c 13229 3190 19519 1386352 71 42352 46100 13239 1500 8.82 1799.95/1800.74 c 20738 3190 27028 2083191 77 57370 50711 20748 1156 17.94 1799.95/1800.74 c 32101 3190 38391 3182670 82 80096 55783 32111 854 37.55 1799.95/1800.74 c 49246 3190 55536 4935195 88 114386 61362 49256 577 85.29 1799.95/1800.74 c 75065 3190 30668 5392272 175 64520 67499 24388 446 168.21 1799.95/1800.74 c 113899 3190 69502 9952310 143 142188 74249 63222 406 280.22 1799.95/1800.74 c 172251 3190 63659 5736317 90 130502 81674 57379 375 458.48 1799.95/1800.74 c 259888 3190 80326 6758827 84 163836 89842 74046 327 794.52 1799.95/1800.74 c 391440 3190 53762 5591296 104 110708 98827 47482 296 1321.00 1799.95/1800.74 c Resources Exceeded 1799.95/1800.74 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 1799.95/1800.74 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 1799.95/1800.74 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 1799.95/1800.74 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.95/1800.74 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.74 c 26 504588 144231 823657 78890 11492672 72610 280 1800.00 1799.95/1800.74 c Objective: 6 1799.95/1800.74 s SATISFIABLE 1799.95/1800.74 c Total time: 1800 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-453795-1178157171 -o ROOT/results/node19/solver-453795-1178157171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453795-1178157171/instance-453795-1178157171.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 15776 /proc/meminfo: memFree=1788160/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=3964 CPUtime=0 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 263634519 4059136 348 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 991 349 291 324 0 50 0 [startup+0.0867019 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15776 /proc/meminfo: memFree=1788160/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=5592 CPUtime=0.08 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 786 0 0 0 8 0 0 0 18 0 1 0 263634519 5726208 746 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 1398 746 305 324 0 467 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5592 [startup+0.101701 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15776 /proc/meminfo: memFree=1788160/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=5592 CPUtime=0.09 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 786 0 0 0 9 0 0 0 18 0 1 0 263634519 5726208 746 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 1398 746 305 324 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5592 [startup+0.301719 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15776 /proc/meminfo: memFree=1788160/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=5992 CPUtime=0.29 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 969 0 0 0 29 0 0 0 19 0 1 0 263634519 6135808 862 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 1498 862 312 324 0 567 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5992 [startup+0.701762 s] /proc/loadavg: 0.92 0.98 0.99 3/77 15776 /proc/meminfo: memFree=1788160/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=7300 CPUtime=0.69 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 1316 0 0 0 69 0 0 0 23 0 1 0 263634519 7475200 1209 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 1825 1209 312 324 0 894 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7300 [startup+1.50185 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1783288/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=9908 CPUtime=1.49 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 1972 0 0 0 148 1 0 0 25 0 1 0 263634519 10145792 1865 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 2477 1865 312 324 0 1546 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9908 [startup+3.10203 s] /proc/loadavg: 0.92 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1779896/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=14060 CPUtime=3.09 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 2981 0 0 0 306 3 0 0 25 0 1 0 263634519 14397440 2874 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 3515 2874 312 324 0 2584 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14060 [startup+6.30137 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1772808/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=20448 CPUtime=6.29 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 4604 0 0 0 624 5 0 0 25 0 1 0 263634519 20938752 4497 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 5112 4497 312 324 0 4181 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20448 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1762952/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=29288 CPUtime=12.69 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 6802 0 0 0 1261 8 0 0 25 0 1 0 263634519 29990912 6695 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 7322 6695 312 324 0 6391 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29288 [startup+25.5025 s] /proc/loadavg: 0.95 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1750920/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=40992 CPUtime=25.48 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 9732 0 0 0 2535 13 0 0 25 0 1 0 263634519 41975808 9625 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 10248 9625 312 324 0 9317 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40992 [startup+51.1022 s] /proc/loadavg: 0.96 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1733192/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=58720 CPUtime=51.08 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 14169 0 0 0 5087 21 0 0 25 0 1 0 263634519 60129280 14062 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7917260 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 14680 14062 312 324 0 13749 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58720 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1711752/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=79912 CPUtime=102.27 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 19459 0 0 0 10197 30 0 0 25 0 1 0 263634519 81829888 19352 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 19978 19352 312 324 0 19047 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 79912 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1691912/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=99548 CPUtime=162.25 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 24417 0 0 0 16187 38 0 0 25 0 1 0 263634519 101937152 24248 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 24887 24248 312 324 0 23956 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 99548 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1675656/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=116112 CPUtime=222.23 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 28582 0 0 0 22177 46 0 0 25 0 1 0 263634519 118898688 28413 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 29028 28413 312 324 0 28097 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 116112 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1651848/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=139968 CPUtime=282.21 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 34525 0 0 0 28167 54 0 0 25 0 1 0 263634519 143327232 34356 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 34992 34356 312 324 0 34061 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 139968 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1635080/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156124 CPUtime=342.2 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38660 0 0 0 34158 62 0 0 25 0 1 0 263634519 159870976 38416 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39031 38416 312 324 0 38100 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 156124 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1635080/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156124 CPUtime=402.18 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38660 0 0 0 40152 66 0 0 25 0 1 0 263634519 159870976 38416 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39031 38416 312 324 0 38100 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 156124 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 15777 /proc/meminfo: memFree=1635080/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156124 CPUtime=462.17 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38660 0 0 0 46146 71 0 0 25 0 1 0 263634519 159870976 38416 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39031 38416 312 324 0 38100 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 156124 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 15941 /proc/meminfo: memFree=1633864/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156124 CPUtime=522.08 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38660 0 0 0 52133 75 0 0 25 0 1 0 263634519 159870976 38416 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39031 38416 312 324 0 38100 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 156124 [startup+582.302 s] /proc/loadavg: 1.50 1.11 1.04 2/84 17018 /proc/meminfo: memFree=1560304/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156152 CPUtime=581.88 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38667 0 0 0 58103 85 0 0 25 0 1 0 263634519 159899648 38423 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39038 38423 312 324 0 38107 0 Current children cumulated CPU time (s) 581.88 Current children cumulated vsize (KiB) 156152 [startup+642.301 s] /proc/loadavg: 1.39 1.16 1.06 2/78 18043 /proc/meminfo: memFree=1437512/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156152 CPUtime=641.85 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38667 0 0 0 64085 100 0 0 25 0 1 0 263634519 159899648 38423 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39038 38423 312 324 0 38107 0 Current children cumulated CPU time (s) 641.85 Current children cumulated vsize (KiB) 156152 ################ # More data... # ################ /proc/meminfo: memFree=1437896/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156184 CPUtime=1061.73 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38675 0 0 0 106047 126 0 0 25 0 1 0 263634519 159932416 38431 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39046 38431 312 324 0 38115 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 156184 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.01 2/78 18043 /proc/meminfo: memFree=1437896/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=156184 CPUtime=1121.72 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 38675 0 0 0 112043 129 0 0 25 0 1 0 263634519 159932416 38431 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39046 38431 312 324 0 38115 0 Current children cumulated CPU time (s) 1121.72 Current children cumulated vsize (KiB) 156184 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 18043 /proc/meminfo: memFree=1435272/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=159124 CPUtime=1181.71 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 39396 0 0 0 118038 133 0 0 25 0 1 0 263634519 162942976 39152 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 39781 39152 312 324 0 38850 0 Current children cumulated CPU time (s) 1181.71 Current children cumulated vsize (KiB) 159124 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 18043 /proc/meminfo: memFree=1425928/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=168048 CPUtime=1241.69 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 41717 0 0 0 124032 137 0 0 25 0 1 0 263634519 172081152 41383 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 42012 41383 312 324 0 41081 0 Current children cumulated CPU time (s) 1241.69 Current children cumulated vsize (KiB) 168048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1425928/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=168048 CPUtime=1301.68 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 41717 0 0 0 130028 140 0 0 25 0 1 0 263634519 172081152 41383 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 42012 41383 312 324 0 41081 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 168048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1425992/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=168048 CPUtime=1361.66 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 41717 0 0 0 136022 144 0 0 25 0 1 0 263634519 172081152 41383 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 42012 41383 312 324 0 41081 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 168048 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1425992/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=168048 CPUtime=1421.65 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 41717 0 0 0 142017 148 0 0 25 0 1 0 263634519 172081152 41383 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 42012 41383 312 324 0 41081 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 168048 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1425992/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=168048 CPUtime=1481.63 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 41717 0 0 0 148012 151 0 0 25 0 1 0 263634519 172081152 41383 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 42012 41383 312 324 0 41081 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 168048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1418120/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=176088 CPUtime=1541.61 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 43713 0 0 0 154005 156 0 0 25 0 1 0 263634519 180314112 43379 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 44022 43379 312 324 0 43091 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 176088 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1601.6 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 159998 162 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 183608 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1661.58 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 165990 168 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 183608 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1721.57 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 171986 171 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 183608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1781.55 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 177982 173 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7914820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 183608 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1791.15 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 178941 174 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1791.15 Current children cumulated vsize (KiB) 183608 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1794.35 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 179260 175 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1794.35 Current children cumulated vsize (KiB) 183608 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1797.55 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 179580 175 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134571987 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 183608 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1799.15 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 179740 175 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1799.15 Current children cumulated vsize (KiB) 183608 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1799.55 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 179780 175 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (KiB) 183608 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18043 /proc/meminfo: memFree=1410312/2055920 swapFree=4153644/4192956 [pid=15776] ppid=15774 vsize=183608 CPUtime=1799.95 /proc/15776/stat : 15776 (bsolo3.0.16) R 15774 15776 13392 0 -1 4194304 45711 0 0 0 179820 175 0 0 25 0 1 0 263634519 188014592 45278 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15776/statm: 45902 45278 312 324 0 44971 0 Current children cumulated CPU time (s) 1799.95 Current children cumulated vsize (KiB) 183608 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.04 CPU user time (s): 1798.25 CPU system time (s): 1.78573 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 184004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.25 system time used= 1.78573 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45712 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= 16643 runsolver used 1.37579 second user time and 4.17136 second system time The end
Begin job on node19 on Thu May 3 01:52:51 UTC 2007 IDJOB= 453795 IDBENCH= 48154 IDSOLVER= 163 FILE ID= node19/453795-1178157171 PBS_JOBID= 4751077 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453795-1178157171/instance-453795-1178157171.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-453795-1178157171 -o ROOT/results/node19/solver-453795-1178157171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453795-1178157171/instance-453795-1178157171.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED= 307725422 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1788632 kB Buffers: 96904 kB Cached: 82392 kB SwapCached: 8384 kB Active: 114116 kB Inactive: 97676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788632 kB SwapTotal: 4192956 kB SwapFree: 4153644 kB Dirty: 6716 kB Writeback: 0 kB Mapped: 30784 kB Slab: 41076 kB Committed_AS: 8869872 kB PageTables: 1788 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 node19 on Thu May 3 02:22:52 UTC 2007