Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 12 | 1800.13 | 1800.64 |
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.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/453435-1178137156/instance-453435-1178137156.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.008 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.043 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.044 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1352 2605 8964 3 6463 8029 1 0 0.04 0.00/0.04 o 98 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 2606 9064 3 6467 8129 2 0 0.05 0.00/0.05 o 97 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 2607 9164 3 6472 8262 3 0 0.05 0.00/0.05 o 96 0.048 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.049 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.05 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 19 0.05 0.00/0.06 o 14 0.057 1.79/1.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.88 c 43 1352 2654 12755 4 6746 9262 50 754 0.06 1.79/1.88 c 143 1352 2754 17122 6 6946 10189 150 2072 0.07 1.79/1.88 c 393 1352 3004 27068 9 7446 11208 400 4136 0.10 1.79/1.88 c 871 1352 3482 51911 14 8402 12329 878 5409 0.16 1.79/1.88 c 1684 1352 4295 93646 21 10028 13562 1691 5312 0.32 1.79/1.88 c 3005 1352 5616 155746 27 12670 14919 3012 5328 0.56 1.79/1.88 c 5088 1352 7699 245702 31 16836 16411 5095 5548 0.92 1.79/1.88 c 8311 1352 10922 393112 35 23282 18053 8318 4735 1.75 1.79/1.88 o 13 1.877 181.14/181.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.14/181.23 c 8745 1352 11357 415900 36 24239 9262 8753 4656 1.88 181.14/181.23 c 8845 1352 11457 421145 36 24439 10189 8853 4645 1.90 181.14/181.23 c 9096 1352 11708 432397 36 24941 11208 9104 4633 1.96 181.14/181.23 c 9571 1352 12183 453680 37 25891 12329 9579 4597 2.08 181.14/181.23 c 10384 1352 12996 493365 37 27517 13562 10392 4552 2.28 181.14/181.23 c 11705 1352 14317 547762 38 30159 14919 11713 4240 2.76 181.14/181.23 c 13787 1352 16399 652124 39 34323 16411 13795 3684 3.74 181.14/181.23 c 17011 1352 10811 408559 37 22961 18053 8207 3294 5.16 181.14/181.23 c 21947 1352 15747 608795 38 32833 19859 13143 3226 6.80 181.14/181.23 c 29453 1352 12535 475687 37 26409 21845 9931 2919 10.09 181.14/181.23 c 40814 1352 23896 1004398 42 49131 24030 21292 2485 16.42 181.14/181.23 c 57958 1352 13868 601719 43 29075 26434 11264 1995 29.05 181.14/181.23 c 83778 1352 23793 1245466 52 48925 29078 21189 1612 51.96 181.14/181.23 c 122611 1352 25515 1231152 48 52369 31986 22911 1312 93.45 181.14/181.23 c 180963 1352 19576 846051 43 40491 35185 16972 1182 153.02 181.14/181.23 o 12 181.178 1800.09/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.60 c 209866 1352 24707 1357673 54 50841 8962 22103 1158 181.18 1800.09/1800.60 c 209967 1352 7187 222320 30 15714 9859 4583 1153 181.97 1800.09/1800.60 c 210218 1352 7438 231476 31 16216 10845 4834 1154 182.01 1800.09/1800.60 c 210693 1352 7913 253880 32 17166 11930 5309 1156 182.11 1800.09/1800.60 c 211506 1352 8726 283737 32 18792 13124 6122 1160 182.28 1800.09/1800.60 c 212827 1352 10047 340614 33 21434 14437 7443 1165 182.57 1800.09/1800.60 c 214910 1352 12130 436945 36 25600 15881 9526 1173 183.18 1800.09/1800.60 c 218133 1352 15353 577553 37 32046 17470 12749 1184 184.13 1800.09/1800.60 c 223070 1352 11340 452314 39 24020 19218 8736 1194 186.78 1800.09/1800.60 c 230578 1352 18848 902003 47 39036 21140 16244 1210 190.44 1800.09/1800.60 c 241940 1352 18836 901214 47 39012 23255 16232 1227 197.09 1800.09/1800.60 c 259084 1352 23525 1197725 50 48390 25581 20921 1227 211.06 1800.09/1800.61 c 284903 1352 18741 938480 50 38822 28140 16137 1245 228.79 1800.09/1800.61 c 323736 1352 23342 1093665 46 48024 30955 20738 1232 262.69 1800.09/1800.61 c 382088 1352 21368 1047634 49 44076 34051 18764 1174 325.25 1800.09/1800.61 c 469720 1352 17501 774368 44 36342 37457 14897 1130 415.45 1800.09/1800.61 c 601274 1352 18007 694092 38 37354 41203 15403 993 605.25 1800.09/1800.61 c 798706 1352 38072 1555853 40 77484 45324 35468 928 859.97 1800.09/1800.61 c 1094959 1352 28859 1207598 41 59058 49857 26255 832 1315.28 1800.09/1800.61 c Caught signal: 15 1800.09/1800.61 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.09/1800.61 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.09/1800.61 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.09/1800.61 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 48 1426387 454710 2295427 31135 1363923 28531 792 1800.10 1800.09/1800.61 c Objective: 12 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 c Total time: 1800.1 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-453435-1178137156 -o ROOT/results/node2/solver-453435-1178137156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453435-1178137156/instance-453435-1178137156.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.71 0.92 0.97 3/77 3187 /proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=3944 CPUtime=0 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 289753415 4038656 347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 986 348 291 324 0 50 0 [startup+0.063389 s] /proc/loadavg: 0.71 0.92 0.97 3/77 3187 /proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=4748 CPUtime=0.05 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 601 0 0 0 5 0 0 0 18 0 1 0 289753415 4861952 566 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 1187 566 312 324 0 256 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4748 [startup+0.101392 s] /proc/loadavg: 0.71 0.92 0.97 3/77 3187 /proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=4884 CPUtime=0.09 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 645 0 0 0 9 0 0 0 18 0 1 0 289753415 5001216 610 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 1221 610 312 324 0 290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4884 [startup+0.301414 s] /proc/loadavg: 0.71 0.92 0.97 3/77 3187 /proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=5788 CPUtime=0.29 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 869 0 0 0 28 1 0 0 19 0 1 0 289753415 5926912 834 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 1447 834 312 324 0 516 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5788 [startup+0.701455 s] /proc/loadavg: 0.71 0.92 0.97 3/77 3187 /proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=7368 CPUtime=0.69 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 1268 0 0 0 68 1 0 0 23 0 1 0 289753415 7544832 1233 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 1842 1233 312 324 0 911 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7368 [startup+1.50154 s] /proc/loadavg: 0.71 0.92 0.97 2/78 3188 /proc/meminfo: memFree=1461016/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=9856 CPUtime=1.49 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 1888 0 0 0 147 2 0 0 25 0 1 0 289753415 10092544 1853 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 2464 1853 312 324 0 1533 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9856 [startup+3.10171 s] /proc/loadavg: 0.71 0.92 0.97 2/78 3188 /proc/meminfo: memFree=1457816/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=13372 CPUtime=3.09 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 2764 0 0 0 305 4 0 0 25 0 1 0 289753415 13692928 2729 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 3343 2729 312 324 0 2412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13372 [startup+6.30104 s] /proc/loadavg: 0.73 0.92 0.97 2/78 3188 /proc/meminfo: memFree=1452248/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=17004 CPUtime=6.29 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 3664 0 0 0 623 6 0 0 25 0 1 0 289753415 17412096 3629 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 4251 3629 312 324 0 3320 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17004 [startup+12.7017 s] /proc/loadavg: 0.76 0.92 0.97 2/78 3188 /proc/meminfo: memFree=1449968/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=19340 CPUtime=12.69 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 4259 0 0 0 1261 8 0 0 25 0 1 0 289753415 19804160 4224 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 4835 4224 312 324 0 3904 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19340 [startup+25.501 s] /proc/loadavg: 0.81 0.92 0.97 2/78 3188 /proc/meminfo: memFree=1446512/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=22864 CPUtime=25.49 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 5140 0 0 0 2537 12 0 0 25 0 1 0 289753415 23412736 5105 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 5716 5105 312 324 0 4785 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22864 [startup+51.1017 s] /proc/loadavg: 0.87 0.93 0.97 2/78 3188 /proc/meminfo: memFree=1442992/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=26360 CPUtime=51.07 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 6013 0 0 0 5090 17 0 0 25 0 1 0 289753415 26992640 5978 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 6590 5978 312 324 0 5659 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26360 [startup+102.306 s] /proc/loadavg: 0.94 0.94 0.97 2/78 3188 /proc/meminfo: memFree=1437616/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=31628 CPUtime=102.26 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 7353 0 0 0 10200 26 0 0 25 0 1 0 289753415 32387072 7285 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 7907 7285 312 324 0 6976 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31628 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/78 3188 /proc/meminfo: memFree=1437552/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=31628 CPUtime=162.24 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 7419 0 0 0 16188 36 0 0 25 0 1 0 289753415 32387072 7285 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 7907 7285 312 324 0 6976 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31628 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.97 2/78 3188 /proc/meminfo: memFree=1434864/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34288 CPUtime=222.22 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 22174 48 0 0 25 0 1 0 289753415 35110912 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8572 7964 312 324 0 7641 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34288 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 3188 /proc/meminfo: memFree=1434928/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34284 CPUtime=282.22 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 28161 61 0 0 25 0 1 0 289753415 35106816 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8571 7964 312 324 0 7640 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 34284 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 3188 /proc/meminfo: memFree=1434864/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34284 CPUtime=342.19 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 34149 70 0 0 25 0 1 0 289753415 35106816 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8571 7964 312 324 0 7640 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 34284 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34416 CPUtime=402.17 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8232 0 0 0 40139 78 0 0 25 0 1 0 289753415 35241984 7992 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8604 7992 312 324 0 7673 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34416 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1434736/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34428 CPUtime=462.16 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8307 0 0 0 46128 88 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8607 7994 312 324 0 7676 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34428 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34428 CPUtime=522.14 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8383 0 0 0 52118 96 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8607 7994 312 324 0 7676 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 34428 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=34428 CPUtime=582.13 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8421 0 0 0 58108 105 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 8607 7994 312 324 0 7676 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34428 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38736 CPUtime=642.12 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9554 0 0 0 64099 113 0 0 25 0 1 0 289753415 39665664 9047 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9684 9047 312 324 0 8753 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38736 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38732 CPUtime=822.06 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9721 0 0 0 82069 137 0 0 25 0 1 0 289753415 39661568 9047 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9683 9047 312 324 0 8752 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 38732 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3188 /proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38736 CPUtime=882.04 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9813 0 0 0 88059 145 0 0 25 0 1 0 289753415 39665664 9051 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9684 9051 312 324 0 8753 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 38736 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38732 CPUtime=942.03 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9859 0 0 0 94051 152 0 0 25 0 1 0 289753415 39661568 9051 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9683 9051 312 324 0 8752 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 38732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430192/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38996 CPUtime=1002.01 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9978 0 0 0 100040 161 0 0 25 0 1 0 289753415 39931904 9124 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9749 9124 312 324 0 8818 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 38996 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430128/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38996 CPUtime=1061.99 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10070 0 0 0 106031 168 0 0 25 0 1 0 289753415 39931904 9124 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9749 9124 312 324 0 8818 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 38996 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430064/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38996 CPUtime=1121.98 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10129 0 0 0 112021 177 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10968868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9749 9137 312 324 0 8818 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 38996 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430128/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38996 CPUtime=1181.96 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10175 0 0 0 118012 184 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9749 9137 312 324 0 8818 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 38996 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1430064/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=38996 CPUtime=1241.94 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10221 0 0 0 124004 190 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 9749 9137 312 324 0 8818 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 38996 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41084 CPUtime=1301.92 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10784 0 0 0 129996 196 0 0 25 0 1 0 289753415 42070016 9654 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10271 9654 312 324 0 9340 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 41084 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1428016/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1361.91 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10839 0 0 0 135986 205 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 41104 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1421.89 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10889 0 0 0 141977 212 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 41104 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1481.87 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10939 0 0 0 147966 221 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 41104 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1428080/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1541.86 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10989 0 0 0 153957 229 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 41104 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1428080/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1601.84 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11039 0 0 0 159949 235 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 41104 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 3190 /proc/meminfo: memFree=1428144/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=41104 CPUtime=1661.82 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11089 0 0 0 165939 243 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10276 9659 312 324 0 9345 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 41104 [startup+1722.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 3190 /proc/meminfo: memFree=1427056/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=42140 CPUtime=1721.81 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11403 0 0 0 171930 251 0 0 25 0 1 0 289753415 43151360 9923 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10535 9923 312 324 0 9604 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 42140 [startup+1782.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 3190 /proc/meminfo: memFree=1426416/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=42788 CPUtime=1781.79 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11611 0 0 0 177920 259 0 0 25 0 1 0 289753415 43814912 10081 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10697 10081 312 324 0 9766 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 42788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 0.99 0.98 2/78 3190 /proc/meminfo: memFree=1425264/2055920 swapFree=4148856/4192956 [pid=3187] ppid=3185 vsize=43836 CPUtime=1800.09 /proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11922 0 0 0 179748 261 0 0 25 0 1 0 289753415 44888064 10342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3187/statm: 10959 10342 312 324 0 10028 0 Current children cumulated CPU time (s) 1800.09 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.64 CPU time (s): 1800.13 CPU user time (s): 1797.51 CPU system time (s): 2.6246 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 43836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.51 system time used= 2.6246 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11923 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= 2302 runsolver used 1.34479 second user time and 3.9174 second system time The end
Begin job on node2 on Wed May 2 20:19:16 UTC 2007 IDJOB= 453435 IDBENCH= 48130 IDSOLVER= 163 FILE ID= node2/453435-1178137156 PBS_JOBID= 4751056 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_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453435-1178137156/instance-453435-1178137156.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-453435-1178137156 -o ROOT/results/node2/solver-453435-1178137156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453435-1178137156/instance-453435-1178137156.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73 RANDOM SEED= 567597672 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1466232 kB Buffers: 211700 kB Cached: 234772 kB SwapCached: 12392 kB Active: 177352 kB Inactive: 292568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466232 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 6892 kB Writeback: 0 kB Mapped: 29656 kB Slab: 105192 kB Committed_AS: 11443740 kB PageTables: 1860 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 node2 on Wed May 2 20:49:19 UTC 2007