Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (MO) | 1593.43 | 1594.1 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb |
MD5SUM | 61bd3dd8a49bc9125fdf13f69f76abf6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 13.34 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7812 |
Total number of constraints | 284 |
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 | 284 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 1941 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530902 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530902 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/432543-1177944666/instance-432543-1177944666.opb 0.00/0.02 c File size is 300862 bytes. 0.00/0.07 c Highest Coefficient sum: 530902 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.054 s 0.05/0.07 c Var: 7812 Constr: 316 28/0/288 Lit: 38052 Watch. Lit: 22996 0.05/0.07 c Obj. Vars: 7812 (100 % of total variables) 1.98/2.04 c Pre-processing Time: 2.023 s 1.98/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.04 c 0 3854 316 38052 120 23001 49473 0 0 2.02 1.98/2.04 c Switching off LPR mode. 1593.12/1593.81 c 109 3854 425 64407 151 23222 54421 109 52 2.07 1593.12/1593.81 c 259 3854 575 98659 171 23522 59864 259 122 2.12 1593.12/1593.81 c 484 3854 800 144081 180 23972 65851 484 204 2.37 1593.12/1593.81 c 822 3854 1138 234099 205 24648 72437 822 283 2.90 1593.12/1593.81 c 1335 3854 1651 363090 219 25674 79681 1335 363 3.67 1593.12/1593.81 c 2098 3854 2414 584049 241 27200 87650 2098 431 4.86 1593.12/1593.81 c 3244 3854 3560 1020439 286 29492 96416 3244 446 7.26 1593.12/1593.81 c 4965 3854 5281 1744904 330 32934 106058 4965 387 12.82 1593.12/1593.81 c 7549 3854 7865 2866068 364 38102 116664 7549 319 23.63 1593.12/1593.81 c 11428 3854 11744 4999083 425 45860 128331 11428 298 38.22 1593.12/1593.81 c 17250 3854 17566 9287558 528 57504 141165 17250 265 64.90 1593.12/1593.81 c 25990 3854 26306 19129935 727 74984 155282 25990 217 119.34 1593.12/1593.81 c 39101 3854 39417 36090907 915 101206 170811 39101 182 214.02 1593.12/1593.81 c 58771 3854 59087 68005397 1150 140546 187893 58771 113 517.12 1593.12/1593.81 c 88281 3854 88597 112143085 1265 199566 206683 88281 76 1151.34 1593.12/1593.81 c Caught signal: 15 1593.12/1593.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1593.12/1593.81 c 15 105945 79044 7512280 106261 143774567 105945 66 1593.14 1593.12/1593.81 s UNKNOWN 1593.12/1593.81 c Total time: 1593.14 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-432543-1177944666 -o ROOT/results/node5/solver-432543-1177944666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432543-1177944666/instance-432543-1177944666.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.93 0.96 0.82 3/77 28491 /proc/meminfo: memFree=1843136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=18528 CPUtime=0 /proc/28491/stat : 28491 (runsolver) D 28489 28491 28328 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 270504314 18972672 284 18446744073709551615 4194304 4255128 548682068976 18446744073709551615 226913479975 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/28491/statm: 4632 284 249 14 0 2626 0 [startup+0.072134 s] /proc/loadavg: 0.93 0.96 0.82 3/77 28491 /proc/meminfo: memFree=1843136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=5372 CPUtime=0.05 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 784 0 0 0 5 0 0 0 18 0 1 0 270504314 5500928 680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28491/statm: 1343 680 299 324 0 413 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5372 [startup+0.101132 s] /proc/loadavg: 0.93 0.96 0.82 3/77 28491 /proc/meminfo: memFree=1843136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=6192 CPUtime=0.08 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 1016 0 0 0 8 0 0 0 18 0 1 0 270504314 6340608 912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527317 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28491/statm: 1548 912 303 324 0 618 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6192 [startup+0.30115 s] /proc/loadavg: 0.93 0.96 0.82 3/77 28491 /proc/meminfo: memFree=1843136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=6192 CPUtime=0.28 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 1016 0 0 0 27 1 0 0 19 0 1 0 270504314 6340608 912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28491/statm: 1548 912 303 324 0 618 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6192 [startup+0.701199 s] /proc/loadavg: 0.93 0.96 0.82 3/77 28491 /proc/meminfo: memFree=1843136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=6432 CPUtime=0.68 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 1149 0 0 0 67 1 0 0 23 0 1 0 270504314 6586368 981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540682 0 0 4096 16384 0 0 0 17 0 0 0 /proc/28491/statm: 1608 981 305 324 0 678 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6432 [startup+1.50128 s] /proc/loadavg: 0.93 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1840248/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=6432 CPUtime=1.48 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 1149 0 0 0 147 1 0 0 25 0 1 0 270504314 6586368 981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 1608 981 305 324 0 678 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6432 [startup+3.10145 s] /proc/loadavg: 0.94 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1840056/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=9008 CPUtime=3.07 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 1823 0 0 0 306 1 0 0 25 0 1 0 270504314 9224192 1622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551294 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 2252 1622 310 324 0 1322 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 9008 [startup+6.3018 s] /proc/loadavg: 0.94 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1832376/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=16452 CPUtime=6.28 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 3688 0 0 0 625 3 0 0 25 0 1 0 270504314 16846848 3487 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 4113 3487 310 324 0 3183 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16452 [startup+12.7015 s] /proc/loadavg: 0.95 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1818808/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=28352 CPUtime=12.67 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 6663 0 0 0 1263 4 0 0 25 0 1 0 270504314 29032448 6462 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 7088 6462 310 324 0 6158 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 28352 [startup+25.5019 s] /proc/loadavg: 0.95 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1800696/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=46384 CPUtime=25.46 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 11148 0 0 0 2540 6 0 0 25 0 1 0 270504314 47497216 10947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 11596 10947 310 324 0 10666 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 46384 [startup+51.1017 s] /proc/loadavg: 0.97 0.96 0.82 2/78 28492 /proc/meminfo: memFree=1750840/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=96724 CPUtime=51.06 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 23742 0 0 0 5092 14 0 0 25 0 1 0 270504314 99045376 23541 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 24181 23541 310 324 0 23251 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 96724 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.83 2/78 28492 /proc/meminfo: memFree=1645496/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=201368 CPUtime=102.25 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 49905 0 0 0 10197 28 0 0 25 0 1 0 270504314 206200832 49704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 50342 49704 310 324 0 49412 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 201368 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.83 2/78 28492 /proc/meminfo: memFree=1481464/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=367576 CPUtime=162.23 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 91451 0 0 0 16175 48 0 0 25 0 1 0 270504314 376397824 91250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 91894 91250 310 324 0 90964 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 367576 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/78 28492 /proc/meminfo: memFree=1357816/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=488344 CPUtime=222.21 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 121653 0 0 0 22158 63 0 0 25 0 1 0 270504314 500064256 121452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 122086 121452 310 324 0 121156 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 488344 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.85 2/78 28492 /proc/meminfo: memFree=1259768/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=587444 CPUtime=282.19 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 146443 0 0 0 28143 76 0 0 25 0 1 0 270504314 601542656 146242 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 146861 146242 310 324 0 145931 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 587444 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.85 2/78 28492 /proc/meminfo: memFree=1178488/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=667120 CPUtime=342.17 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 166336 0 0 0 34132 85 0 0 25 0 1 0 270504314 683130880 166135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 166780 166135 310 324 0 165850 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 667120 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/78 28492 /proc/meminfo: memFree=1102264/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=744604 CPUtime=402.16 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 185729 0 0 0 40123 93 0 0 25 0 1 0 270504314 762474496 185528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 186151 185528 310 324 0 185221 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 744604 [startup+462.301 s] /proc/loadavg: 1.07 0.99 0.87 2/78 28492 /proc/meminfo: memFree=1021880/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=823548 CPUtime=462.14 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 205469 0 0 0 46111 103 0 0 25 0 1 0 270504314 843313152 205268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 205887 205268 310 324 0 204957 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 823548 [startup+522.301 s] /proc/loadavg: 1.02 0.99 0.87 2/78 28492 /proc/meminfo: memFree=965176/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=881208 CPUtime=522.13 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 219871 0 0 0 52103 110 0 0 25 0 1 0 270504314 902356992 219670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 220302 219670 310 324 0 219372 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 881208 [startup+582.302 s] /proc/loadavg: 1.01 0.99 0.88 2/78 28492 /proc/meminfo: memFree=913208/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=931872 CPUtime=582.11 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 232525 0 0 0 58094 117 0 0 25 0 1 0 270504314 954236928 232324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 232968 232324 310 324 0 232038 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 931872 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.89 2/84 28666 /proc/meminfo: memFree=871880/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=971612 CPUtime=642 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 242486 0 0 0 64078 122 0 0 25 0 1 0 270504314 994930688 242285 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 242903 242285 310 324 0 241973 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 971612 [startup+702.302 s] /proc/loadavg: 1.00 0.99 0.89 2/78 28690 /proc/meminfo: memFree=828976/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1016228 CPUtime=701.97 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 253629 0 0 0 70069 128 0 0 25 0 1 0 270504314 1040617472 253428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 254057 253428 310 324 0 253127 0 Current children cumulated CPU time (s) 701.97 Current children cumulated vsize (KiB) 1016228 [startup+762.305 s] /proc/loadavg: 1.00 0.99 0.90 2/78 28690 /proc/meminfo: memFree=777136/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1067384 CPUtime=761.95 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 266425 0 0 0 76061 134 0 0 25 0 1 0 270504314 1093001216 266224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 266846 266224 310 324 0 265916 0 Current children cumulated CPU time (s) 761.95 Current children cumulated vsize (KiB) 1067384 [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.90 2/78 28690 /proc/meminfo: memFree=719664/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1124808 CPUtime=821.93 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 280785 0 0 0 82052 141 0 0 25 0 1 0 270504314 1151803392 280584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 281202 280584 310 324 0 280272 0 Current children cumulated CPU time (s) 821.93 Current children cumulated vsize (KiB) 1124808 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=668848/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1175436 CPUtime=881.91 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 293422 0 0 0 88045 146 0 0 25 0 1 0 270504314 1203646464 293221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 293859 293221 310 324 0 292929 0 Current children cumulated CPU time (s) 881.91 Current children cumulated vsize (KiB) 1175436 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=635760/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1209276 CPUtime=941.9 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 301881 0 0 0 94039 151 0 0 25 0 1 0 270504314 1238298624 301680 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 302319 301680 310 324 0 301389 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 1209276 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=593592/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1250544 CPUtime=1001.88 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 312211 0 0 0 100032 156 0 0 25 0 1 0 270504314 1280557056 312010 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 312636 312010 310 324 0 311706 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1250544 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=534392/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1310760 CPUtime=1061.86 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 327272 0 0 0 106023 163 0 0 25 0 1 0 270504314 1342218240 327071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 327690 327071 310 324 0 326760 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1310760 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=446456/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1397720 CPUtime=1121.84 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 349002 0 0 0 112010 174 0 0 25 0 1 0 270504314 1431265280 348801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 349430 348801 310 324 0 348500 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1397720 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=373560/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1471564 CPUtime=1181.83 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 367442 0 0 0 118000 183 0 0 25 0 1 0 270504314 1506881536 367241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 367891 367241 310 324 0 366961 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1471564 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=295288/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1548776 CPUtime=1241.8 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 386777 0 0 0 123988 192 0 0 25 0 1 0 270504314 1585946624 386576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 387194 386576 310 324 0 386264 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1548776 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=227640/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1615820 CPUtime=1301.79 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 403538 0 0 0 129978 201 0 0 25 0 1 0 270504314 1654599680 403337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 403955 403337 310 324 0 403025 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1615820 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=179000/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1664932 CPUtime=1361.77 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 415789 0 0 0 135968 209 0 0 25 0 1 0 270504314 1704890368 415588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 416233 415588 310 324 0 415303 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1664932 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=133496/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1709884 CPUtime=1421.76 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 427042 0 0 0 141961 215 0 0 25 0 1 0 270504314 1750921216 426841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 427471 426841 310 324 0 426541 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1709884 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=88888/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1754508 CPUtime=1481.73 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 438209 0 0 0 147952 221 0 0 25 0 1 0 270504314 1796616192 438008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 438627 438008 310 324 0 437697 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1754508 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=40888/2055920 swapFree=4151656/4192956 [pid=28491] ppid=28489 vsize=1802368 CPUtime=1541.72 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 450162 0 0 0 153945 227 0 0 25 0 1 0 270504314 1845624832 449961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 450592 449961 310 324 0 449662 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1802368 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1593.8 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=14904/2055920 swapFree=4151596/4192956 [pid=28491] ppid=28489 vsize=1843372 CPUtime=1593.12 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194304 460400 0 0 0 159080 232 0 0 25 0 1 0 270504314 1887612928 460199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 460843 460199 310 324 0 459913 0 Current children cumulated CPU time (s) 1593.12 Current children cumulated vsize (KiB) 1843372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1594 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=14904/2055920 swapFree=4151596/4192956 [pid=28491] ppid=28489 vsize=0 CPUtime=1593.32 /proc/28491/stat : 28491 (bsolo3.0.17) R 28489 28491 28328 0 -1 4194308 460404 0 0 0 159081 251 0 0 25 0 1 0 270504314 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28491/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1593.32 Current children cumulated vsize (KiB) 0 [startup+1594.1 s] /proc/loadavg: 1.00 0.99 0.91 2/78 28690 /proc/meminfo: memFree=14904/2055920 swapFree=4151596/4192956 [pid=28491] ppid=28489 vsize=0 CPUtime=1593.42 /proc/28491/stat : 28491 (bsolo3.0.17) D 28489 28491 28328 0 -1 4194308 460404 0 0 0 159081 261 0 0 25 0 1 0 270504314 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0 /proc/28491/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1593.42 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1594.1 CPU time (s): 1593.43 CPU user time (s): 1590.81 CPU system time (s): 2.6196 CPU usage (%): 99.9578 Max. virtual memory (cumulated for all children) (KiB): 1843372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1590.81 system time used= 2.6196 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460404 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= 20 involuntary context switches= 32203 runsolver used 1.25781 second user time and 3.60945 second system time The end
Begin job on node5 on Mon Apr 30 14:51:07 UTC 2007 IDJOB= 432543 IDBENCH= 1540 IDSOLVER= 199 FILE ID= node5/432543-1177944666 PBS_JOBID= 4727680 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran14x18.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432543-1177944666/instance-432543-1177944666.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-432543-1177944666 -o ROOT/results/node5/solver-432543-1177944666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432543-1177944666/instance-432543-1177944666.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 61bd3dd8a49bc9125fdf13f69f76abf6 RANDOM SEED= 68828794 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1843608 kB Buffers: 35908 kB Cached: 86248 kB SwapCached: 9628 kB Active: 34392 kB Inactive: 110880 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843608 kB SwapTotal: 4192956 kB SwapFree: 4151656 kB Dirty: 7072 kB Writeback: 0 kB Mapped: 30132 kB Slab: 52556 kB Committed_AS: 9204732 kB PageTables: 1720 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 node5 on Mon Apr 30 15:17:43 UTC 2007