Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.15 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
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 | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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/432607-1177946176/instance-432607-1177946176.opb 0.00/0.00 c File size is 11539406 bytes. 2.19/2.26 c Highest Coefficient sum: 524680 2.19/2.26 c Parsing was ok!! 2.19/2.26 c Total parsing time: 2.252 s 2.28/2.33 c Var: 142226 Constr: 20882 2438/0/18444 Lit: 988598 Watch. Lit: 83618 2.28/2.33 c Obj. Vars: 780 (0.548423 % of total variables) 4.38/4.47 c Pre-processing Time: 4.457 s 4.38/4.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.38/4.48 c 0 142211 20882 988568 47 577257 500000 0 0 4.46 4.38/4.48 c Switching off LPR mode. 1800.07/1800.70 c 100 142211 20982 993301 47 827201 550001 100 20 4.78 1800.07/1800.70 c 250 142211 21132 998945 47 826514 605002 250 50 4.91 1800.07/1800.70 c 475 142211 21357 1007648 47 826444 665503 475 90 5.24 1800.07/1800.70 c 813 142211 21695 1019007 46 826988 732054 813 149 5.43 1800.07/1800.70 c 1321 142211 22203 1042823 46 829188 805260 1321 199 6.63 1800.07/1800.70 c 2085 142211 22967 1081180 47 833522 885787 2085 246 8.47 1800.07/1800.70 c 3231 142211 24113 1109107 45 845360 974366 3231 339 9.52 1800.07/1800.70 c 4953 142211 25835 1174520 45 851924 500000 4953 409 12.08 1800.07/1800.70 c 7537 142211 28419 1304114 45 853989 550001 7537 388 19.42 1800.07/1800.70 c 11416 142211 32298 1494463 46 860612 605002 11416 430 26.51 1800.07/1800.70 c 17242 142211 38124 1716515 45 872234 665503 17242 609 28.30 1800.07/1800.70 c 25979 142211 46861 2188439 46 890818 732054 25979 719 36.11 1800.07/1800.70 c 39091 142211 59973 2894911 48 919288 805260 39091 834 46.86 1800.07/1800.70 c 58762 142211 79644 3619424 45 958411 885787 58762 1018 57.68 1800.07/1800.70 c 88272 142211 109154 5179284 47 1018104 974366 88272 901 97.95 1800.07/1800.70 c 132543 142211 153425 7632743 49 1106748 500000 132543 615 215.25 1800.07/1800.70 c 198954 142211 219836 11010888 50 1241025 550001 198954 572 347.24 1800.07/1800.70 c 298574 142211 319456 15929443 49 1437270 605002 298574 442 675.32 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 18 436092 17466 1261815 456974 25446430 436092 242 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.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-432607-1177946176 -o ROOT/results/node59/solver-432607-1177946176 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.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/64 30111 /proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=23008 CPUtime=0 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242527375 23560192 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 5752 333 279 324 0 2004 0 [startup+0.0867281 s] /proc/loadavg: 0.91 0.95 0.90 3/64 30111 /proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=18088 CPUtime=0.07 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 1218 0 0 0 7 0 0 0 18 0 1 0 242527375 18522112 1148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 4522 1148 384 324 0 774 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 18088 [startup+0.10173 s] /proc/loadavg: 0.91 0.95 0.90 3/64 30111 /proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=18816 CPUtime=0.09 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 1452 0 0 0 9 0 0 0 18 0 1 0 242527375 19267584 1303 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 4704 1304 405 324 0 956 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18816 [startup+0.301767 s] /proc/loadavg: 0.91 0.95 0.90 3/64 30111 /proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=25604 CPUtime=0.28 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 3713 0 0 0 27 1 0 0 19 0 1 0 242527375 26218496 3261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 6401 3261 656 324 0 2653 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25604 [startup+0.701845 s] /proc/loadavg: 0.91 0.95 0.90 3/64 30111 /proc/meminfo: memFree=1718592/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=28740 CPUtime=0.69 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 4998 0 0 0 67 2 0 0 22 0 1 0 242527375 29429760 4546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 7185 4546 1166 324 0 3437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28740 [startup+1.502 s] /proc/loadavg: 0.92 0.95 0.90 2/65 30112 /proc/meminfo: memFree=1702968/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=33672 CPUtime=1.49 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 7249 0 0 0 146 3 0 0 25 0 1 0 242527375 34480128 6797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 8418 6797 2145 324 0 4670 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33672 [startup+3.1013 s] /proc/loadavg: 0.92 0.95 0.90 2/65 30112 /proc/meminfo: memFree=1695672/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=67052 CPUtime=3.08 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20226 0 0 0 290 18 0 0 25 0 1 0 242527375 68661248 15566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9719581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 16763 15566 306 324 0 15833 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 67052 [startup+6.3019 s] /proc/loadavg: 0.92 0.95 0.90 2/65 30112 /proc/meminfo: memFree=1655096/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=69300 CPUtime=6.28 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20796 0 0 0 603 25 0 0 25 0 1 0 242527375 70963200 16136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 17325 16136 310 324 0 16395 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 69300 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.91 2/65 30112 /proc/meminfo: memFree=1655032/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=69316 CPUtime=12.67 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20800 0 0 0 1242 25 0 0 25 0 1 0 242527375 70979584 16140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 17329 16140 310 324 0 16399 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 69316 [startup+25.5015 s] /proc/loadavg: 0.94 0.96 0.91 2/65 30112 /proc/meminfo: memFree=1655160/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=69332 CPUtime=25.47 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 20804 0 0 0 2522 25 0 0 25 0 1 0 242527375 70995968 16144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 17333 16144 310 324 0 16403 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 69332 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.91 2/65 30112 /proc/meminfo: memFree=1630520/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=94476 CPUtime=51.06 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 27094 0 0 0 5077 29 0 0 25 0 1 0 242527375 96743424 22434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 23619 22434 310 324 0 22689 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 94476 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/65 30112 /proc/meminfo: memFree=1595448/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=128944 CPUtime=102.25 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 35732 0 0 0 10191 34 0 0 25 0 1 0 242527375 132038656 31072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 32236 31072 310 324 0 31306 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 128944 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1572664/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=151732 CPUtime=162.22 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 41435 0 0 0 16183 39 0 0 25 0 1 0 242527375 155373568 36775 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9727763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 37933 36775 310 324 0 37003 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 151732 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1551032/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=173616 CPUtime=222.21 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 46895 0 0 0 22178 43 0 0 25 0 1 0 242527375 177782784 42235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 43404 42235 310 324 0 42474 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 173616 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1525432/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=198972 CPUtime=282.18 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 53239 0 0 0 28168 50 0 0 25 0 1 0 242527375 203747328 48579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 49743 48579 310 324 0 48813 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 198972 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1511992/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=212336 CPUtime=342.16 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 56558 0 0 0 34162 54 0 0 25 0 1 0 242527375 217432064 51898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 53084 51898 310 324 0 52154 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 212336 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1481528/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=242736 CPUtime=402.14 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 64181 0 0 0 40153 61 0 0 25 0 1 0 242527375 248561664 59521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 60684 59521 310 324 0 59754 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 242736 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1469304/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=254908 CPUtime=462.12 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 67209 0 0 0 46147 65 0 0 25 0 1 0 242527375 261025792 62549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 63727 62549 310 324 0 62797 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 254908 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1458040/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=266180 CPUtime=522.11 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 70032 0 0 0 52143 68 0 0 25 0 1 0 242527375 272568320 65372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 66545 65372 310 324 0 65615 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 266180 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1449400/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=274728 CPUtime=582.08 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 72169 0 0 0 58137 71 0 0 25 0 1 0 242527375 281321472 67509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 68682 67509 310 324 0 67752 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 274728 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1440888/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=283168 CPUtime=642.07 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 74266 0 0 0 64133 74 0 0 25 0 1 0 242527375 289964032 69606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 70792 69606 310 324 0 69862 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 283168 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1391032/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=332952 CPUtime=881.98 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 86728 0 0 0 88114 84 0 0 25 0 1 0 242527375 340942848 82068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 83238 82068 310 324 0 82308 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 332952 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1385336/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=338632 CPUtime=941.96 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 88153 0 0 0 94110 86 0 0 25 0 1 0 242527375 346759168 83493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 84658 83493 310 324 0 83728 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 338632 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1379960/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=344044 CPUtime=1001.94 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 89489 0 0 0 100106 88 0 0 25 0 1 0 242527375 352301056 84829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 86011 84829 310 324 0 85081 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 344044 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1375096/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=348924 CPUtime=1061.91 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 90723 0 0 0 106102 89 0 0 25 0 1 0 242527375 357298176 86063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 87231 86063 310 324 0 86301 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 348924 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1364920/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=358924 CPUtime=1121.89 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 93233 0 0 0 112096 93 0 0 25 0 1 0 242527375 367538176 88573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 89731 88573 310 324 0 88801 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 358924 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1357688/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=366160 CPUtime=1181.87 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 95046 0 0 0 118092 95 0 0 25 0 1 0 242527375 374947840 90386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 91540 90386 310 324 0 90610 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 366160 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1352696/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=371140 CPUtime=1241.85 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 96270 0 0 0 124088 97 0 0 25 0 1 0 242527375 380047360 91610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 92785 91610 310 324 0 91855 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 371140 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1348216/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=375472 CPUtime=1301.84 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 97371 0 0 0 130085 99 0 0 25 0 1 0 242527375 384483328 92711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9720723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 93868 92711 310 324 0 92938 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 375472 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1344312/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=379420 CPUtime=1361.81 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 98353 0 0 0 136081 100 0 0 25 0 1 0 242527375 388526080 93693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 94855 93693 310 324 0 93925 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 379420 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1341048/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=382700 CPUtime=1421.79 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 99176 0 0 0 142078 101 0 0 25 0 1 0 242527375 391884800 94516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 95675 94516 310 324 0 94745 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 382700 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30112 /proc/meminfo: memFree=1336056/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=387852 CPUtime=1481.77 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 100441 0 0 0 148074 103 0 0 25 0 1 0 242527375 397160448 95781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 96963 95781 310 324 0 96033 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 387852 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1330352/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=393400 CPUtime=1541.75 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 101835 0 0 0 154071 104 0 0 25 0 1 0 242527375 402841600 97175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571925 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 98350 97175 310 324 0 97420 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 393400 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1320696/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=403152 CPUtime=1601.73 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 104285 0 0 0 160066 107 0 0 25 0 1 0 242527375 412827648 99625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 100788 99625 310 324 0 99858 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 403152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1313208/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=410524 CPUtime=1661.71 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 106115 0 0 0 166061 110 0 0 25 0 1 0 242527375 420376576 101455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 102631 101455 310 324 0 101701 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 410524 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1307192/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=416560 CPUtime=1721.69 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 107648 0 0 0 172058 111 0 0 25 0 1 0 242527375 426557440 102988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 104140 102988 310 324 0 103210 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 416560 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1302072/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=421680 CPUtime=1781.67 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 108898 0 0 0 178054 113 0 0 25 0 1 0 242527375 431800320 104238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 105420 104238 310 324 0 104490 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 421680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1300344/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=423256 CPUtime=1800.07 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 109313 0 0 0 179894 113 0 0 25 0 1 0 242527375 433414144 104653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 105814 104653 310 324 0 104884 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 423256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 30114 /proc/meminfo: memFree=1300344/2055920 swapFree=4184616/4192956 [pid=30111] ppid=30109 vsize=423256 CPUtime=1800.07 /proc/30111/stat : 30111 (bsolo3.0.17) R 30109 30111 29607 0 -1 4194304 109313 0 0 0 179894 113 0 0 25 0 1 0 242527375 433414144 104653 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30111/statm: 105814 104653 310 324 0 104884 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 423256 Child status: 15 Real time (s): 1800.78 CPU time (s): 1800.15 CPU user time (s): 1798.94 CPU system time (s): 1.20282 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 423256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.94 system time used= 1.20282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109317 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= 2872 runsolver used 1.35079 second user time and 3.57146 second system time The end
Begin job on node59 on Mon Apr 30 15:16:18 UTC 2007 IDJOB= 432607 IDBENCH= 1605 IDSOLVER= 199 FILE ID= node59/432607-1177946176 PBS_JOBID= 4727810 Free space on /tmp= 66547 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-CMS750_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-432607-1177946176 -o ROOT/results/node59/solver-432607-1177946176 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432607-1177946176/instance-432607-1177946176.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 225370425 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1718936 kB Buffers: 32876 kB Cached: 224044 kB SwapCached: 2364 kB Active: 127652 kB Inactive: 139360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1718936 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 17956 kB Writeback: 0 kB Mapped: 16828 kB Slab: 55944 kB Committed_AS: 3196384 kB PageTables: 1476 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= 66547 MiB End job on node59 on Mon Apr 30 15:46:20 UTC 2007