Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.16 | 1800.84 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-scorpion.opb |
MD5SUM | 5969f09e744b158004f0e27c746edfe9 |
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 | 10740 |
Total number of constraints | 377 |
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 | 377 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 8460 |
Biggest coefficient in the objective function | 10788957847552 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 603693086370759 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 33554432000000 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 603693086370759 |
Number of bits of the biggest sum of numbers | 50 |
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/433292-1177957382/instance-433292-1177957382.opb 0.00/0.00 c File size is 721550 bytes. 0.01/0.02 c Coefficients are big enough for not using lower bounding. 0.09/0.11 c Highest Coefficient sum: 6.03693e+14 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.11 s 0.09/0.12 c Var: 10740 Constr: 657 13/0/644 Lit: 75450 Watch. Lit: 11422 0.09/0.12 c Obj. Vars: 8460 (78.7709 % of total variables) 0.19/0.28 c Pre-processing Time: 0.276 s 1800.02/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.70 c 0 8728 541 62950 116 39394 125900 0 0 0.28 1800.02/1800.70 c 100 8728 641 77341 120 45371 138491 100 332 0.30 1800.02/1800.70 c 250 8728 791 98623 124 45689 152341 250 766 0.33 1800.02/1800.70 c 476 8728 1017 131062 128 46186 167576 476 1283 0.37 1800.02/1800.70 c 815 8728 1356 179594 132 46765 184334 815 1823 0.45 1800.02/1800.70 c 1325 8728 1866 252481 135 47873 202768 1325 2280 0.58 1800.02/1800.70 c 2088 8728 2629 361716 137 49358 223045 2088 2587 0.81 1800.02/1800.70 c 3234 8728 3775 525358 139 51708 245350 3234 2644 1.22 1800.02/1800.70 c 4955 8728 5496 770965 140 55108 269886 4955 2439 2.03 1800.02/1800.70 c 7539 8728 8080 1139491 141 60314 296875 7539 1867 4.04 1800.02/1800.70 c 11419 8728 11960 1695393 141 68081 326563 11419 1255 9.10 1800.02/1800.70 c 17241 8728 17782 2528515 142 79710 359220 17241 743 23.19 1800.02/1800.70 c 25979 8728 26520 3777941 142 97206 395143 25979 439 59.15 1800.02/1800.70 c 39089 8728 39630 5651419 142 123402 434658 39089 300 130.15 1800.02/1800.70 c 58760 8728 59301 7744277 130 168410 478124 58760 275 213.07 1800.02/1800.70 c 88270 8726 88811 11218870 126 227652 525937 88270 190 464.24 1800.02/1800.70 c 132541 8726 133082 16682603 125 315770 578531 132541 186 709.97 1800.02/1800.70 c 198951 8725 199492 25409167 127 448460 636385 198951 224 886.05 1800.02/1800.70 c 298572 8721 299113 40256338 134 648765 700024 298572 238 1251.59 1800.02/1800.70 c 448008 8720 448549 56564047 126 946656 770027 448008 271 1647.97 1800.02/1800.70 c Caught signal: 15 1800.02/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.70 c 19 495790 14197 553926 496331 62373396 495790 275 1800.03 1800.02/1800.70 s UNKNOWN 1800.02/1800.70 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-433292-1177957382 -o ROOT/results/node23/solver-433292-1177957382 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433292-1177957382/instance-433292-1177957382.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.80 0.94 0.98 3/77 13185 /proc/meminfo: memFree=1797096/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=12444 CPUtime=0 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243655352 12742656 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 3111 335 280 324 0 2004 0 [startup+0.019693 s] /proc/loadavg: 0.80 0.94 0.98 3/77 13185 /proc/meminfo: memFree=1797096/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=12876 CPUtime=0.01 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 502 0 0 0 1 0 0 0 18 0 1 0 243655352 13185024 472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 3219 473 307 324 0 2112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12876 [startup+0.101709 s] /proc/loadavg: 0.80 0.94 0.98 3/77 13185 /proc/meminfo: memFree=1797096/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=6376 CPUtime=0.09 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 937 0 0 0 9 0 0 0 18 0 1 0 243655352 6529024 907 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 1594 907 435 324 0 487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6376 [startup+0.301747 s] /proc/loadavg: 0.80 0.94 0.98 3/77 13185 /proc/meminfo: memFree=1797096/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=8292 CPUtime=0.29 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 1714 0 0 0 28 1 0 0 19 0 1 0 243655352 8491008 1423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 2073 1423 310 324 0 1143 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8292 [startup+0.701825 s] /proc/loadavg: 0.80 0.94 0.98 3/77 13185 /proc/meminfo: memFree=1797096/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=10876 CPUtime=0.69 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 2360 0 0 0 68 1 0 0 22 0 1 0 243655352 11137024 2069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 2719 2069 310 324 0 1789 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10876 [startup+1.50198 s] /proc/loadavg: 0.80 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1788256/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=14992 CPUtime=1.49 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 3394 0 0 0 147 2 0 0 25 0 1 0 243655352 15351808 3103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 3748 3103 310 324 0 2818 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14992 [startup+3.10129 s] /proc/loadavg: 0.80 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1783520/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=20012 CPUtime=3.09 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 4656 0 0 0 306 3 0 0 25 0 1 0 243655352 20492288 4365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 5003 4365 310 324 0 4073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20012 [startup+6.30191 s] /proc/loadavg: 0.82 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1776624/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=25680 CPUtime=6.29 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 6070 0 0 0 624 5 0 0 25 0 1 0 243655352 26296320 5779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 6420 5779 310 324 0 5490 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25680 [startup+12.7011 s] /proc/loadavg: 0.83 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1768752/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=32888 CPUtime=12.68 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 7856 0 0 0 1262 6 0 0 25 0 1 0 243655352 33677312 7565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 8222 7565 310 324 0 7292 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32888 [startup+25.5016 s] /proc/loadavg: 0.87 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1759088/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=42012 CPUtime=25.47 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 10132 0 0 0 2539 8 0 0 25 0 1 0 243655352 43020288 9841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 10503 9841 310 324 0 9573 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42012 [startup+51.1016 s] /proc/loadavg: 0.91 0.94 0.98 2/78 13186 /proc/meminfo: memFree=1746800/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=54392 CPUtime=51.06 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 13245 0 0 0 5095 11 0 0 25 0 1 0 243655352 55697408 12954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 13598 12954 310 324 0 12668 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54392 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.98 2/78 13186 /proc/meminfo: memFree=1727152/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=73860 CPUtime=102.25 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 18120 0 0 0 10208 17 0 0 25 0 1 0 243655352 75632640 17829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 18465 17829 310 324 0 17535 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 73860 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.98 2/78 13186 /proc/meminfo: memFree=1710960/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=90084 CPUtime=162.21 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 22174 0 0 0 16200 21 0 0 25 0 1 0 243655352 92246016 21883 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 22521 21883 310 324 0 21591 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 90084 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 13186 /proc/meminfo: memFree=1681712/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=119192 CPUtime=222.2 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 29446 0 0 0 22192 28 0 0 25 0 1 0 243655352 122052608 29155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 29798 29155 310 324 0 28868 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 119192 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1671600/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=129368 CPUtime=282.18 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 31976 0 0 0 28187 31 0 0 25 0 1 0 243655352 132472832 31685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 32342 31685 310 324 0 31412 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 129368 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1661040/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=139680 CPUtime=342.16 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 34568 0 0 0 34182 34 0 0 25 0 1 0 243655352 143032320 34277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2926496 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 34920 34277 310 324 0 33990 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 139680 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1650672/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=150128 CPUtime=402.13 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 37177 0 0 0 40175 38 0 0 25 0 1 0 243655352 153731072 36886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 37532 36886 310 324 0 36602 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 150128 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1641328/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=159276 CPUtime=462.11 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 39477 0 0 0 46170 41 0 0 25 0 1 0 243655352 163098624 39186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 39819 39186 310 324 0 38889 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 159276 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1623664/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=176928 CPUtime=522.08 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 43887 0 0 0 52164 44 0 0 25 0 1 0 243655352 181174272 43596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 44232 43596 310 324 0 43302 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 176928 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1612592/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=188024 CPUtime=582.06 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 46643 0 0 0 58158 48 0 0 25 0 1 0 243655352 192536576 46352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 47006 46352 310 324 0 46076 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 188024 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1604272/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=196136 CPUtime=642.05 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 48684 0 0 0 64154 51 0 0 25 0 1 0 243655352 200843264 48393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 49034 48393 310 324 0 48104 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 196136 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1448624/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=351412 CPUtime=881.95 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 87498 0 0 0 88106 89 0 0 25 0 1 0 243655352 359845888 87207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 87853 87207 310 324 0 86923 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 351412 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1350256/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=450644 CPUtime=941.93 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 112318 0 0 0 94088 105 0 0 25 0 1 0 243655352 461459456 112027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 112661 112027 310 324 0 111731 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 450644 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1311984/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=488284 CPUtime=1001.91 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 121703 0 0 0 100078 113 0 0 25 0 1 0 243655352 500002816 121412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 122071 121412 310 324 0 121141 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 488284 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13186 /proc/meminfo: memFree=1287984/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=511760 CPUtime=1061.88 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 127593 0 0 0 106070 118 0 0 25 0 1 0 243655352 524042240 127302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 127940 127302 310 324 0 127010 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 511760 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13188 /proc/meminfo: memFree=1275120/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=524676 CPUtime=1121.86 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 130805 0 0 0 112065 121 0 0 25 0 1 0 243655352 537268224 130514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 131169 130514 310 324 0 130239 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 524676 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 13188 /proc/meminfo: memFree=1262640/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=537048 CPUtime=1181.84 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 133913 0 0 0 118059 125 0 0 25 0 1 0 243655352 549937152 133622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 134262 133622 310 324 0 133332 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 537048 [startup+1242.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 13188 /proc/meminfo: memFree=1249136/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=550568 CPUtime=1241.82 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 137282 0 0 0 124052 130 0 0 25 0 1 0 243655352 563781632 136991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 137642 136991 310 324 0 136712 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 550568 [startup+1302.3 s] /proc/loadavg: 1.09 1.02 0.99 2/78 13188 /proc/meminfo: memFree=1218800/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=580580 CPUtime=1301.8 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 144794 0 0 0 130042 138 0 0 25 0 1 0 243655352 594513920 144503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 145145 144503 310 324 0 144215 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 580580 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 0.99 2/78 13188 /proc/meminfo: memFree=1151856/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=648620 CPUtime=1361.77 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 161789 0 0 0 136028 149 0 0 25 0 1 0 243655352 664186880 161498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 162155 161498 310 324 0 161225 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 648620 [startup+1422.31 s] /proc/loadavg: 1.12 1.04 1.01 2/78 13188 /proc/meminfo: memFree=1095344/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=703832 CPUtime=1421.76 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 175614 0 0 0 142012 164 0 0 25 0 1 0 243655352 720723968 175323 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 175958 175323 310 324 0 175028 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 703832 [startup+1482.3 s] /proc/loadavg: 1.12 1.04 1.00 2/78 13188 /proc/meminfo: memFree=1065648/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=733672 CPUtime=1481.73 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 183070 0 0 0 148001 172 0 0 25 0 1 0 243655352 751280128 182779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 183418 182779 310 324 0 182488 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 733672 [startup+1542.3 s] /proc/loadavg: 1.11 1.05 1.00 2/78 13188 /proc/meminfo: memFree=1044976/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=754124 CPUtime=1541.7 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 188173 0 0 0 153993 177 0 0 25 0 1 0 243655352 772222976 187882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 188531 187882 310 324 0 187601 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 754124 [startup+1602.3 s] /proc/loadavg: 1.10 1.05 1.00 2/78 13188 /proc/meminfo: memFree=1031536/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=767652 CPUtime=1601.69 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 191551 0 0 0 159987 182 0 0 25 0 1 0 243655352 786075648 191260 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 191913 191260 310 324 0 190983 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 767652 [startup+1662.3 s] /proc/loadavg: 1.15 1.07 1.01 2/78 13188 /proc/meminfo: memFree=1016752/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=782372 CPUtime=1661.66 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 195238 0 0 0 165980 186 0 0 25 0 1 0 243655352 801148928 194947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 195593 194947 310 324 0 194663 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 782372 [startup+1722.3 s] /proc/loadavg: 1.11 1.07 1.01 2/78 13188 /proc/meminfo: memFree=966768/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=832276 CPUtime=1721.64 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 207730 0 0 0 171967 197 0 0 25 0 1 0 243655352 852250624 207439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 208069 207439 310 324 0 207139 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 832276 [startup+1782.3 s] /proc/loadavg: 1.09 1.07 1.01 2/78 13188 /proc/meminfo: memFree=947120/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=851644 CPUtime=1781.62 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 212572 0 0 0 177959 203 0 0 25 0 1 0 243655352 872083456 212281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 212911 212281 310 324 0 211981 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 851644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.06 1.06 1.01 2/78 13188 /proc/meminfo: memFree=942576/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=856156 CPUtime=1800.02 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194304 213677 0 0 0 179798 204 0 0 25 0 1 0 243655352 876703744 213386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 214039 213386 310 324 0 213109 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 856156 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: 1.06 1.06 1.01 2/78 13188 /proc/meminfo: memFree=942576/2055920 swapFree=4169112/4192956 [pid=13185] ppid=13183 vsize=0 CPUtime=1800.11 /proc/13185/stat : 13185 (bsolo3.0.17) R 13183 13185 12587 0 -1 4194308 213681 0 0 0 179798 213 0 0 25 0 1 0 243655352 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13185/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.84 CPU time (s): 1800.16 CPU user time (s): 1797.98 CPU system time (s): 2.17467 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 856156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.98 system time used= 2.17467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213681 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= 3950 runsolver used 1.3348 second user time and 3.9074 second system time The end
Begin job on node23 on Mon Apr 30 18:23:02 UTC 2007 IDJOB= 433292 IDBENCH= 2446 IDSOLVER= 199 FILE ID= node23/433292-1177957382 PBS_JOBID= 4727717 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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scorpion.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433292-1177957382/instance-433292-1177957382.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-433292-1177957382 -o ROOT/results/node23/solver-433292-1177957382 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433292-1177957382/instance-433292-1177957382.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 5969f09e744b158004f0e27c746edfe9 RANDOM SEED= 941286867 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1797568 kB Buffers: 30156 kB Cached: 138148 kB SwapCached: 2512 kB Active: 52748 kB Inactive: 139104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797568 kB SwapTotal: 4192956 kB SwapFree: 4169112 kB Dirty: 7536 kB Writeback: 0 kB Mapped: 30960 kB Slab: 52044 kB Committed_AS: 2973588 kB PageTables: 1800 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 node23 on Mon Apr 30 18:53:05 UTC 2007