Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.13 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-dc1l.opb |
MD5SUM | 1bfc65237e0980827bf136f13870d50e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 997 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 997 |
Optimality of the best value was proved | NO |
Number of variables | 85198 |
Total number of constraints | 1652 |
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 | 1652 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 35129 |
Number of terms in the objective function | 85198 |
Biggest coefficient in the objective function | 41346 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 607077 |
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 | 607077 |
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/432626-1177946436/instance-432626-1177946436.opb 0.00/0.00 c File size is 5907037 bytes. 1.29/1.40 c Highest Coefficient sum: 607077 1.29/1.40 c Parsing was ok!! 1.29/1.40 c Total parsing time: 1.397 s 1.39/1.48 c Var: 85198 Constr: 3290 2/0/3288 Lit: 876392 Watch. Lit: 383219 1.39/1.48 c Obj. Vars: 85198 (100 % of total variables) 180.91/181.07 c Pre-processing Time: 181.002 s 180.91/181.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.91/181.08 c 0 66909 3286 876268 266 733686 500000 0 0 181.00 180.91/181.08 c Switching off LPR mode. 1800.09/1800.61 c 100 66909 3386 906403 267 829491 550001 100 0 298.66 1800.09/1800.61 c 252 66909 3538 1054803 298 816443 605002 252 0 304.80 1800.09/1800.61 c 477 66909 3763 1133464 301 814634 665503 477 1 312.29 1800.09/1800.61 c 815 66909 4101 1371130 334 813980 732054 815 2 346.20 1800.09/1800.61 c 1324 66909 4610 1687648 366 813925 805260 1324 3 400.06 1800.09/1800.61 c 2087 66909 5373 2068332 384 815241 885787 2087 5 402.30 1800.09/1800.61 c 3233 66909 6519 2617575 401 818986 974366 3233 6 505.15 1800.09/1800.61 c 4959 66909 8245 3349085 406 821368 500000 4959 7 670.21 1800.09/1800.61 c 7543 66909 10829 4359773 402 827829 550001 7543 9 772.58 1800.09/1800.61 c 11423 66909 14709 5517864 375 835855 605002 11423 10 1098.75 1800.09/1800.61 c 17245 66909 20531 8739033 425 847038 665503 17245 9 1752.10 1800.09/1800.61 c Caught signal: 15 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 11 17774 7162 24567238 21061 9183551 17775 9 1800.10 1800.09/1800.61 s UNKNOWN 1800.09/1800.61 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-432626-1177946436 -o ROOT/results/node35/solver-432626-1177946436 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432626-1177946436/instance-432626-1177946436.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.91 0.95 0.90 3/77 27134 /proc/meminfo: memFree=1750856/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=17508 CPUtime=0 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242559067 17928192 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 4377 334 279 324 0 2004 0 [startup+0.0304119 s] /proc/loadavg: 0.91 0.95 0.90 3/77 27134 /proc/meminfo: memFree=1750856/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=18384 CPUtime=0.02 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 617 0 0 0 2 0 0 0 18 0 1 0 242559067 18825216 587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 4596 587 311 324 0 2223 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18384 [startup+0.101421 s] /proc/loadavg: 0.91 0.95 0.90 3/77 27134 /proc/meminfo: memFree=1750856/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=20900 CPUtime=0.09 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 1378 0 0 0 9 0 0 0 18 0 1 0 242559067 21401600 1229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 5225 1229 395 324 0 2852 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20900 [startup+0.301443 s] /proc/loadavg: 0.91 0.95 0.90 3/77 27134 /proc/meminfo: memFree=1750856/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=18744 CPUtime=0.29 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 3144 0 0 0 28 1 0 0 19 0 1 0 242559067 19193856 2789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 4686 2789 604 324 0 2313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18744 [startup+0.70149 s] /proc/loadavg: 0.91 0.95 0.90 3/77 27134 /proc/meminfo: memFree=1750856/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=22668 CPUtime=0.69 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 4525 0 0 0 68 1 0 0 22 0 1 0 242559067 23212032 4170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 5667 4170 1004 324 0 3294 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22668 [startup+1.50158 s] /proc/loadavg: 0.91 0.95 0.90 2/78 27135 /proc/meminfo: memFree=1736256/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=39604 CPUtime=1.49 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 10982 0 0 0 145 4 0 0 25 0 1 0 242559067 40554496 8976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1898107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 9901 8977 303 324 0 8971 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39604 [startup+3.10177 s] /proc/loadavg: 0.91 0.95 0.90 2/78 27135 /proc/meminfo: memFree=1713024/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=42376 CPUtime=3.09 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 11680 0 0 0 302 7 0 0 25 0 1 0 242559067 43393024 9674 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 10594 9674 303 324 0 9664 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42376 [startup+6.30114 s] /proc/loadavg: 0.92 0.95 0.90 2/78 27135 /proc/meminfo: memFree=1695680/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=6.29 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 617 12 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59752 [startup+12.7029 s] /proc/loadavg: 0.93 0.95 0.90 2/78 27135 /proc/meminfo: memFree=1695744/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=12.69 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 1257 12 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59752 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.91 2/78 27135 /proc/meminfo: memFree=1695872/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=25.49 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 2536 13 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59752 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.91 2/78 27135 /proc/meminfo: memFree=1695680/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=51.05 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 5091 14 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 59752 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 27135 /proc/meminfo: memFree=1695744/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=102.24 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 10208 16 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 59752 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 27135 /proc/meminfo: memFree=1695744/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59752 CPUtime=162.22 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 16839 0 0 0 16206 16 0 0 25 0 1 0 242559067 61186048 14000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14938 14000 305 324 0 14008 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 59752 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 27135 /proc/meminfo: memFree=1698944/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=56036 CPUtime=222.21 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 19360 0 0 0 22203 18 0 0 25 0 1 0 242559067 57380864 13205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14009 13205 309 324 0 13079 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 56036 [startup+282.301 s] /proc/loadavg: 1.04 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1698304/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=56696 CPUtime=282.19 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 19527 0 0 0 28201 18 0 0 25 0 1 0 242559067 58056704 13372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14174 13372 309 324 0 13244 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 56696 [startup+342.302 s] /proc/loadavg: 1.01 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1695680/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=59504 CPUtime=342.17 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 20208 0 0 0 34198 19 0 0 25 0 1 0 242559067 60932096 14053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 14876 14053 309 324 0 13946 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 59504 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1689024/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=67996 CPUtime=402.16 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 22342 0 0 0 40196 20 0 0 25 0 1 0 242559067 69627904 16187 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 16999 16187 309 324 0 16069 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 67996 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1682048/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=73032 CPUtime=462.14 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 23604 0 0 0 46192 22 0 0 25 0 1 0 242559067 74784768 17449 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 18258 17449 309 324 0 17328 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 73032 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1676608/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=78452 CPUtime=522.13 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 24958 0 0 0 52190 23 0 0 25 0 1 0 242559067 80334848 18803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 19613 18803 309 324 0 18683 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 78452 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1670528/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=84596 CPUtime=582.11 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 26489 0 0 0 58187 24 0 0 25 0 1 0 242559067 86626304 20334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 21149 20334 309 324 0 20219 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 84596 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1670016/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=85000 CPUtime=642.1 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 26613 0 0 0 64185 25 0 0 25 0 1 0 242559067 87040000 20458 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 21250 20458 309 324 0 20320 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 85000 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1654208/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=100912 CPUtime=822.05 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 30562 0 0 0 82177 28 0 0 25 0 1 0 242559067 103333888 24407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 25228 24407 309 324 0 24298 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 100912 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1654080/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=100912 CPUtime=882.02 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 30583 0 0 0 88174 28 0 0 25 0 1 0 242559067 103333888 24428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 25228 24428 309 324 0 24298 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 100912 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1651456/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=103548 CPUtime=942.01 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 31244 0 0 0 94172 29 0 0 25 0 1 0 242559067 106033152 25089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 25887 25089 309 324 0 24957 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 103548 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1651456/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=103548 CPUtime=1002 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 31244 0 0 0 100170 30 0 0 25 0 1 0 242559067 106033152 25089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 25887 25089 309 324 0 24957 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 103548 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1651456/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=103548 CPUtime=1061.98 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 31244 0 0 0 106168 30 0 0 25 0 1 0 242559067 106033152 25089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 25887 25089 309 324 0 24957 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 103548 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1638848/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=116120 CPUtime=1121.96 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34385 0 0 0 112164 32 0 0 25 0 1 0 242559067 118906880 28230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29030 28230 309 324 0 28100 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 116120 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27135 /proc/meminfo: memFree=1638784/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=116252 CPUtime=1181.94 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34403 0 0 0 118162 32 0 0 25 0 1 0 242559067 119042048 28248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29063 28248 309 324 0 28133 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 116252 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27137 /proc/meminfo: memFree=1638592/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=116384 CPUtime=1241.93 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34445 0 0 0 124160 33 0 0 25 0 1 0 242559067 119177216 28290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29096 28290 309 324 0 28166 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 116384 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/78 27137 /proc/meminfo: memFree=1638336/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=116648 CPUtime=1301.92 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34522 0 0 0 130159 33 0 0 25 0 1 0 242559067 119447552 28367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29162 28367 309 324 0 28232 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 116648 [startup+1362.3 s] /proc/loadavg: 1.05 1.00 0.92 2/78 27137 /proc/meminfo: memFree=1637568/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=117428 CPUtime=1361.9 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34705 0 0 0 136156 34 0 0 25 0 1 0 242559067 120246272 28550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29357 28550 309 324 0 28427 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 117428 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 0.92 2/78 27137 /proc/meminfo: memFree=1637312/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=117688 CPUtime=1421.88 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 34776 0 0 0 142154 34 0 0 25 0 1 0 242559067 120512512 28621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29422 28621 309 324 0 28492 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 117688 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27137 /proc/meminfo: memFree=1635520/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=119520 CPUtime=1481.87 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 35222 0 0 0 148151 36 0 0 25 0 1 0 242559067 122388480 29067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29880 29067 309 324 0 28950 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 119520 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 27137 /proc/meminfo: memFree=1635136/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=119784 CPUtime=1541.85 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 35308 0 0 0 154149 36 0 0 25 0 1 0 242559067 122658816 29153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1896828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 29946 29153 309 324 0 29016 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 119784 [startup+1602.3 s] /proc/loadavg: 1.10 1.03 0.93 2/78 27137 /proc/meminfo: memFree=1634752/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=120316 CPUtime=1601.83 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 35428 0 0 0 160147 36 0 0 25 0 1 0 242559067 123203584 29273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 30079 29273 309 324 0 29149 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 120316 [startup+1662.3 s] /proc/loadavg: 1.04 1.02 0.93 2/78 27137 /proc/meminfo: memFree=1633984/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=120980 CPUtime=1661.82 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 35596 0 0 0 166145 37 0 0 25 0 1 0 242559067 123883520 29441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 30245 29441 309 324 0 29315 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 120980 [startup+1722.3 s] /proc/loadavg: 1.01 1.02 0.93 2/78 27137 /proc/meminfo: memFree=1612672/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=142668 CPUtime=1721.8 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 41016 0 0 0 172139 41 0 0 25 0 1 0 242559067 146092032 34861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 35667 34861 309 324 0 34737 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 142668 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.93 2/78 27137 /proc/meminfo: memFree=1593088/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=161812 CPUtime=1781.79 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 45795 0 0 0 178135 44 0 0 25 0 1 0 242559067 165695488 39640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 40453 39640 309 324 0 39523 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 161812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 0.93 2/78 27137 /proc/meminfo: memFree=1592768/2055920 swapFree=4151088/4192956 [pid=27134] ppid=27132 vsize=162220 CPUtime=1800.09 /proc/27134/stat : 27134 (bsolo3.0.17) R 27132 27134 26773 0 -1 4194304 45891 0 0 0 179965 44 0 0 25 0 1 0 242559067 166113280 39736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574669 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27134/statm: 40555 39736 309 324 0 39625 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 162220 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): 1799.66 CPU system time (s): 0.471928 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 162220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.66 system time used= 0.471928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45895 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= 3451 runsolver used 1.44378 second user time and 3.64844 second system time The end
Begin job on node35 on Mon Apr 30 15:20:36 UTC 2007 IDJOB= 432626 IDBENCH= 1624 IDSOLVER= 199 FILE ID= node35/432626-1177946436 PBS_JOBID= 4727669 Free space on /tmp= 66552 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-dc1l.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432626-1177946436/instance-432626-1177946436.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-432626-1177946436 -o ROOT/results/node35/solver-432626-1177946436 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432626-1177946436/instance-432626-1177946436.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1bfc65237e0980827bf136f13870d50e RANDOM SEED= 14749283 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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: 1751264 kB Buffers: 40792 kB Cached: 167928 kB SwapCached: 9356 kB Active: 115272 kB Inactive: 118228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751264 kB SwapTotal: 4192956 kB SwapFree: 4151088 kB Dirty: 12364 kB Writeback: 0 kB Mapped: 31476 kB Slab: 56444 kB Committed_AS: 2719108 kB PageTables: 2000 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= 66552 MiB End job on node35 on Mon Apr 30 15:50:39 UTC 2007