Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.14 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb |
MD5SUM | 012c11861136c422cb8bda81e1d7561a |
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 | 21960 |
Total number of constraints | 750 |
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 | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 1295 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533310 |
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/432601-1177945997/instance-432601-1177945997.opb 0.00/0.00 c File size is 694911 bytes. 0.09/0.13 c Highest Coefficient sum: 533310 0.09/0.13 c Parsing was ok!! 0.09/0.13 c Total parsing time: 0.134 s 0.09/0.14 c Var: 21960 Constr: 1110 0/0/1110 Lit: 86400 Watch. Lit: 26956 0.09/0.14 c Obj. Vars: 11160 (50.8197 % of total variables) 0.49/0.53 c Pre-processing Time: 0.533 s 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 17361 1103 86183 78 81227 172366 0 0 0.53 0.49/0.53 c Switching off LPR mode. 1800.02/1800.50 c 100 17361 1203 93385 77 81427 189603 100 169 0.59 1800.02/1800.50 c 250 17361 1353 104996 77 81998 208564 250 371 0.67 1800.02/1800.50 c 475 17361 1578 130018 82 82553 229421 475 655 0.72 1800.02/1800.50 c 813 17361 1916 149984 78 83249 252364 813 984 0.83 1800.02/1800.50 c 1322 17361 2425 170234 70 84267 277601 1322 1381 0.96 1800.02/1800.50 c 2085 17361 3188 227298 71 85793 305362 2085 1672 1.25 1800.02/1800.50 c 3232 17361 4335 264207 60 88087 335899 3232 2174 1.49 1800.02/1800.50 c 4953 17361 6056 306600 50 91529 369489 4953 2496 1.98 1800.02/1800.50 c 7537 17361 8640 400707 46 96697 406438 7537 2929 2.57 1800.02/1800.50 c 11416 17361 12519 625946 49 104496 447082 11416 3458 3.30 1800.02/1800.50 c 17239 17361 18342 838667 45 116142 491791 17239 3139 5.49 1800.02/1800.50 c 25976 17361 27079 1226653 45 133616 540971 25976 3421 7.59 1800.02/1800.50 c 39086 17361 40189 1729308 43 159836 595069 39086 2973 13.15 1800.02/1800.50 c 58757 17361 59860 2531726 42 199229 654576 58757 2315 25.38 1800.02/1800.50 c 88268 17361 89371 4572211 51 258229 720034 88268 2435 36.25 1800.02/1800.50 c 132538 17361 133641 5857063 43 346771 792038 132538 1242 106.66 1800.02/1800.50 c 198948 17361 200051 7956088 39 479620 871242 198948 1032 192.62 1800.02/1800.50 c 298569 17361 299672 13345790 44 678864 958367 298569 449 663.74 1800.02/1800.50 c 448005 17361 449108 21164415 47 977736 500000 448005 300 1492.91 1800.02/1800.50 c Caught signal: 15 1800.02/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.50 c 19 508232 109605 1509697 404231 19365124 403128 282 1800.03 1800.02/1800.50 s UNKNOWN 1800.02/1800.50 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-432601-1177945997 -o ROOT/results/node24/solver-432601-1177945997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.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: 1.00 0.98 0.91 3/77 20633 /proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=12416 CPUtime=0 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 242517788 12713984 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 3104 335 279 324 0 2004 0 [startup+0.0859151 s] /proc/loadavg: 1.00 0.98 0.91 3/77 20633 /proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=6904 CPUtime=0.07 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 1050 0 0 0 7 0 0 0 18 0 1 0 242517788 7069696 980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 1726 980 380 324 0 626 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6904 [startup+0.101918 s] /proc/loadavg: 1.00 0.98 0.91 3/77 20633 /proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=7160 CPUtime=0.09 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 1122 0 0 0 9 0 0 0 18 0 1 0 242517788 7331840 1052 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 1790 1052 400 324 0 690 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7160 [startup+0.301938 s] /proc/loadavg: 1.00 0.98 0.91 3/77 20633 /proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=10600 CPUtime=0.29 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 2161 0 0 0 28 1 0 0 19 0 1 0 242517788 10854400 1921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 2650 1921 304 324 0 1720 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10600 [startup+0.70198 s] /proc/loadavg: 1.00 0.98 0.91 3/77 20633 /proc/meminfo: memFree=1758808/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=11008 CPUtime=0.69 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 2750 0 0 0 67 2 0 0 22 0 1 0 242517788 11272192 2048 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 2752 2048 310 324 0 1822 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11008 [startup+1.50107 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1750800/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=13244 CPUtime=1.49 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 3319 0 0 0 146 3 0 0 25 0 1 0 242517788 13561856 2617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3039388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 3311 2617 310 324 0 2381 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13244 [startup+3.10124 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1748240/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=17956 CPUtime=3.09 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 4511 0 0 0 305 4 0 0 25 0 1 0 242517788 18386944 3809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 4489 3809 310 324 0 3559 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17956 [startup+6.30158 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1740880/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=24508 CPUtime=6.28 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 6133 0 0 0 624 4 0 0 25 0 1 0 242517788 25096192 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 6127 5431 310 324 0 5197 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24508 [startup+12.7013 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1727312/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=35724 CPUtime=12.68 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 8937 0 0 0 1263 5 0 0 25 0 1 0 242517788 36581376 8235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 8931 8235 310 324 0 8001 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35724 [startup+25.5016 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1714832/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=49308 CPUtime=25.48 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 12320 0 0 0 2540 8 0 0 25 0 1 0 242517788 50491392 11618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040837 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 12327 11618 310 324 0 11397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49308 [startup+51.1014 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1676240/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=86384 CPUtime=51.07 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 21610 0 0 0 5092 15 0 0 25 0 1 0 242517788 88457216 20908 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 21596 20908 310 324 0 20666 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86384 [startup+102.306 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1664464/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=97936 CPUtime=102.26 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 24491 0 0 0 10208 18 0 0 25 0 1 0 242517788 100286464 23789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 24484 23789 310 324 0 23554 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 97936 [startup+162.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1633744/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=128604 CPUtime=162.24 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 32168 0 0 0 16199 25 0 0 25 0 1 0 242517788 131690496 31466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 32151 31466 310 324 0 31221 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 128604 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1617680/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=144696 CPUtime=222.23 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 36183 0 0 0 22194 29 0 0 25 0 1 0 242517788 148168704 35481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 36174 35481 310 324 0 35244 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 144696 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1596880/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=165496 CPUtime=282.21 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 41375 0 0 0 28186 35 0 0 25 0 1 0 242517788 169467904 40673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 41374 40673 310 324 0 40444 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 165496 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1587856/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=174476 CPUtime=342.2 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 43626 0 0 0 34182 38 0 0 25 0 1 0 242517788 178663424 42924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 43619 42924 310 324 0 42689 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 174476 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1577040/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=185112 CPUtime=402.18 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 46303 0 0 0 40177 41 0 0 25 0 1 0 242517788 189554688 45601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 46278 45601 310 324 0 45348 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 185112 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1570128/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=191976 CPUtime=462.16 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 48016 0 0 0 46173 43 0 0 25 0 1 0 242517788 196583424 47314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 47994 47314 310 324 0 47064 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 191976 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1563984/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=198216 CPUtime=522.15 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 49571 0 0 0 52170 45 0 0 25 0 1 0 242517788 202973184 48869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 49554 48869 310 324 0 48624 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 198216 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1557520/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=204704 CPUtime=582.13 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 51176 0 0 0 58165 48 0 0 25 0 1 0 242517788 209616896 50474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 51176 50474 310 324 0 50246 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 204704 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1552208/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=209884 CPUtime=642.12 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 52480 0 0 0 64163 49 0 0 25 0 1 0 242517788 214921216 51778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 52471 51778 310 324 0 51541 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 209884 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1508368/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=253652 CPUtime=882.06 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 63438 0 0 0 88142 64 0 0 25 0 1 0 242517788 259739648 62736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 63413 62736 310 324 0 62483 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 253652 [startup+942.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1498128/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=263980 CPUtime=942.04 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 66011 0 0 0 94136 68 0 0 25 0 1 0 242517788 270315520 65309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 65995 65309 310 324 0 65065 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 263980 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1484944/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=277152 CPUtime=1002.02 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 69283 0 0 0 100130 72 0 0 25 0 1 0 242517788 283803648 68581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 69288 68581 310 324 0 68358 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 277152 [startup+1062.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1475024/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=287048 CPUtime=1062.01 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 71779 0 0 0 106125 76 0 0 25 0 1 0 242517788 293937152 71077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 71762 71077 310 324 0 70832 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 287048 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1466960/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=295104 CPUtime=1121.99 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 73788 0 0 0 112121 78 0 0 25 0 1 0 242517788 302186496 73086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 73776 73086 310 324 0 72846 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 295104 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1460560/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=301508 CPUtime=1181.97 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 75401 0 0 0 118117 80 0 0 25 0 1 0 242517788 308744192 74699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 75377 74699 310 324 0 74447 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 301508 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1453456/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=308536 CPUtime=1241.96 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 77143 0 0 0 124113 83 0 0 25 0 1 0 242517788 315940864 76441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 77134 76441 310 324 0 76204 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 308536 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1445904/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=316080 CPUtime=1301.95 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 79013 0 0 0 130109 86 0 0 25 0 1 0 242517788 323665920 78311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 79020 78311 310 324 0 78090 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 316080 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1440656/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=321276 CPUtime=1361.93 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 80327 0 0 0 136105 88 0 0 25 0 1 0 242517788 328986624 79625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551200 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 80319 79625 310 324 0 79389 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 321276 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1436432/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=325436 CPUtime=1421.92 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 81363 0 0 0 142103 89 0 0 25 0 1 0 242517788 333246464 80661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 81359 80661 310 324 0 80429 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 325436 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1432272/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=329604 CPUtime=1481.9 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 82401 0 0 0 148099 91 0 0 25 0 1 0 242517788 337514496 81699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 82401 81699 310 324 0 81471 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 329604 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1390800/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=370992 CPUtime=1541.89 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 92762 0 0 0 154089 100 0 0 25 0 1 0 242517788 379895808 92060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 92748 92060 310 324 0 91818 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 370992 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20634 /proc/meminfo: memFree=1370128/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=391724 CPUtime=1601.87 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 97925 0 0 0 160081 106 0 0 25 0 1 0 242517788 401125376 97223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 97931 97223 310 324 0 97001 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 391724 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20636 /proc/meminfo: memFree=1357968/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=403736 CPUtime=1661.85 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 100955 0 0 0 166076 109 0 0 25 0 1 0 242517788 413425664 100253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 100934 100253 310 324 0 100004 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 403736 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20636 /proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=405156 CPUtime=1721.83 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 172073 110 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 101289 100601 310 324 0 100359 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 405156 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20636 /proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=405156 CPUtime=1781.82 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 178071 111 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 101289 100601 310 324 0 100359 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 405156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.98 0.91 2/78 20636 /proc/meminfo: memFree=1356304/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=405156 CPUtime=1800.02 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194304 101800 0 0 0 179891 111 0 0 25 0 1 0 242517788 414879744 100601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 101289 100601 310 324 0 100359 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 405156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.98 0.91 2/79 20637 /proc/meminfo: memFree=1715208/2055920 swapFree=4143608/4192956 [pid=20633] ppid=20631 vsize=0 CPUtime=1800.13 /proc/20633/stat : 20633 (bsolo3.0.17) R 20631 20633 20225 0 -1 4194308 101804 0 0 0 179896 117 0 0 25 0 1 0 242517788 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/20633/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.61 CPU time (s): 1800.14 CPU user time (s): 1798.96 CPU system time (s): 1.17782 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 407144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.96 system time used= 1.17782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101804 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= 36245 runsolver used 1.3068 second user time and 4.09138 second system time The end
Begin job on node24 on Mon Apr 30 15:13:18 UTC 2007 IDJOB= 432601 IDBENCH= 1599 IDSOLVER= 199 FILE ID= node24/432601-1177945997 PBS_JOBID= 4727670 Free space on /tmp= 66557 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-tr12-30.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-432601-1177945997 -o ROOT/results/node24/solver-432601-1177945997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432601-1177945997/instance-432601-1177945997.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 012c11861136c422cb8bda81e1d7561a RANDOM SEED= 6137152 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1759216 kB Buffers: 37552 kB Cached: 168852 kB SwapCached: 17452 kB Active: 109744 kB Inactive: 120212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1759216 kB SwapTotal: 4192956 kB SwapFree: 4143608 kB Dirty: 7276 kB Writeback: 0 kB Mapped: 30328 kB Slab: 52324 kB Committed_AS: 3882420 kB PageTables: 1808 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= 66557 MiB End job on node24 on Mon Apr 30 15:43:20 UTC 2007