Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.19 | 1800.82 |
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.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348007-1176560098/instance-348007-1176560098.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.531 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.07/1800.70 c 100 17361 1203 93385 77 81427 189603 100 168 0.59 1800.07/1800.70 c 250 17361 1353 104996 77 81998 208564 250 357 0.70 1800.07/1800.70 c 475 17361 1578 130018 82 82553 229421 475 628 0.76 1800.07/1800.70 c 813 17361 1916 149984 78 83249 252364 813 937 0.87 1800.07/1800.70 c 1322 17361 2425 170234 70 84267 277601 1322 1320 1.00 1800.07/1800.70 c 2085 17361 3188 227298 71 85793 305362 2085 1566 1.33 1800.07/1800.70 c 3232 17361 4335 264207 60 88087 335899 3232 2050 1.58 1800.07/1800.70 c 4953 17361 6056 306600 50 91529 369489 4953 2375 2.08 1800.07/1800.70 c 7537 17361 8640 400707 46 96697 406438 7537 2806 2.69 1800.07/1800.70 c 11416 17361 12519 625946 49 104496 447082 11416 3334 3.42 1800.07/1800.70 c 17239 17361 18342 838667 45 116142 491791 17239 3059 5.63 1800.07/1800.70 c 25976 17361 27079 1226653 45 133616 540971 25976 3341 7.77 1800.07/1800.70 c 39086 17361 40189 1729308 43 159836 595069 39086 2941 13.29 1800.07/1800.70 c 58757 17361 59860 2531726 42 199229 654576 58757 2285 25.71 1800.07/1800.70 c 88268 17361 89371 4572211 51 258229 720034 88268 2407 36.66 1800.07/1800.70 c 132538 17361 133641 5857063 43 346771 792038 132538 1233 107.45 1800.07/1800.70 c 198948 17361 200051 7956088 39 479620 871242 198948 1026 193.84 1800.07/1800.70 c 298569 17361 299672 13345790 44 678864 958367 298569 448 666.22 1800.07/1800.70 c 448005 17361 449108 21164415 47 977736 500000 448005 299 1494.98 1800.07/1800.70 c Caught signal: 15 1800.07/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.70 c 19 508232 109605 1509697 404616 19386166 403513 282 1800.08 1800.07/1800.70 s UNKNOWN 1800.07/1800.70 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-348007-1176560098 -o ROOT/results/node3/solver-348007-1176560098 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.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.99 3/77 27195 /proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=12416 CPUtime=0 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 132047565 12713984 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 3104 336 281 324 0 2003 0 [startup+0.0967831 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27195 /proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=7032 CPUtime=0.09 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 1106 0 0 0 9 0 0 0 18 0 1 0 132047565 7200768 1034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 1758 1034 397 324 0 657 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7032 [startup+0.101782 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27195 /proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=7160 CPUtime=0.09 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 1128 0 0 0 9 0 0 0 18 0 1 0 132047565 7331840 1056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 1790 1056 403 324 0 689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7160 [startup+0.301815 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27195 /proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=10600 CPUtime=0.29 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 2165 0 0 0 28 1 0 0 19 0 1 0 132047565 10854400 1923 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 2650 1923 306 324 0 1719 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10600 [startup+0.70188 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27195 /proc/meminfo: memFree=1791456/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=10876 CPUtime=0.69 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 2735 0 0 0 65 4 0 0 23 0 1 0 132047565 11137024 2031 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 2719 2031 312 324 0 1788 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10876 [startup+1.50201 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1783640/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=13112 CPUtime=1.49 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 3281 0 0 0 141 8 0 0 25 0 1 0 132047565 13426688 2577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 3278 2577 312 324 0 2347 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13112 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1781272/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=17436 CPUtime=3.08 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 4384 0 0 0 298 10 0 0 25 0 1 0 132047565 17854464 3680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11357754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 4359 3680 312 324 0 3428 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17436 [startup+6.30179 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1773720/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=23992 CPUtime=6.28 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 6002 0 0 0 613 15 0 0 25 0 1 0 132047565 24567808 5298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 5998 5298 312 324 0 5067 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23992 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1759960/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=35596 CPUtime=12.69 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 8916 0 0 0 1250 19 0 0 25 0 1 0 132047565 36450304 8212 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 8899 8212 312 324 0 7968 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35596 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1748504/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=47624 CPUtime=25.48 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 11917 0 0 0 2523 25 0 0 25 0 1 0 132047565 48766976 11213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 11906 11213 312 324 0 10975 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47624 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1709016/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=86252 CPUtime=51.06 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 21566 0 0 0 5066 40 0 0 25 0 1 0 132047565 88322048 20862 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 21563 20862 312 324 0 20632 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 86252 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1697240/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=97804 CPUtime=102.25 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 24468 0 0 0 10175 50 0 0 25 0 1 0 132047565 100151296 23764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 24451 23764 312 324 0 23520 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 97804 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1666520/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=128476 CPUtime=162.23 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 32144 0 0 0 16143 80 0 0 25 0 1 0 132047565 131559424 31440 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 32119 31440 312 324 0 31188 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 128476 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1651224/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=143780 CPUtime=222.21 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 35950 0 0 0 22121 100 0 0 25 0 1 0 132047565 147230720 35246 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 35945 35246 312 324 0 35014 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 143780 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1629720/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=165112 CPUtime=282.19 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 41305 0 0 0 28110 109 0 0 25 0 1 0 132047565 169074688 40601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 41278 40601 312 324 0 40347 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 165112 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1620824/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=173956 CPUtime=342.16 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 43502 0 0 0 34103 113 0 0 25 0 1 0 132047565 178130944 42798 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 43489 42798 312 324 0 42558 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 173956 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1609816/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=184980 CPUtime=402.14 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 46249 0 0 0 40095 119 0 0 25 0 1 0 132047565 189419520 45545 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 46245 45545 312 324 0 45314 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 184980 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1602840/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=191844 CPUtime=462.12 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 47959 0 0 0 46088 124 0 0 25 0 1 0 132047565 196448256 47255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 47961 47255 312 324 0 47030 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 191844 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1596632/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=197952 CPUtime=522.11 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 49512 0 0 0 52083 128 0 0 25 0 1 0 132047565 202702848 48808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 49488 48808 312 324 0 48557 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 197952 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1590040/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=204444 CPUtime=582.08 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 51131 0 0 0 58076 132 0 0 25 0 1 0 132047565 209350656 50427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 51111 50427 312 324 0 50180 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 204444 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1584728/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=209748 CPUtime=642.07 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 52440 0 0 0 64071 136 0 0 25 0 1 0 132047565 214781952 51736 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 52437 51736 312 324 0 51506 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 209748 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27196 /proc/meminfo: memFree=1540824/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=253396 CPUtime=881.98 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 63351 0 0 0 88028 170 0 0 25 0 1 0 132047565 259477504 62647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 63349 62647 312 324 0 62418 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 253396 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1530520/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=263716 CPUtime=941.96 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 65931 0 0 0 94018 178 0 0 25 0 1 0 132047565 270045184 65227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 65929 65227 312 324 0 64998 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 263716 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1517528/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=276628 CPUtime=1001.94 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 69166 0 0 0 100007 187 0 0 25 0 1 0 132047565 283267072 68462 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 69157 68462 312 324 0 68226 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 276628 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1507480/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=286648 CPUtime=1061.92 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 71688 0 0 0 105999 193 0 0 25 0 1 0 132047565 293527552 70984 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 71662 70984 312 324 0 70731 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 286648 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1499288/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=294848 CPUtime=1121.9 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 73710 0 0 0 111992 198 0 0 25 0 1 0 132047565 301924352 73006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 73712 73006 312 324 0 72781 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 294848 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1492952/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=301248 CPUtime=1181.88 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 75317 0 0 0 117985 203 0 0 25 0 1 0 132047565 308477952 74613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 75312 74613 312 324 0 74381 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 301248 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1485784/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=308276 CPUtime=1241.86 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 77071 0 0 0 123978 208 0 0 25 0 1 0 132047565 315674624 76367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 77069 76367 312 324 0 76138 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 308276 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1478296/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=315688 CPUtime=1301.84 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 78923 0 0 0 129971 213 0 0 25 0 1 0 132047565 323264512 78219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 78922 78219 312 324 0 77991 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 315688 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1472856/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=321144 CPUtime=1361.82 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 80300 0 0 0 135965 217 0 0 25 0 1 0 132047565 328851456 79596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 80286 79596 312 324 0 79355 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 321144 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1468696/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=325304 CPUtime=1421.8 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 81329 0 0 0 141960 220 0 0 25 0 1 0 132047565 333111296 80625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 81326 80625 312 324 0 80395 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 325304 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1464600/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=329348 CPUtime=1481.77 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 82359 0 0 0 147954 223 0 0 25 0 1 0 132047565 337252352 81655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 82337 81655 312 324 0 81406 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 329348 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1423768/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=370084 CPUtime=1541.75 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 92544 0 0 0 153938 237 0 0 25 0 1 0 132047565 378966016 91840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 92521 91840 312 324 0 91590 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 370084 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1402584/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=391340 CPUtime=1601.74 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 97840 0 0 0 159927 247 0 0 25 0 1 0 132047565 400732160 97136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 97835 97136 312 324 0 96904 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 391340 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1390360/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=403348 CPUtime=1661.71 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 100865 0 0 0 165919 252 0 0 25 0 1 0 132047565 413028352 100161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 100837 100161 312 324 0 99906 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 403348 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=405156 CPUtime=1721.69 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 171915 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 101289 100603 312 324 0 100358 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 405156 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=405156 CPUtime=1781.67 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 177913 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 101289 100603 312 324 0 100358 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 405156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=405156 CPUtime=1800.07 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194304 101804 0 0 0 179753 254 0 0 25 0 1 0 132047565 414879744 100603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 101289 100603 312 324 0 100358 0 Current children cumulated CPU time (s) 1800.07 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.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 27198 /proc/meminfo: memFree=1388312/2055920 swapFree=4153856/4192956 [pid=27195] ppid=27193 vsize=0 CPUtime=1800.17 /proc/27195/stat : 27195 (bsolo3.0.16) R 27193 27195 26070 0 -1 4194308 101805 0 0 0 179757 260 0 0 25 0 1 0 132047565 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/27195/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.19 CPU user time (s): 1797.58 CPU system time (s): 2.6156 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 407144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.58 system time used= 2.6156 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101805 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= 23305 runsolver used 2.21166 second user time and 4.28535 second system time The end
Begin job on node3 on Sat Apr 14 14:14:58 UTC 2007 IDJOB= 348007 IDBENCH= 1599 IDSOLVER= 163 FILE ID= node3/348007-1176560098 PBS_JOBID= 4556755 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-348007-1176560098 -o ROOT/results/node3/solver-348007-1176560098 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348007-1176560098/instance-348007-1176560098.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 012c11861136c422cb8bda81e1d7561a RANDOM SEED= 923870637 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: 1791864 kB Buffers: 26600 kB Cached: 146500 kB SwapCached: 2408 kB Active: 73688 kB Inactive: 125892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1791864 kB SwapTotal: 4192956 kB SwapFree: 4153856 kB Dirty: 5080 kB Writeback: 0 kB Mapped: 34492 kB Slab: 49996 kB Committed_AS: 4913140 kB PageTables: 1788 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= 66553 MiB End job on node3 on Sat Apr 14 14:45:01 UTC 2007