Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.17 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb |
MD5SUM | cc797868c6f9cb3811b8dc2300ad7f9f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 612 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 556800 |
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 | 556800 |
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.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/432625-1177946429/instance-432625-1177946429.opb 0.00/0.00 c File size is 3617989 bytes. 0.69/0.76 c Highest Coefficient sum: 556800 0.69/0.76 c Parsing was ok!! 0.69/0.76 c Total parsing time: 0.76 s 0.79/0.81 c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 105840 0.79/0.81 c Obj. Vars: 38688 (35.886 % of total variables) 4.59/4.61 c Pre-processing Time: 4.61 s 4.59/4.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.62 c 0 70252 5184 434720 83 382424 869440 0 0 4.61 4.59/4.62 c Switching off LPR mode. 1800.08/1800.70 c 102 70252 5286 448571 84 387284 956385 102 20 4.89 1800.08/1800.70 c 262 70252 5446 494560 90 387604 500000 262 50 5.17 1800.08/1800.70 c 487 70252 5671 546347 96 388054 550001 487 88 5.48 1800.08/1800.70 c 834 70252 6018 596817 99 388748 605002 834 143 5.80 1800.08/1800.70 c 1343 70252 6527 627056 96 389766 665503 1343 217 6.18 1800.08/1800.70 c 2106 70252 7290 659775 90 391292 732054 2106 321 6.55 1800.08/1800.70 c 3252 70252 8436 699422 82 393584 805260 3252 464 7.00 1800.08/1800.70 c 4973 70252 10157 854401 84 397240 885787 4973 637 7.80 1800.08/1800.70 c 7558 70252 12742 1018039 79 402410 974366 7558 860 8.79 1800.08/1800.70 c 11438 70251 16622 1226562 73 410358 500000 11438 1121 10.20 1800.08/1800.70 c 17260 70250 22444 1615946 71 422001 550001 17260 1002 17.21 1800.08/1800.70 c 25997 70250 31181 2343018 75 440207 605002 25997 1133 22.94 1800.08/1800.70 c 39108 70248 44292 2937714 66 466534 665503 39108 1360 28.75 1800.08/1800.70 c 58778 70248 63962 4053260 63 505890 732054 58778 1325 44.34 1800.08/1800.71 c 88297 70248 93481 5438544 58 565835 805260 88297 1235 71.45 1800.08/1800.71 c 132567 70248 137751 7826788 56 654358 885787 132567 1300 101.97 1800.08/1800.71 c 198977 70247 204161 12758303 62 787883 974366 198977 667 298.14 1800.08/1800.71 c 298597 70247 303781 22791893 75 987017 500000 298597 311 959.80 1800.08/1800.71 c Caught signal: 15 1800.08/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.71 c 18 405643 165406 2955138 410827 32497549 405643 225 1800.09 1800.08/1800.71 s UNKNOWN 1800.08/1800.71 c Total time: 1800.09 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-432625-1177946429 -o ROOT/results/node3/solver-432625-1177946429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432625-1177946429/instance-432625-1177946429.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.91 3/77 23762 /proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=23084 CPUtime=0 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 270680706 23638016 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 5771 330 278 324 0 3957 0 [startup+0.100829 s] /proc/loadavg: 0.92 0.98 0.91 3/77 23762 /proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=19288 CPUtime=0.08 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 1536 0 0 0 8 0 0 0 18 0 1 0 270680706 19750912 1387 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 4822 1387 395 324 0 3008 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19288 [startup+0.201845 s] /proc/loadavg: 0.92 0.98 0.91 3/77 23762 /proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=13864 CPUtime=0.19 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 2365 0 0 0 18 1 0 0 18 0 1 0 270680706 14196736 2167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11346899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 3466 2167 507 324 0 1652 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13864 [startup+0.301862 s] /proc/loadavg: 0.92 0.98 0.91 3/77 23762 /proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=15044 CPUtime=0.29 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 2754 0 0 0 28 1 0 0 19 0 1 0 270680706 15405056 2556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 3761 2556 620 324 0 1947 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15044 [startup+0.701926 s] /proc/loadavg: 0.92 0.98 0.91 3/77 23762 /proc/meminfo: memFree=1746912/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=21144 CPUtime=0.69 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 4897 0 0 0 67 2 0 0 23 0 1 0 270680706 21651456 4445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11344902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 5286 4445 1082 324 0 3472 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21144 [startup+1.50105 s] /proc/loadavg: 0.92 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1716760/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=36664 CPUtime=1.49 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 9547 0 0 0 143 6 0 0 25 0 1 0 270680706 37543936 8135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 9166 8135 304 324 0 8236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36664 [startup+3.10131 s] /proc/loadavg: 0.92 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1715352/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=36664 CPUtime=3.09 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 9547 0 0 0 302 7 0 0 25 0 1 0 270680706 37543936 8135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 9166 8135 304 324 0 8236 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36664 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1713368/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=39408 CPUtime=6.29 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 12545 0 0 0 615 14 0 0 25 0 1 0 270680706 40353792 8858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 9852 8858 310 324 0 8922 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39408 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1702360/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=50000 CPUtime=12.69 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 15176 0 0 0 1253 16 0 0 25 0 1 0 270680706 51200000 11489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 12500 11489 310 324 0 11570 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50000 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1685784/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=66660 CPUtime=25.48 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 19348 0 0 0 2529 19 0 0 25 0 1 0 270680706 68259840 15661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 16665 15661 310 324 0 15735 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66660 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1654424/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=98484 CPUtime=51.07 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 27289 0 0 0 5084 23 0 0 25 0 1 0 270680706 100847616 23602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 24621 23602 310 324 0 23691 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 98484 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1605208/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=146416 CPUtime=102.26 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 39298 0 0 0 10194 32 0 0 25 0 1 0 270680706 149929984 35611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 36604 35611 310 324 0 35674 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 146416 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.91 2/78 23763 /proc/meminfo: memFree=1571224/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=180460 CPUtime=162.24 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 47828 0 0 0 16183 41 0 0 25 0 1 0 270680706 184791040 44141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 45115 44141 310 324 0 44185 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 180460 [startup+222.306 s] /proc/loadavg: 1.05 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1554584/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=196940 CPUtime=222.22 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 51923 0 0 0 22177 45 0 0 25 0 1 0 270680706 201666560 48236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11358295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 49235 48236 310 324 0 48305 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 196940 [startup+282.301 s] /proc/loadavg: 1.02 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1542296/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=209236 CPUtime=282.19 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 55005 0 0 0 28171 48 0 0 25 0 1 0 270680706 214257664 51318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 52309 51318 310 324 0 51379 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 209236 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1512536/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=238848 CPUtime=342.17 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 62415 0 0 0 34161 56 0 0 25 0 1 0 270680706 244580352 58728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 59712 58728 310 324 0 58782 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 238848 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1490776/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=260616 CPUtime=402.15 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 67870 0 0 0 40155 60 0 0 25 0 1 0 270680706 266870784 64183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 65154 64183 310 324 0 64224 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 260616 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1474840/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=276616 CPUtime=462.13 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 71844 0 0 0 46149 64 0 0 25 0 1 0 270680706 283254784 68157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 69154 68157 310 324 0 68224 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 276616 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1458584/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=292960 CPUtime=522.11 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 75949 0 0 0 52144 67 0 0 25 0 1 0 270680706 299991040 72262 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 73240 72262 310 324 0 72310 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 292960 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1446744/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=304556 CPUtime=582.09 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 78842 0 0 0 58138 71 0 0 25 0 1 0 270680706 311865344 75155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 76139 75155 310 324 0 75209 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 304556 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23763 /proc/meminfo: memFree=1438424/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=313028 CPUtime=642.07 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 80951 0 0 0 64133 74 0 0 25 0 1 0 270680706 320540672 77264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 78257 77264 310 324 0 77327 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 313028 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23765 /proc/meminfo: memFree=1411416/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=339900 CPUtime=822 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 87664 0 0 0 82118 82 0 0 25 0 1 0 270680706 348057600 83977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 84975 83977 310 324 0 84045 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 339900 [startup+882.305 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23765 /proc/meminfo: memFree=1404440/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=346648 CPUtime=881.99 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 89352 0 0 0 88114 85 0 0 25 0 1 0 270680706 354967552 85665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 86662 85665 310 324 0 85732 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 346648 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23765 /proc/meminfo: memFree=1397976/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=353136 CPUtime=941.96 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 90976 0 0 0 94110 86 0 0 25 0 1 0 270680706 361611264 87289 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 88284 87289 310 324 0 87354 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 353136 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 23765 /proc/meminfo: memFree=1364952/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=386236 CPUtime=1001.95 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 99273 0 0 0 100101 94 0 0 25 0 1 0 270680706 395505664 95586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 96559 95586 310 324 0 95629 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 386236 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 0.93 2/78 23765 /proc/meminfo: memFree=1348056/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=403156 CPUtime=1061.92 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 103508 0 0 0 106094 98 0 0 25 0 1 0 270680706 412831744 99821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 100789 99821 310 324 0 99859 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 403156 [startup+1122.3 s] /proc/loadavg: 1.13 1.04 0.94 2/78 23765 /proc/meminfo: memFree=1335448/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=415692 CPUtime=1121.91 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 106639 0 0 0 112089 102 0 0 25 0 1 0 270680706 425668608 102952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 103923 102952 310 324 0 102993 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 415692 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 0.94 2/78 23765 /proc/meminfo: memFree=1325272/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=425916 CPUtime=1181.88 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 109188 0 0 0 118083 105 0 0 25 0 1 0 270680706 436137984 105501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 106479 105501 310 324 0 105549 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 425916 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 0.94 2/78 23765 /proc/meminfo: memFree=1315864/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=435240 CPUtime=1241.87 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 111504 0 0 0 124078 109 0 0 25 0 1 0 270680706 445685760 107817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 108810 107817 310 324 0 107880 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 435240 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 0.94 2/78 23765 /proc/meminfo: memFree=1306648/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=444284 CPUtime=1301.85 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 113795 0 0 0 130073 112 0 0 25 0 1 0 270680706 454946816 110108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 111071 110108 310 324 0 110141 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 444284 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.94 2/78 23765 /proc/meminfo: memFree=1298648/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=452292 CPUtime=1361.82 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 115768 0 0 0 136068 114 0 0 25 0 1 0 270680706 463147008 112081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 113073 112081 310 324 0 112143 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 452292 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 0.94 2/78 23765 /proc/meminfo: memFree=1291224/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=459500 CPUtime=1421.81 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 117597 0 0 0 142064 117 0 0 25 0 1 0 270680706 470528000 113910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 114875 113910 310 324 0 113945 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 459500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1283992/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=466864 CPUtime=1481.78 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 119423 0 0 0 148059 119 0 0 25 0 1 0 270680706 478068736 115736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 116716 115736 310 324 0 115786 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 466864 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1277208/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=473572 CPUtime=1541.76 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 121105 0 0 0 154055 121 0 0 25 0 1 0 270680706 484937728 117418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 118393 117418 310 324 0 117463 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 473572 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1273048/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=477836 CPUtime=1601.74 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 122155 0 0 0 160051 123 0 0 25 0 1 0 270680706 489304064 118468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 119459 118468 310 324 0 118529 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 477836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1268568/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=482220 CPUtime=1661.72 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 123259 0 0 0 166047 125 0 0 25 0 1 0 270680706 493793280 119572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 120555 119572 310 324 0 119625 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 482220 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1263640/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=487244 CPUtime=1721.7 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 124512 0 0 0 172044 126 0 0 25 0 1 0 270680706 498937856 120825 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 121811 120825 310 324 0 120881 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 487244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1258840/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=491924 CPUtime=1781.68 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 125688 0 0 0 178040 128 0 0 25 0 1 0 270680706 503730176 122001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 122981 122001 310 324 0 122051 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 491924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 0.94 2/78 23765 /proc/meminfo: memFree=1257560/2055920 swapFree=4138948/4192956 [pid=23762] ppid=23760 vsize=493208 CPUtime=1800.08 /proc/23762/stat : 23762 (bsolo3.0.17) R 23760 23762 23354 0 -1 4194304 126008 0 0 0 179880 128 0 0 25 0 1 0 270680706 505044992 122321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23762/statm: 123302 122321 310 324 0 122372 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 493208 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.8 CPU time (s): 1800.17 CPU user time (s): 1798.8 CPU system time (s): 1.36779 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 493208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.8 system time used= 1.36779 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126012 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= 36865 runsolver used 1.35679 second user time and 3.89541 second system time The end
Begin job on node3 on Mon Apr 30 15:20:30 UTC 2007 IDJOB= 432625 IDBENCH= 1623 IDSOLVER= 199 FILE ID= node3/432625-1177946429 PBS_JOBID= 4727672 Free space on /tmp= 66555 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/unibo/normalized-reduced-mps-v2-20-10-B1C1S1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432625-1177946429/instance-432625-1177946429.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-432625-1177946429 -o ROOT/results/node3/solver-432625-1177946429 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432625-1177946429/instance-432625-1177946429.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= cc797868c6f9cb3811b8dc2300ad7f9f RANDOM SEED= 599153958 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1747256 kB Buffers: 39884 kB Cached: 174896 kB SwapCached: 17168 kB Active: 117828 kB Inactive: 120452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1747256 kB SwapTotal: 4192956 kB SwapFree: 4138948 kB Dirty: 10136 kB Writeback: 0 kB Mapped: 30232 kB Slab: 55840 kB Committed_AS: 6271128 kB PageTables: 1780 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= 66555 MiB End job on node3 on Mon Apr 30 15:50:32 UTC 2007