Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.08 | 1800.54 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-tuff.opb |
MD5SUM | 6c865484f3a48e715bdd95fa7e3b19dc |
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 | 17153 |
Total number of constraints | 320 |
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 | 320 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 3360 |
Number of terms in the objective function | 90 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 3221225469 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 6170044790734848 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 1104744513968841438 |
Number of bits of the biggest sum of numbers | 60 |
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/433273-1177957248/instance-433273-1177957248.opb 0.00/0.00 c File size is 2105336 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.29/0.33 c Highest Coefficient sum: 1.10474e+18 0.29/0.33 c Parsing was ok!! 0.29/0.33 c Total parsing time: 0.326 s 0.29/0.34 c Var: 17153 Constr: 581 14/0/567 Lit: 250289 Watch. Lit: 62145 0.29/0.34 c Obj. Vars: 90 (0.52469 % of total variables) 14.48/14.58 c Pre-processing Time: 14.573 s 1800.04/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.50 c 0 7750 519 236837 456 191545 473674 0 0 14.57 1800.04/1800.50 c 100 7750 619 264192 426 194062 521042 100 4 22.74 1800.04/1800.50 c 251 7750 770 286673 372 196154 573147 251 8 29.11 1800.04/1800.50 c 477 7750 996 308916 310 196425 630462 477 10 44.04 1800.04/1800.50 c 815 7750 1334 323870 242 197044 693509 815 17 46.83 1800.04/1800.50 c 1323 7750 1842 347954 188 198171 762860 1323 25 51.43 1800.04/1800.50 c 2086 7750 2605 450884 173 199844 839147 2086 26 79.12 1800.04/1800.50 c 3237 7750 3756 1014180 270 202027 923062 3237 27 116.15 1800.04/1800.50 c 4958 7750 5477 1196556 218 205812 500000 4958 26 186.66 1800.04/1800.50 c 7544 7750 8063 1571873 194 210733 550001 7544 14 505.68 1800.04/1800.50 c 11423 7750 11942 4988939 417 218688 605002 11423 21 527.20 1800.04/1800.50 c 17247 7750 17766 6222546 350 230400 665503 17247 18 917.16 1800.04/1800.50 c 25985 7750 26504 7935783 299 247961 732054 25985 18 1426.97 1800.04/1800.50 c Caught signal: 15 1800.04/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.50 c 12 35209 5858 60806 35728 10520185 35209 19 1800.05 1800.04/1800.50 s UNKNOWN 1800.04/1800.50 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-433273-1177957248 -o ROOT/results/node55/solver-433273-1177957248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.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.85 0.97 0.98 3/64 19521 /proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=21604 CPUtime=0 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 243634849 22122496 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 5401 330 278 324 0 3957 0 [startup+0.046752 s] /proc/loadavg: 0.85 0.97 0.98 3/64 19521 /proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=7116 CPUtime=0.04 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 714 0 0 0 4 0 0 0 18 0 1 0 243634849 7286784 684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524142 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 1779 684 343 324 0 335 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7116 [startup+0.101756 s] /proc/loadavg: 0.85 0.97 0.98 3/64 19521 /proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=7964 CPUtime=0.09 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 1004 0 0 0 9 0 0 0 18 0 1 0 243634849 8155136 974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 1991 974 424 324 0 547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7964 [startup+0.301775 s] /proc/loadavg: 0.85 0.97 0.98 3/64 19521 /proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=10052 CPUtime=0.29 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 1839 0 0 0 29 0 0 0 19 0 1 0 243634849 10293248 1809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7282246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 2513 1810 753 324 0 1069 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10052 [startup+0.701815 s] /proc/loadavg: 0.85 0.97 0.98 3/64 19521 /proc/meminfo: memFree=1436572/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=14440 CPUtime=0.69 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3482 0 0 0 68 1 0 0 22 0 1 0 243634849 14786560 2938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 3610 2938 304 324 0 2680 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14440 [startup+1.50189 s] /proc/loadavg: 0.85 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1425428/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=15396 CPUtime=1.49 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3704 0 0 0 148 1 0 0 25 0 1 0 243634849 15765504 3160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 3849 3160 304 324 0 2919 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15396 [startup+3.10104 s] /proc/loadavg: 0.85 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1424980/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=15396 CPUtime=3.09 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3717 0 0 0 308 1 0 0 25 0 1 0 243634849 15765504 3173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 3849 3173 304 324 0 2919 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15396 [startup+6.30135 s] /proc/loadavg: 0.86 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1424724/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=15528 CPUtime=6.29 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 3735 0 0 0 628 1 0 0 25 0 1 0 243634849 15900672 3191 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 3882 3191 304 324 0 2952 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15528 [startup+12.702 s] /proc/loadavg: 0.87 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1423836/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=16600 CPUtime=12.68 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4191 0 0 0 1266 2 0 0 25 0 1 0 243634849 16998400 3477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 4150 3477 306 324 0 3220 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16600 [startup+25.5012 s] /proc/loadavg: 0.90 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1423836/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=16600 CPUtime=25.48 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4197 0 0 0 2546 2 0 0 25 0 1 0 243634849 16998400 3483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 4150 3483 310 324 0 3220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16600 [startup+51.1016 s] /proc/loadavg: 0.93 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1423772/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=16732 CPUtime=51.07 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 4223 0 0 0 5104 3 0 0 25 0 1 0 243634849 17133568 3509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 4183 3509 310 324 0 3253 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16732 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1418460/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=22072 CPUtime=102.26 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 5547 0 0 0 10223 3 0 0 25 0 1 0 243634849 22601728 4833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 5518 4833 310 324 0 4588 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 22072 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1413084/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=27432 CPUtime=162.24 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 6886 0 0 0 16220 4 0 0 25 0 1 0 243634849 28090368 6172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 6858 6172 310 324 0 5928 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27432 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1411612/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=28756 CPUtime=222.23 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7242 0 0 0 22219 4 0 0 25 0 1 0 243634849 29446144 6528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 7189 6528 310 324 0 6259 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28756 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1410460/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=29956 CPUtime=282.21 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7514 0 0 0 28217 4 0 0 25 0 1 0 243634849 30674944 6800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 7489 6800 310 324 0 6559 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 29956 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1409628/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=30744 CPUtime=342.19 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7731 0 0 0 34215 4 0 0 25 0 1 0 243634849 31481856 7017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 7686 7017 310 324 0 6756 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30744 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1408668/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=31804 CPUtime=402.19 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 7973 0 0 0 40214 5 0 0 25 0 1 0 243634849 32567296 7259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 7951 7259 310 324 0 7021 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 31804 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1407772/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=32720 CPUtime=462.17 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 8223 0 0 0 46212 5 0 0 25 0 1 0 243634849 33505280 7509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 8180 7509 310 324 0 7250 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 32720 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1378204/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=64980 CPUtime=522.15 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 16296 0 0 0 52206 9 0 0 25 0 1 0 243634849 66539520 15582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 16245 15582 310 324 0 15315 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 64980 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1359772/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=80640 CPUtime=582.14 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 20208 0 0 0 58203 11 0 0 25 0 1 0 243634849 82575360 19494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 20160 19494 310 324 0 19230 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 80640 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1357596/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=82828 CPUtime=642.13 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 20737 0 0 0 64202 11 0 0 25 0 1 0 243634849 84815872 20023 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 20707 20023 310 324 0 19777 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 82828 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1348892/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=91440 CPUtime=882.07 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 22912 0 0 0 88195 12 0 0 25 0 1 0 243634849 93634560 22198 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 22860 22198 310 324 0 21930 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 91440 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1346716/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=93624 CPUtime=942.05 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23451 0 0 0 94193 12 0 0 25 0 1 0 243634849 95870976 22737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 23406 22737 310 324 0 22476 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 93624 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1346204/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=94156 CPUtime=1002.03 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23583 0 0 0 100191 12 0 0 25 0 1 0 243634849 96415744 22869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551182 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 23539 22869 310 324 0 22609 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 94156 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1345884/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=94552 CPUtime=1062.02 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 23665 0 0 0 106190 12 0 0 25 0 1 0 243634849 96821248 22951 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 23638 22951 310 324 0 22708 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 94552 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1341724/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=98600 CPUtime=1122.01 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 24702 0 0 0 112188 13 0 0 25 0 1 0 243634849 100966400 23988 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 24650 23988 310 324 0 23720 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 98600 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19522 /proc/meminfo: memFree=1339420/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=100948 CPUtime=1181.99 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 25285 0 0 0 118186 13 0 0 25 0 1 0 243634849 103370752 24571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 25237 24571 310 324 0 24307 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 100948 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19524 /proc/meminfo: memFree=1337244/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=103160 CPUtime=1241.98 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 25833 0 0 0 124184 14 0 0 25 0 1 0 243634849 105635840 25119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 25790 25119 310 324 0 24860 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 103160 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19524 /proc/meminfo: memFree=1335580/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=104744 CPUtime=1301.97 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 26219 0 0 0 130183 14 0 0 25 0 1 0 243634849 107257856 25505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 26186 25505 310 324 0 25256 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 104744 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19524 /proc/meminfo: memFree=1333276/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=107084 CPUtime=1361.95 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 26816 0 0 0 136180 15 0 0 25 0 1 0 243634849 109654016 26102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 26771 26102 310 324 0 25841 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 107084 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19524 /proc/meminfo: memFree=1324956/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=115352 CPUtime=1421.94 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 28884 0 0 0 142178 16 0 0 25 0 1 0 243634849 118120448 28170 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 28838 28170 310 324 0 27908 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 115352 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19524 /proc/meminfo: memFree=1320156/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=120152 CPUtime=1481.92 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 30090 0 0 0 148175 17 0 0 25 0 1 0 243634849 123035648 29376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 30038 29376 310 324 0 29108 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 120152 [startup+1542.3 s] /proc/loadavg: 1.03 0.99 0.98 2/65 19524 /proc/meminfo: memFree=1315740/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=124564 CPUtime=1541.9 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 31187 0 0 0 154172 18 0 0 25 0 1 0 243634849 127553536 30473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 31141 30473 310 324 0 30211 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 124564 [startup+1602.3 s] /proc/loadavg: 1.05 1.00 0.99 2/65 19524 /proc/meminfo: memFree=1311260/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=128968 CPUtime=1601.89 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 32294 0 0 0 160170 19 0 0 25 0 1 0 243634849 132063232 31580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 32242 31580 310 324 0 31312 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 128968 [startup+1662.3 s] /proc/loadavg: 1.16 1.04 1.01 2/65 19524 /proc/meminfo: memFree=1305500/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=134680 CPUtime=1661.87 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 33724 0 0 0 166167 20 0 0 25 0 1 0 243634849 137912320 33010 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 33670 33010 310 324 0 32740 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 134680 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 19524 /proc/meminfo: memFree=1299676/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=140656 CPUtime=1721.86 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 35189 0 0 0 172165 21 0 0 25 0 1 0 243634849 144031744 34475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 35164 34475 310 324 0 34234 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 140656 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 19524 /proc/meminfo: memFree=1290780/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=149572 CPUtime=1781.85 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37418 0 0 0 178162 23 0 0 25 0 1 0 243634849 153161728 36704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 37393 36704 310 324 0 36463 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 149572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/65 19524 /proc/meminfo: memFree=1290076/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=150088 CPUtime=1800.04 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37571 0 0 0 179981 23 0 0 25 0 1 0 243634849 153690112 36857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 37522 36857 310 324 0 36592 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 150088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/65 19524 /proc/meminfo: memFree=1290076/2055920 swapFree=4184544/4192956 [pid=19521] ppid=19519 vsize=150088 CPUtime=1800.04 /proc/19521/stat : 19521 (bsolo3.0.17) R 19519 19521 19067 0 -1 4194304 37571 0 0 0 179981 23 0 0 25 0 1 0 243634849 153690112 36857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19521/statm: 37522 36857 310 324 0 36592 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 150088 Child status: 15 Real time (s): 1800.54 CPU time (s): 1800.08 CPU user time (s): 1799.82 CPU system time (s): 0.25896 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 150088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.25896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37575 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= 3020 runsolver used 1.54377 second user time and 3.37749 second system time The end
Begin job on node55 on Mon Apr 30 18:20:48 UTC 2007 IDJOB= 433273 IDBENCH= 2427 IDSOLVER= 199 FILE ID= node55/433273-1177957248 PBS_JOBID= 4727711 Free space on /tmp= 66556 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-tuff.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-433273-1177957248 -o ROOT/results/node55/solver-433273-1177957248 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433273-1177957248/instance-433273-1177957248.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6c865484f3a48e715bdd95fa7e3b19dc RANDOM SEED= 807752847 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1437108 kB Buffers: 55296 kB Cached: 476224 kB SwapCached: 2552 kB Active: 35820 kB Inactive: 505812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1437108 kB SwapTotal: 4192956 kB SwapFree: 4184544 kB Dirty: 8788 kB Writeback: 0 kB Mapped: 16500 kB Slab: 63292 kB Committed_AS: 1412408 kB PageTables: 1380 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= 66556 MiB End job on node55 on Mon Apr 30 18:50:51 UTC 2007