Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.17 | 1800.89 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-roll3000.opb |
MD5SUM | 671dfb6ede3c120af748dc40a7daef68 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000000 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 2123511627775 |
Number of bits of the biggest sum of numbers | 41 |
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/433196-1177956217/instance-433196-1177956217.opb 0.00/0.00 c File size is 910199 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.09/0.17 c Highest Coefficient sum: 2.12351e+12 0.09/0.17 c Parsing was ok!! 0.09/0.17 c Total parsing time: 0.166 s 0.09/0.17 c Var: 8902 Constr: 3038 988/31/2019 Lit: 113980 Watch. Lit: 36267 0.09/0.17 c Obj. Vars: 31 (0.348236 % of total variables) 0.89/0.98 c Pre-processing Time: 0.98 s 1800.08/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.80 c 0 5557 2061 98916 47 49514 191658 0 0 0.98 1800.08/1800.80 c 100 5557 2161 101483 46 54725 210824 100 95 1.04 1800.08/1800.80 c 250 5557 2311 107495 46 59010 231907 250 201 1.24 1800.08/1800.80 c 475 5557 2536 113631 44 59136 255098 475 347 1.37 1800.08/1800.80 c 815 5557 2876 134985 46 61322 280608 815 410 1.98 1800.08/1800.80 c 1325 5557 3386 154938 45 61745 308669 1325 541 2.45 1800.08/1800.80 c 2088 5557 4149 187040 45 62904 339536 2088 677 3.08 1800.08/1800.80 c 3235 5557 5296 238705 45 66679 373490 3235 769 4.20 1800.08/1800.80 c 4957 5557 7018 342271 48 69722 410840 4957 705 7.03 1800.08/1800.80 c 7541 5557 9602 427032 44 74223 451925 7541 804 9.37 1800.08/1800.80 c 11420 5557 13481 779287 57 82709 497118 11420 752 15.19 1800.08/1800.80 c 17245 5557 19306 1290043 66 94197 546830 17245 687 25.09 1800.08/1800.80 c 25982 5557 28043 1997209 71 111414 601514 25982 619 41.92 1800.08/1800.81 c 39093 5557 41154 3734955 90 138235 661666 39093 485 80.46 1800.08/1800.81 c 58764 5557 60825 6349680 104 177090 727833 58764 407 144.27 1800.08/1800.81 c 88278 5557 90339 10104058 111 236273 800617 88278 355 248.40 1800.08/1800.81 c 132549 5557 134610 14666876 108 324723 880679 132549 284 465.20 1800.08/1800.81 c 198959 5557 201020 24033287 119 457270 968747 198959 225 880.36 1800.08/1800.81 c Caught signal: 15 1800.08/1800.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.81 c 17 291942 65584 563799 294003 34999405 291942 162 1800.09 1800.08/1800.81 s UNKNOWN 1800.08/1800.81 c Total time: 1800.09 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-433196-1177956217 -o ROOT/results/node33/solver-433196-1177956217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.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.72 0.92 0.90 2/77 7404 /proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=12628 CPUtime=0 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243537153 12931072 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 3157 333 280 324 0 2004 0 [startup+0.0224799 s] /proc/loadavg: 0.72 0.92 0.90 2/77 7404 /proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=5412 CPUtime=0.01 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 538 0 0 0 1 0 0 0 18 0 1 0 243537153 5541888 508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 1353 509 303 324 0 200 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5412 [startup+0.101494 s] /proc/loadavg: 0.72 0.92 0.90 2/77 7404 /proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=6340 CPUtime=0.09 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 877 0 0 0 9 0 0 0 18 0 1 0 243537153 6492160 847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11405100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 1585 847 406 324 0 432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6340 [startup+0.301535 s] /proc/loadavg: 0.72 0.92 0.90 2/77 7404 /proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=8144 CPUtime=0.29 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1638 0 0 0 29 0 0 0 19 0 1 0 243537153 8339456 1385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 2036 1385 304 324 0 1106 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8144 [startup+0.701618 s] /proc/loadavg: 0.72 0.92 0.90 2/77 7404 /proc/meminfo: memFree=1871160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=9160 CPUtime=0.69 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1905 0 0 0 68 1 0 0 22 0 1 0 243537153 9379840 1652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 2290 1652 306 324 0 1360 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9160 [startup+1.50178 s] /proc/loadavg: 0.72 0.92 0.90 2/78 7405 /proc/meminfo: memFree=1866288/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=8492 CPUtime=1.48 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 1930 0 0 0 147 1 0 0 25 0 1 0 243537153 8695808 1475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 2123 1475 310 324 0 1193 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8492 [startup+3.10111 s] /proc/loadavg: 0.72 0.92 0.90 2/78 7405 /proc/meminfo: memFree=1866032/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=9412 CPUtime=3.09 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 2179 0 0 0 307 2 0 0 25 0 1 0 243537153 9637888 1724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 2353 1724 310 324 0 1423 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9412 [startup+6.30178 s] /proc/loadavg: 0.74 0.92 0.90 2/78 7405 /proc/meminfo: memFree=1863664/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=11380 CPUtime=6.28 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 2668 0 0 0 626 2 0 0 25 0 1 0 243537153 11653120 2213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547282 0 0 4096 16384 0 0 0 17 0 0 0 /proc/7404/statm: 2845 2213 310 324 0 1915 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 11380 [startup+12.7011 s] /proc/loadavg: 0.84 0.94 0.91 2/78 7405 /proc/meminfo: memFree=1859312/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=16112 CPUtime=12.67 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 3838 0 0 0 1264 3 0 0 25 0 1 0 243537153 16498688 3383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 4028 3383 310 324 0 3098 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 16112 [startup+25.5017 s] /proc/loadavg: 0.87 0.94 0.91 2/78 7405 /proc/meminfo: memFree=1849392/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=25484 CPUtime=25.47 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 6175 0 0 0 2542 5 0 0 25 0 1 0 243537153 26095616 5720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 6371 5720 310 324 0 5441 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 25484 [startup+51.102 s] /proc/loadavg: 0.92 0.95 0.91 2/78 7405 /proc/meminfo: memFree=1833776/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=41364 CPUtime=51.05 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 10140 0 0 0 5098 7 0 0 25 0 1 0 243537153 42356736 9685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 10341 9685 310 324 0 9411 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 41364 [startup+102.306 s] /proc/loadavg: 1.01 0.97 0.91 2/78 7405 /proc/meminfo: memFree=1803376/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=71396 CPUtime=102.24 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 17662 0 0 0 10209 15 0 0 25 0 1 0 243537153 73109504 17207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 17849 17207 310 324 0 16919 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 71396 [startup+162.303 s] /proc/loadavg: 1.04 0.99 0.92 2/78 7405 /proc/meminfo: memFree=1770416/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=104456 CPUtime=162.21 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 25939 0 0 0 16198 23 0 0 25 0 1 0 243537153 106962944 25484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 26114 25484 310 324 0 25184 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 104456 [startup+222.302 s] /proc/loadavg: 1.05 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1741808/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=132664 CPUtime=222.18 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 32993 0 0 0 22188 30 0 0 25 0 1 0 243537153 135847936 32538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 33166 32538 310 324 0 32236 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 132664 [startup+282.301 s] /proc/loadavg: 1.05 1.01 0.93 2/78 7405 /proc/meminfo: memFree=1716656/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=158348 CPUtime=282.16 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 39413 0 0 0 28180 36 0 0 25 0 1 0 243537153 162148352 38958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 39587 38958 310 324 0 38657 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 158348 [startup+342.302 s] /proc/loadavg: 1.02 1.01 0.93 2/78 7405 /proc/meminfo: memFree=1697520/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=176860 CPUtime=342.14 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 44022 0 0 0 34173 41 0 0 25 0 1 0 243537153 181104640 43567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 44215 43567 310 324 0 43285 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 176860 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1683440/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=191116 CPUtime=402.11 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 47595 0 0 0 40167 44 0 0 25 0 1 0 243537153 195702784 47140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 47779 47140 310 324 0 46849 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 191116 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1666352/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=207988 CPUtime=462.09 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 51816 0 0 0 46161 48 0 0 25 0 1 0 243537153 212979712 51361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 51997 51361 310 324 0 51067 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 207988 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1644464/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=230136 CPUtime=522.07 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 57352 0 0 0 52153 54 0 0 25 0 1 0 243537153 235659264 56897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 57534 56897 310 324 0 56604 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 230136 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1624240/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=249976 CPUtime=582.05 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 62317 0 0 0 58145 60 0 0 25 0 1 0 243537153 255975424 61862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11375969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 62494 61862 310 324 0 61564 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 249976 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1610096/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=264064 CPUtime=642.03 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 65812 0 0 0 64139 64 0 0 25 0 1 0 243537153 270401536 65357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 66016 65357 310 324 0 65086 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 264064 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1556272/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=317784 CPUtime=821.95 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 79256 0 0 0 82117 78 0 0 25 0 1 0 243537153 325410816 78801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378457 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 79446 78801 310 324 0 78516 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 317784 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1538160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=335728 CPUtime=881.93 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 83733 0 0 0 88111 82 0 0 25 0 1 0 243537153 343785472 83278 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 83932 83278 310 324 0 83002 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 335728 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1525744/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=348164 CPUtime=941.91 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 86844 0 0 0 94105 86 0 0 25 0 1 0 243537153 356519936 86389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 87041 86389 310 324 0 86111 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 348164 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1512240/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=361556 CPUtime=1001.88 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 90204 0 0 0 100099 89 0 0 25 0 1 0 243537153 370233344 89749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 90389 89749 310 324 0 89459 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 361556 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 3/78 7405 /proc/meminfo: memFree=1497200/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=376612 CPUtime=1061.86 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 93949 0 0 0 106093 93 0 0 25 0 1 0 243537153 385650688 93494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 94153 93494 310 324 0 93223 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 376612 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1487408/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=386248 CPUtime=1121.83 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 96381 0 0 0 112088 95 0 0 25 0 1 0 243537153 395517952 95926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 96562 95926 310 324 0 95632 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 386248 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1479536/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=394192 CPUtime=1181.81 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 98356 0 0 0 118084 97 0 0 25 0 1 0 243537153 403652608 97901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 98548 97901 310 324 0 97618 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 394192 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1470192/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=403536 CPUtime=1241.79 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 100701 0 0 0 124078 101 0 0 25 0 1 0 243537153 413220864 100246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 100884 100246 310 324 0 99954 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 403536 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1461296/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=412232 CPUtime=1301.77 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 102866 0 0 0 130073 104 0 0 25 0 1 0 243537153 422125568 102411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 103058 102411 310 324 0 102128 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 412232 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1453616/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=419876 CPUtime=1361.74 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 104780 0 0 0 136067 107 0 0 25 0 1 0 243537153 429953024 104325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 104969 104325 310 324 0 104039 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 419876 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1444592/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=428800 CPUtime=1421.72 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 107012 0 0 0 142062 110 0 0 25 0 1 0 243537153 439091200 106557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 107200 106557 310 324 0 106270 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 428800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1434160/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=439296 CPUtime=1481.7 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 109626 0 0 0 148056 114 0 0 25 0 1 0 243537153 449839104 109171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 109824 109171 310 324 0 108894 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 439296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1423344/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=449836 CPUtime=1541.67 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 112278 0 0 0 154051 116 0 0 25 0 1 0 243537153 460632064 111823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 112459 111823 310 324 0 111529 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 449836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1414512/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=458672 CPUtime=1601.65 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 114490 0 0 0 160045 120 0 0 25 0 1 0 243537153 469680128 114035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 114668 114035 310 324 0 113738 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 458672 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1405424/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=467644 CPUtime=1661.63 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 116726 0 0 0 166041 122 0 0 25 0 1 0 243537153 478867456 116271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 116911 116271 310 324 0 115981 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 467644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1397616/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=475572 CPUtime=1721.61 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 118693 0 0 0 172036 125 0 0 25 0 1 0 243537153 486985728 118238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 118893 118238 310 324 0 117963 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 475572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1390320/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=482592 CPUtime=1781.58 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 120475 0 0 0 178031 127 0 0 25 0 1 0 243537153 494174208 120020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 120648 120020 310 324 0 119718 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 482592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.93 2/78 7405 /proc/meminfo: memFree=1387312/2055920 swapFree=4147832/4192956 [pid=7404] ppid=7402 vsize=485580 CPUtime=1800.08 /proc/7404/stat : 7404 (bsolo3.0.17) R 7402 7404 7341 0 -1 4194304 121200 0 0 0 179880 128 0 0 25 0 1 0 243537153 497233920 120745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7404/statm: 121395 120745 310 324 0 120465 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 485580 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.89 CPU time (s): 1800.17 CPU user time (s): 1798.81 CPU system time (s): 1.36279 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 485580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.36279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121204 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= 3880 runsolver used 1.3308 second user time and 3.9074 second system time The end
Begin job on node33 on Mon Apr 30 18:03:37 UTC 2007 IDJOB= 433196 IDBENCH= 2349 IDSOLVER= 199 FILE ID= node33/433196-1177956217 PBS_JOBID= 4727736 Free space on /tmp= 66557 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-roll3000.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-433196-1177956217 -o ROOT/results/node33/solver-433196-1177956217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433196-1177956217/instance-433196-1177956217.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 671dfb6ede3c120af748dc40a7daef68 RANDOM SEED= 196691421 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1871568 kB Buffers: 23788 kB Cached: 73728 kB SwapCached: 13868 kB Active: 61292 kB Inactive: 59172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871568 kB SwapTotal: 4192956 kB SwapFree: 4147832 kB Dirty: 7672 kB Writeback: 0 kB Mapped: 29928 kB Slab: 49136 kB Committed_AS: 1928964 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66557 MiB End job on node33 on Mon Apr 30 18:33:40 UTC 2007