Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.23 | 1800.75 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb |
MD5SUM | a5c62cef1e86c64304fd5ef232ab5991 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 107808 |
Total number of constraints | 3904 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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/433219-1177956542/instance-433219-1177956542.opb 0.00/0.00 c File size is 4779220 bytes. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.78/0.83 c Highest Coefficient sum: 2.99075e+14 0.78/0.83 c Parsing was ok!! 0.78/0.83 c Total parsing time: 0.832 s 0.78/0.88 c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 103497 0.78/0.88 c Obj. Vars: 38688 (35.886 % of total variables) 2.69/2.78 c Pre-processing Time: 2.782 s 1800.09/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.61 c 0 63376 5184 430832 83 379291 861664 0 0 2.78 1800.09/1800.61 c 100 63376 5284 443049 83 381886 947831 100 34 2.93 1800.09/1800.61 c 251 63376 5435 449530 82 382175 500000 251 83 2.99 1800.09/1800.61 c 476 63376 5660 456934 80 382562 550001 476 154 3.08 1800.09/1800.61 c 814 63376 5998 474981 79 383245 605002 814 245 3.31 1800.09/1800.61 c 1322 63376 6506 496078 76 384261 665503 1322 379 3.48 1800.09/1800.61 c 2086 63376 7270 571091 78 386380 732054 2086 537 3.88 1800.09/1800.61 c 3232 63376 8416 651141 77 388784 805260 3232 701 4.60 1800.09/1800.61 c 4953 63376 10137 828733 81 391721 885787 4953 961 5.15 1800.09/1800.61 c 7539 63376 12723 1015351 79 397387 974366 7539 1159 6.50 1800.09/1800.61 c 11420 63376 16604 1272676 76 405039 500000 11420 1421 8.04 1800.09/1800.61 c 17243 63376 22427 1657783 73 416783 550001 17243 1690 10.20 1800.09/1800.61 c 25980 63376 31164 2507624 80 433737 605002 25980 1823 14.24 1800.09/1800.61 c 39090 63376 44274 3645720 82 460561 665503 39090 1971 19.83 1800.09/1800.61 c 58760 63376 63944 5162547 80 499579 732054 58760 1732 33.91 1800.09/1800.61 c 88270 63376 93454 6516947 69 559433 805260 88270 1748 50.48 1800.09/1800.61 c 132541 63376 137725 12685877 92 647995 885787 132541 1215 109.03 1800.09/1800.61 c 198953 63375 204137 17093675 83 781150 974366 198953 1225 162.32 1800.09/1800.61 c 298574 63374 303758 29343399 96 979816 500000 298574 590 505.70 1800.09/1800.61 c 448009 63372 453193 45441319 100 1278710 550001 448009 440 1017.85 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 19 574999 50900 2769882 580183 56405876 574999 319 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/node12/watcher-433219-1177956542 -o ROOT/results/node12/solver-433219-1177956542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433219-1177956542/instance-433219-1177956542.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 1.00 0.93 3/77 1212 /proc/meminfo: memFree=1856496/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=16404 CPUtime=0 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271691653 16797696 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 4101 335 280 324 0 2004 0 [startup+0.0958529 s] /proc/loadavg: 1.00 1.00 0.93 3/77 1212 /proc/meminfo: memFree=1856496/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=20312 CPUtime=0.08 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 1477 0 0 0 8 0 0 0 18 0 1 0 271691653 20799488 1328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 4999 1328 429 324 0 2902 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20312 [startup+0.101853 s] /proc/loadavg: 1.00 1.00 0.93 3/77 1212 /proc/meminfo: memFree=1856496/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=20136 CPUtime=0.09 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 1510 0 0 0 9 0 0 0 18 0 1 0 271691653 20619264 1361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 5034 1362 441 324 0 2937 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20136 [startup+0.301874 s] /proc/loadavg: 1.00 1.00 0.93 3/77 1212 /proc/meminfo: memFree=1856496/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=15780 CPUtime=0.29 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 2761 0 0 0 28 1 0 0 19 0 1 0 271691653 16158720 2563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 3945 2563 707 324 0 1848 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15780 [startup+0.701913 s] /proc/loadavg: 1.00 1.00 0.93 3/77 1212 /proc/meminfo: memFree=1856496/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=21888 CPUtime=0.69 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 4969 0 0 0 68 1 0 0 23 0 1 0 271691653 22413312 4517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 5472 4517 1240 324 0 3375 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21888 [startup+1.50199 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1826856/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=36692 CPUtime=1.49 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 9828 0 0 0 144 5 0 0 25 0 1 0 271691653 37572608 8133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 9173 8133 304 324 0 8243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36692 [startup+3.10215 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1825000/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=41420 CPUtime=3.09 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 12066 0 0 0 295 14 0 0 25 0 1 0 271691653 42414080 9316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 10355 9316 310 324 0 9425 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41420 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1818920/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=44308 CPUtime=6.29 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 12803 0 0 0 615 14 0 0 25 0 1 0 271691653 45371392 10053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 11077 10054 310 324 0 10147 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44308 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1802344/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=62016 CPUtime=12.69 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 17218 0 0 0 1252 17 0 0 25 0 1 0 271691653 63504384 14468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 15504 14468 310 324 0 14574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 62016 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1767592/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=94384 CPUtime=25.48 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 25331 0 0 0 2526 22 0 0 25 0 1 0 271691653 96649216 22581 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 23596 22581 310 324 0 22666 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94384 [startup+51.102 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1737256/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=124832 CPUtime=51.07 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 32934 0 0 0 5078 29 0 0 25 0 1 0 271691653 127827968 30184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 31208 30184 310 324 0 30278 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124832 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1660264/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=201172 CPUtime=102.26 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 52031 0 0 0 10182 44 0 0 25 0 1 0 271691653 206000128 49281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 50293 49281 310 324 0 49363 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 201172 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1589992/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=271596 CPUtime=162.23 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 69644 0 0 0 16167 56 0 0 25 0 1 0 271691653 278114304 66894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 67899 66894 310 324 0 66969 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 271596 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1524840/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=336256 CPUtime=222.22 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 85817 0 0 0 22153 69 0 0 25 0 1 0 271691653 344326144 83067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547199 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 84064 83067 310 324 0 83134 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 336256 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1496296/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=364964 CPUtime=282.2 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 92981 0 0 0 28144 76 0 0 25 0 1 0 271691653 373723136 90231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 91241 90231 310 324 0 90311 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 364964 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1476200/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=384748 CPUtime=342.18 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 97936 0 0 0 34137 81 0 0 25 0 1 0 271691653 393981952 95186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 96187 95186 310 324 0 95257 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 384748 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1457960/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=402988 CPUtime=402.17 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 102499 0 0 0 40129 88 0 0 25 0 1 0 271691653 412659712 99749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 100747 99749 310 324 0 99817 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 402988 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1440296/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=420536 CPUtime=462.15 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 106893 0 0 0 46123 92 0 0 25 0 1 0 271691653 430628864 104143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 105134 104143 310 324 0 104204 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 420536 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1401512/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=460532 CPUtime=522.13 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 116890 0 0 0 52113 100 0 0 25 0 1 0 271691653 471584768 114140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 115133 114140 310 324 0 114203 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 460532 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1353128/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=507984 CPUtime=582.12 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 128758 0 0 0 58101 111 0 0 25 0 1 0 271691653 520175616 126008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 126996 126008 310 324 0 126066 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 507984 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1305384/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=555260 CPUtime=642.11 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 140562 0 0 0 64088 123 0 0 25 0 1 0 271691653 568586240 137812 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 138815 137812 310 324 0 137885 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 555260 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1226472/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=633808 CPUtime=882.04 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 160206 0 0 0 88058 146 0 0 25 0 1 0 271691653 649019392 157456 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 158452 157456 310 324 0 157522 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 633808 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1213864/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=646500 CPUtime=942.02 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 163372 0 0 0 94053 149 0 0 25 0 1 0 271691653 662016000 160622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 161625 160622 310 324 0 160695 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 646500 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1202280/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=657892 CPUtime=1002 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 166214 0 0 0 100047 153 0 0 25 0 1 0 271691653 673681408 163464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 164473 163464 310 324 0 163543 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 657892 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1136936/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=723420 CPUtime=1061.98 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 182625 0 0 0 106032 166 0 0 25 0 1 0 271691653 740782080 179875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 180855 179875 310 324 0 179925 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 723420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1114792/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=745116 CPUtime=1121.97 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 188042 0 0 0 112024 173 0 0 25 0 1 0 271691653 762998784 185292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 186279 185292 310 324 0 185349 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 745116 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1102376/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=757636 CPUtime=1181.95 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 191168 0 0 0 118018 177 0 0 25 0 1 0 271691653 775819264 188418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 189409 188418 310 324 0 188479 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 757636 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1092264/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=767568 CPUtime=1241.94 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 193664 0 0 0 124013 181 0 0 25 0 1 0 271691653 785989632 190914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 191892 190914 310 324 0 190962 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 767568 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1086056/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=773768 CPUtime=1301.92 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 195205 0 0 0 130009 183 0 0 25 0 1 0 271691653 792338432 192455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 193442 192455 310 324 0 192512 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 773768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1080168/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=779700 CPUtime=1361.91 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 196687 0 0 0 136005 186 0 0 25 0 1 0 271691653 798412800 193937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 194925 193937 310 324 0 193995 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 779700 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1074728/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=785124 CPUtime=1421.89 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 198028 0 0 0 142001 188 0 0 25 0 1 0 271691653 803966976 195278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 196281 195278 310 324 0 195351 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 785124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1213 /proc/meminfo: memFree=1069352/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=790560 CPUtime=1481.87 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 199400 0 0 0 147997 190 0 0 25 0 1 0 271691653 809533440 196650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10127189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 197640 196650 310 324 0 196710 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 790560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1064872/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=794960 CPUtime=1541.85 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 200495 0 0 0 153993 192 0 0 25 0 1 0 271691653 814039040 197745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 198740 197745 310 324 0 197810 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 794960 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1059816/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=799992 CPUtime=1601.83 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 201766 0 0 0 159989 194 0 0 25 0 1 0 271691653 819191808 199016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 199998 199016 310 324 0 199068 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 799992 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1055464/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=804248 CPUtime=1661.82 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 202824 0 0 0 165986 196 0 0 25 0 1 0 271691653 823549952 200074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 201062 200074 310 324 0 200132 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 804248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1051112/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=808648 CPUtime=1721.81 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 203924 0 0 0 171983 198 0 0 25 0 1 0 271691653 828055552 201174 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 202162 201174 310 324 0 201232 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 808648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1046632/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=813044 CPUtime=1781.79 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 205031 0 0 0 177980 199 0 0 25 0 1 0 271691653 832557056 202281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 203261 202281 310 324 0 202331 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 813044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1045096/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=814588 CPUtime=1800.09 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194304 205415 0 0 0 179809 200 0 0 25 0 1 0 271691653 834138112 202665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 203647 202665 310 324 0 202717 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 814588 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: 1.00 1.00 0.93 2/78 1215 /proc/meminfo: memFree=1045096/2055920 swapFree=4160072/4192956 [pid=1212] ppid=1210 vsize=0 CPUtime=1800.2 /proc/1212/stat : 1212 (bsolo3.0.17) R 1210 1212 850 0 -1 4194308 205419 0 0 0 179810 210 0 0 25 0 1 0 271691653 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/1212/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.75 CPU time (s): 1800.23 CPU user time (s): 1798.1 CPU system time (s): 2.13068 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 814588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.1 system time used= 2.13068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205419 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= 6285 runsolver used 1.3158 second user time and 3.9534 second system time The end
Begin job on node12 on Mon Apr 30 18:09:03 UTC 2007 IDJOB= 433219 IDBENCH= 2372 IDSOLVER= 199 FILE ID= node12/433219-1177956542 PBS_JOBID= 4727707 Free space on /tmp= 66554 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433219-1177956542/instance-433219-1177956542.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-433219-1177956542 -o ROOT/results/node12/solver-433219-1177956542 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433219-1177956542/instance-433219-1177956542.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a5c62cef1e86c64304fd5ef232ab5991 RANDOM SEED= 235090488 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1856968 kB Buffers: 32392 kB Cached: 78972 kB SwapCached: 11512 kB Active: 49444 kB Inactive: 85716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856968 kB SwapTotal: 4192956 kB SwapFree: 4160072 kB Dirty: 11324 kB Writeback: 0 kB Mapped: 30780 kB Slab: 49280 kB Committed_AS: 6248092 kB PageTables: 1796 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= 66554 MiB End job on node12 on Mon Apr 30 18:39:06 UTC 2007