Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 12 | 1800.09 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_5.opb |
MD5SUM | e6ef25c6f832d5fe55af9368c1298b73 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
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 | 11 |
Maximum length of a constraint | 19 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 1252 |
Sum of products size | 2504 |
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/453441-1178137354/instance-453441-1178137354.opb 0.00/0.00 c File size is 17091 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 1352 Constr: 2604 1352/0/1252 Lit: 8864 Watch. Lit: 6460 0.00/0.01 c Obj. Vars: 100 (7.39645 % of total variables) 0.00/0.04 c Pre-processing Time: 0.042 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1352 2604 8864 3 6460 7962 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o 99 0.043 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1352 2605 8964 3 6463 8029 1 0 0.04 0.00/0.05 o 98 0.044 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1352 2606 9064 3 6467 8129 2 0 0.04 0.00/0.05 o 97 0.045 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1352 2607 9164 3 6472 8262 3 0 0.05 0.00/0.05 o 96 0.046 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1352 2608 9264 3 6478 8429 4 0 0.05 0.00/0.05 o 95 0.047 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 1 1352 2610 9460 3 6487 8462 6 20 0.05 0.00/0.05 o 15 0.049 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 1 1352 2611 9560 3 6574 9262 7 20 0.05 0.00/0.06 o 14 0.055 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 43 1352 2654 12755 4 6746 9262 50 767 0.06 1.79/1.89 c 143 1352 2754 17122 6 6946 10189 150 2134 0.07 1.79/1.89 c 393 1352 3004 27068 9 7446 11208 400 4180 0.09 1.79/1.89 c 871 1352 3482 51911 14 8402 12329 878 5443 0.16 1.79/1.89 c 1684 1352 4295 93646 21 10028 13562 1691 5312 0.32 1.79/1.89 c 3005 1352 5616 155746 27 12670 14919 3012 5309 0.57 1.79/1.89 c 5088 1352 7699 245702 31 16836 16411 5095 5518 0.92 1.79/1.89 c 8311 1352 10922 393112 35 23282 18053 8318 4714 1.76 1.79/1.89 o 13 1.886 180.64/180.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.64/180.75 c 8745 1352 11357 415900 36 24239 9262 8753 4634 1.89 180.64/180.75 c 8845 1352 11457 421145 36 24439 10189 8853 4626 1.91 180.64/180.75 c 9096 1352 11708 432397 36 24941 11208 9104 4612 1.97 180.64/180.75 c 9571 1352 12183 453680 37 25891 12329 9579 4575 2.09 180.64/180.75 c 10384 1352 12996 493365 37 27517 13562 10392 4530 2.29 180.64/180.75 c 11705 1352 14317 547762 38 30159 14919 11713 4222 2.77 180.64/180.75 c 13787 1352 16399 652124 39 34323 16411 13795 3675 3.75 180.64/180.75 c 17011 1352 10811 408559 37 22961 18053 8207 3289 5.17 180.64/180.75 c 21947 1352 15747 608795 38 32833 19859 13143 3228 6.80 180.64/180.75 c 29453 1352 12535 475687 37 26409 21845 9931 2931 10.05 180.64/180.75 c 40814 1352 23896 1004398 42 49131 24030 21292 2492 16.37 180.64/180.75 c 57958 1352 13868 601719 43 29075 26434 11264 1998 29.01 180.64/180.75 c 83778 1352 23793 1245466 52 48925 29078 21189 1617 51.81 180.64/180.75 c 122611 1352 25515 1231152 48 52369 31986 22911 1316 93.15 180.64/180.75 c 180963 1352 19576 846051 43 40491 35185 16972 1186 152.58 180.64/180.75 o 12 180.701 1800.05/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.50 c 209866 1352 24707 1357673 54 50841 8962 22103 1161 180.70 1800.05/1800.50 c 209967 1352 7187 222320 30 15714 9859 4583 1156 181.49 1800.05/1800.50 c 210218 1352 7438 231476 31 16216 10845 4834 1157 181.54 1800.05/1800.50 c 210693 1352 7913 253880 32 17166 11930 5309 1159 181.64 1800.05/1800.50 c 211506 1352 8726 283737 32 18792 13124 6122 1163 181.81 1800.05/1800.50 c 212827 1352 10047 340614 33 21434 14437 7443 1168 182.11 1800.05/1800.50 c 214910 1352 12130 436945 36 25600 15881 9526 1176 182.72 1800.05/1800.50 c 218133 1352 15353 577553 37 32046 17470 12749 1187 183.67 1800.05/1800.50 c 223070 1352 11340 452314 39 24020 19218 8736 1197 186.32 1800.05/1800.50 c 230578 1352 18848 902003 47 39036 21140 16244 1214 189.93 1800.05/1800.50 c 241940 1352 18836 901214 47 39012 23255 16232 1230 196.57 1800.05/1800.50 c 259084 1352 23525 1197725 50 48390 25581 20921 1230 210.56 1800.05/1800.50 c 284903 1352 18741 938480 50 38822 28140 16137 1247 228.30 1800.05/1800.50 c 323736 1352 23342 1093665 46 48024 30955 20738 1234 262.14 1800.05/1800.50 c 382088 1352 21368 1047634 49 44076 34051 18764 1177 324.62 1800.05/1800.50 c 469720 1352 17501 774368 44 36342 37457 14897 1132 414.59 1800.05/1800.50 c 601274 1352 18007 694092 38 37354 41203 15403 995 604.15 1800.05/1800.50 c 798706 1352 38072 1555853 40 77484 45324 35468 930 858.78 1800.05/1800.50 c 1094959 1352 28859 1207598 41 59058 49857 26255 833 1313.78 1800.05/1800.50 c Caught signal: 15 1800.05/1800.50 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/1800.50 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 -x56 1800.05/1800.50 v -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.05/1800.50 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.05/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.50 c 48 1426387 454710 2295427 27332 1180505 24728 792 1800.05 1800.05/1800.50 c Objective: 12 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 c Total time: 1800.05 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-453441-1178137354 -o ROOT/results/node14/solver-453441-1178137354 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.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.78 0.95 0.98 3/77 22595 /proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=3780 CPUtime=0 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 261653179 3870720 191 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7388323 0 0 4096 0 0 0 0 17 1 0 0 /proc/22595/statm: 945 196 169 324 0 15 0 [startup+0.100431 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22595 /proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=4884 CPUtime=0.09 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 261653179 5001216 605 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 1221 605 310 324 0 291 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4884 [startup+0.20144 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22595 /proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=5400 CPUtime=0.18 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 772 0 0 0 18 0 0 0 18 0 1 0 261653179 5529600 737 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 1350 737 310 324 0 420 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 5400 [startup+0.30145 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22595 /proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=5788 CPUtime=0.28 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 864 0 0 0 28 0 0 0 19 0 1 0 261653179 5926912 829 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 1447 829 310 324 0 517 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 5788 [startup+0.701486 s] /proc/loadavg: 0.78 0.95 0.98 3/77 22595 /proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=7368 CPUtime=0.68 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 1260 0 0 0 68 0 0 0 23 0 1 0 261653179 7544832 1225 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 1842 1225 310 324 0 912 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7368 [startup+1.50156 s] /proc/loadavg: 0.78 0.95 0.98 2/78 22596 /proc/meminfo: memFree=1779248/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=9856 CPUtime=1.49 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 1881 0 0 0 148 1 0 0 25 0 1 0 261653179 10092544 1846 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 2464 1846 310 324 0 1534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9856 [startup+3.10272 s] /proc/loadavg: 0.78 0.95 0.98 2/78 22596 /proc/meminfo: memFree=1776176/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=13372 CPUtime=3.09 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 2757 0 0 0 308 1 0 0 25 0 1 0 261653179 13692928 2722 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 3343 2722 310 324 0 2413 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13372 [startup+6.30202 s] /proc/loadavg: 0.80 0.95 0.98 2/78 22596 /proc/meminfo: memFree=1770672/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=17004 CPUtime=6.28 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 3662 0 0 0 627 1 0 0 25 0 1 0 261653179 17412096 3627 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 4251 3627 310 324 0 3321 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17004 [startup+12.7016 s] /proc/loadavg: 0.81 0.95 0.98 2/78 22596 /proc/meminfo: memFree=1768304/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=19340 CPUtime=12.69 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 4257 0 0 0 1266 3 0 0 25 0 1 0 261653179 19804160 4222 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 4835 4222 310 324 0 3905 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19340 [startup+25.5018 s] /proc/loadavg: 0.85 0.96 0.98 2/78 22596 /proc/meminfo: memFree=1764848/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=22864 CPUtime=25.48 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 5138 0 0 0 2545 3 0 0 25 0 1 0 261653179 23412736 5103 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 5716 5103 310 324 0 4786 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22864 [startup+51.1013 s] /proc/loadavg: 0.90 0.96 0.98 2/78 22596 /proc/meminfo: memFree=1761392/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=26360 CPUtime=51.07 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 6011 0 0 0 5103 4 0 0 25 0 1 0 261653179 26992640 5976 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 6590 5976 310 324 0 5660 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26360 [startup+102.301 s] /proc/loadavg: 0.96 0.96 0.98 2/78 22596 /proc/meminfo: memFree=1756080/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=31628 CPUtime=102.27 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 7351 0 0 0 10221 6 0 0 25 0 1 0 261653179 32387072 7283 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 7907 7283 310 324 0 6977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31628 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 22596 /proc/meminfo: memFree=1756016/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=31628 CPUtime=162.24 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 7417 0 0 0 16218 6 0 0 25 0 1 0 261653179 32387072 7283 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 7907 7283 310 324 0 6977 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31628 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22596 /proc/meminfo: memFree=1753392/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34288 CPUtime=222.24 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 22216 8 0 0 25 0 1 0 261653179 35110912 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8572 7962 310 324 0 7642 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 34288 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 22596 /proc/meminfo: memFree=1753392/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34284 CPUtime=282.21 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 28213 8 0 0 25 0 1 0 261653179 35106816 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8571 7962 310 324 0 7641 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34284 [startup+342.302 s] /proc/loadavg: 1.04 0.99 0.99 2/78 22596 /proc/meminfo: memFree=1753328/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34284 CPUtime=342.2 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 34212 8 0 0 25 0 1 0 261653179 35106816 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8571 7962 310 324 0 7641 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 34284 [startup+402.301 s] /proc/loadavg: 1.05 1.00 0.99 2/78 22596 /proc/meminfo: memFree=1753072/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34416 CPUtime=402.19 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8230 0 0 0 40210 9 0 0 25 0 1 0 261653179 35241984 7990 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8604 7990 310 324 0 7674 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34416 [startup+462.301 s] /proc/loadavg: 1.09 1.03 1.00 2/78 22596 /proc/meminfo: memFree=1753072/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34428 CPUtime=462.17 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8305 0 0 0 46207 10 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8607 7992 310 324 0 7677 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 34428 [startup+522.302 s] /proc/loadavg: 1.06 1.03 1.00 2/78 22596 /proc/meminfo: memFree=1753008/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34428 CPUtime=522.15 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8381 0 0 0 52205 10 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8607 7992 310 324 0 7677 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34428 [startup+582.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 22596 /proc/meminfo: memFree=1753008/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=34428 CPUtime=582.14 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8419 0 0 0 58203 11 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 8607 7992 310 324 0 7677 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 34428 [startup+642.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 22596 /proc/meminfo: memFree=1748720/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38736 CPUtime=642.12 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9552 0 0 0 64199 13 0 0 25 0 1 0 261653179 39665664 9045 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9684 9045 310 324 0 8754 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38736 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22596 /proc/meminfo: memFree=1748784/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38732 CPUtime=822.08 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9719 0 0 0 82193 15 0 0 25 0 1 0 261653179 39661568 9045 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9683 9045 310 324 0 8753 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 38732 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22596 /proc/meminfo: memFree=1748720/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38736 CPUtime=882.07 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9811 0 0 0 88192 15 0 0 25 0 1 0 261653179 39665664 9049 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9684 9049 310 324 0 8754 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 38736 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22596 /proc/meminfo: memFree=1748784/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38732 CPUtime=942.05 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9857 0 0 0 94189 16 0 0 25 0 1 0 261653179 39661568 9049 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7368428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9683 9049 310 324 0 8753 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 38732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22596 /proc/meminfo: memFree=1748464/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38996 CPUtime=1002.04 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9976 0 0 0 100187 17 0 0 25 0 1 0 261653179 39931904 9122 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9749 9122 310 324 0 8819 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 38996 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22596 /proc/meminfo: memFree=1748400/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38996 CPUtime=1062.02 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10068 0 0 0 106185 17 0 0 25 0 1 0 261653179 39931904 9122 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9749 9122 310 324 0 8819 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 38996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1748336/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38996 CPUtime=1122 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10127 0 0 0 112183 17 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7359996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9749 9135 310 324 0 8819 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 38996 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1748272/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38996 CPUtime=1181.99 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10173 0 0 0 118181 18 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134574213 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9749 9135 310 324 0 8819 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 38996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1748272/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=38996 CPUtime=1241.98 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10219 0 0 0 124179 19 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7360250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 9749 9135 310 324 0 8819 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 38996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1746160/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41084 CPUtime=1301.96 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10782 0 0 0 130177 19 0 0 25 0 1 0 261653179 42070016 9652 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10271 9652 310 324 0 9341 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 41084 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1746096/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1361.95 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10837 0 0 0 136175 20 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 41104 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1421.94 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10887 0 0 0 142174 20 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 41104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1481.92 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10937 0 0 0 148171 21 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 41104 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1541.91 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10987 0 0 0 154170 21 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 41104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1745968/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1601.89 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11037 0 0 0 160167 22 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 41104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1745968/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=41104 CPUtime=1661.87 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11087 0 0 0 166165 22 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10276 9657 310 324 0 9346 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 41104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1744880/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=42140 CPUtime=1721.86 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11401 0 0 0 172163 23 0 0 25 0 1 0 261653179 43151360 9921 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10535 9921 310 324 0 9605 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 42140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1744176/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=42788 CPUtime=1781.84 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11609 0 0 0 178161 23 0 0 25 0 1 0 261653179 43814912 10079 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10697 10079 310 324 0 9767 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 42788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22598 /proc/meminfo: memFree=1743152/2055920 swapFree=4148808/4192956 [pid=22595] ppid=22593 vsize=43836 CPUtime=1800.05 /proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11920 0 0 0 179981 24 0 0 25 0 1 0 261653179 44888064 10340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22595/statm: 10959 10340 310 324 0 10029 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 43836 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): 1800.54 CPU time (s): 1800.09 CPU user time (s): 1799.84 CPU system time (s): 0.249962 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 43836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11924 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= 37545 runsolver used 1.48477 second user time and 3.71244 second system time The end
Begin job on node14 on Wed May 2 20:22:34 UTC 2007 IDJOB= 453441 IDBENCH= 48130 IDSOLVER= 199 FILE ID= node14/453441-1178137354 PBS_JOBID= 4751059 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_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-453441-1178137354 -o ROOT/results/node14/solver-453441-1178137354 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73 RANDOM SEED= 178403442 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1784848 kB Buffers: 108692 kB Cached: 79056 kB SwapCached: 11220 kB Active: 91532 kB Inactive: 120404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784848 kB SwapTotal: 4192956 kB SwapFree: 4148808 kB Dirty: 6780 kB Writeback: 0 kB Mapped: 29808 kB Slab: 44668 kB Committed_AS: 9220680 kB PageTables: 1784 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 node14 on Wed May 2 20:52:37 UTC 2007