Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.05 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb |
MD5SUM | f2e3e708ab88850fd5a3cdf379c0e388 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 25620 |
Total number of constraints | 524 |
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 | 524 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 7530 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 32769 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524520 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530865 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/348592-1176588170/instance-348592-1176588170.opb 0.00/0.03 c File size is 1890447 bytes. 0.26/0.39 c Highest Coefficient sum: 530865 0.26/0.39 c Parsing was ok!! 0.26/0.39 c Total parsing time: 0.362 s 0.36/0.41 c Var: 25620 Constr: 874 34/0/840 Lit: 316740 Watch. Lit: 58096 0.36/0.41 c Obj. Vars: 240 (0.936768 % of total variables) 180.64/180.82 c Pre-processing Time: 180.663 s 180.64/180.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.64/180.82 c 0 18188 790 309680 392 231125 618281 0 0 180.66 180.64/180.82 c Switching off LPR mode. 1799.92/1801.20 c 100 18188 890 332002 373 233757 680110 100 0 190.81 1799.92/1801.20 c 251 18188 1041 348848 335 235018 748122 251 1 193.90 1799.92/1801.20 c 476 18188 1266 388340 306 236892 822935 476 2 207.57 1799.92/1801.20 c 815 18188 1605 467777 291 237261 905229 815 3 229.39 1799.92/1801.20 c 1325 18188 2115 519962 245 248641 995752 1325 5 231.12 1799.92/1801.20 c 2089 18188 2879 621763 215 250996 500000 2089 7 265.63 1799.92/1801.20 c 3235 18187 4025 709335 176 252010 550001 3235 11 272.14 1799.92/1801.20 c 4956 18187 5746 1062084 184 257182 605002 4956 14 341.11 1799.92/1801.20 c 7540 18187 8330 1582949 190 262344 665503 7540 19 394.50 1799.92/1801.20 c 11420 18187 12210 2200863 180 271600 732054 11420 17 666.25 1799.92/1801.20 c 17244 18187 18034 3186518 176 282629 805260 17244 19 874.67 1799.92/1801.20 c 25981 18187 26771 3985209 148 300082 885787 25981 20 1238.89 1799.92/1801.20 c 39093 18187 39883 6875439 172 324091 974366 39093 31 1260.53 1800.02/1801.20 c Resources Exceeded 1800.02/1801.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1801.20 c 13 44041 4707 256849 44831 7960378 44041 24 1800.03 1800.02/1801.20 s UNKNOWN 1800.02/1801.20 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-348592-1176588170 -o ROOT/results/node45/solver-348592-1176588170 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348592-1176588170/instance-348592-1176588170.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.02 1.03 1.01 3/64 15010 /proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=2560 CPUtime=0 /proc/15010/stat : 15010 (bsolo3.0.16) D 15008 15010 13970 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 13662611 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4727716 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/15010/statm: 640 45 35 324 0 8 0 [startup+0.0119951 s] /proc/loadavg: 1.02 1.03 1.01 3/64 15010 /proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=3780 CPUtime=0 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 183 0 2 0 0 0 0 0 18 0 1 0 13662611 3870720 153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 0 0 0 /proc/15010/statm: 945 153 127 324 0 14 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3780 [startup+0.102001 s] /proc/loadavg: 1.02 1.03 1.01 3/64 15010 /proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=7536 CPUtime=0.06 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 892 0 7 0 6 0 0 0 18 0 1 0 13662611 7716864 867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 1884 867 371 324 0 491 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7536 [startup+0.302021 s] /proc/loadavg: 1.02 1.03 1.01 3/64 15010 /proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=10504 CPUtime=0.26 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 1905 0 7 0 26 0 0 0 19 0 1 0 13662611 10756096 1840 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524931 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 2626 1840 635 324 0 1233 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 10504 [startup+0.701061 s] /proc/loadavg: 1.02 1.03 1.01 3/64 15010 /proc/meminfo: memFree=1800064/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=17748 CPUtime=0.66 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4238 0 8 0 65 1 0 0 22 0 1 0 13662611 18173952 3712 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 4437 3712 306 324 0 3506 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 17748 [startup+1.50114 s] /proc/loadavg: 1.02 1.03 1.01 2/65 15011 /proc/meminfo: memFree=1785336/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=17748 CPUtime=1.46 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4253 0 8 0 144 2 0 0 25 0 1 0 13662611 18173952 3727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 4437 3727 306 324 0 3506 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 17748 [startup+3.10131 s] /proc/loadavg: 1.01 1.03 1.01 2/65 15011 /proc/meminfo: memFree=1785208/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=17748 CPUtime=3.06 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4253 0 8 0 304 2 0 0 25 0 1 0 13662611 18173952 3727 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 4437 3727 306 324 0 3506 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 17748 [startup+6.30163 s] /proc/loadavg: 1.01 1.03 1.01 2/65 15011 /proc/meminfo: memFree=1785088/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=17880 CPUtime=6.26 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4275 0 8 0 624 2 0 0 25 0 1 0 13662611 18309120 3749 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 4470 3749 306 324 0 3539 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 17880 [startup+12.7013 s] /proc/loadavg: 1.01 1.03 1.01 2/65 15011 /proc/meminfo: memFree=1785352/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=17880 CPUtime=12.64 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 4284 0 8 0 1262 2 0 0 25 0 1 0 13662611 18309120 3758 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 4470 3758 306 324 0 3539 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 17880 [startup+25.5016 s] /proc/loadavg: 1.01 1.03 1.01 2/65 15011 /proc/meminfo: memFree=1782728/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=20944 CPUtime=25.44 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 2541 3 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 5236 4515 308 324 0 4305 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 20944 [startup+51.1012 s] /proc/loadavg: 1.00 1.03 1.00 2/65 15011 /proc/meminfo: memFree=1782728/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=20944 CPUtime=51.03 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 5099 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540874 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 5236 4515 308 324 0 4305 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 20944 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15011 /proc/meminfo: memFree=1782664/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=20944 CPUtime=102.18 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 10214 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 5236 4515 308 324 0 4305 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 20944 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15011 /proc/meminfo: memFree=1782664/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=20944 CPUtime=162.14 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5294 0 8 0 16210 4 0 0 25 0 1 0 13662611 21446656 4515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 5236 4515 308 324 0 4305 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 20944 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15011 /proc/meminfo: memFree=1783752/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=20004 CPUtime=222.11 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 5782 0 8 0 22203 8 0 0 25 0 1 0 13662611 20484096 4287 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 5001 4287 312 324 0 4070 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 20004 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1778760/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=24504 CPUtime=282.05 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 6908 0 8 0 28195 10 0 0 25 0 1 0 13662611 25092096 5413 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 6126 5413 312 324 0 5195 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 24504 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1774664/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=28552 CPUtime=342 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 7929 0 8 0 34188 12 0 0 25 0 1 0 13662611 29237248 6434 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 7138 6434 312 324 0 6207 0 Current children cumulated CPU time (s) 342 Current children cumulated vsize (KiB) 28552 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1767752/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=35548 CPUtime=401.96 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 9679 0 8 0 40182 14 0 0 25 0 1 0 13662611 36401152 8184 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 8887 8184 312 324 0 7956 0 Current children cumulated CPU time (s) 401.96 Current children cumulated vsize (KiB) 35548 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1765960/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=37392 CPUtime=461.92 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 10124 0 8 0 46177 15 0 0 25 0 1 0 13662611 38289408 8629 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 9348 8629 312 324 0 8417 0 Current children cumulated CPU time (s) 461.92 Current children cumulated vsize (KiB) 37392 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1764168/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=39244 CPUtime=521.87 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 10581 0 8 0 52171 16 0 0 25 0 1 0 13662611 40185856 9086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 9811 9086 312 324 0 8880 0 Current children cumulated CPU time (s) 521.87 Current children cumulated vsize (KiB) 39244 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1762248/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=40964 CPUtime=581.85 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 11043 0 8 0 58168 17 0 0 25 0 1 0 13662611 41947136 9548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 10241 9548 312 324 0 9310 0 Current children cumulated CPU time (s) 581.85 Current children cumulated vsize (KiB) 40964 [startup+642.301 s] /proc/loadavg: 1.08 1.02 1.01 2/65 15013 /proc/meminfo: memFree=1760648/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=42680 CPUtime=641.81 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 11449 0 8 0 64164 17 0 0 25 0 1 0 13662611 43704320 9954 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 10670 9954 312 324 0 9739 0 Current children cumulated CPU time (s) 641.81 Current children cumulated vsize (KiB) 42680 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1751240/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=52044 CPUtime=821.69 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 13801 0 8 0 82148 21 0 0 25 0 1 0 13662611 53293056 12306 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5160405 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 13011 12306 312 324 0 12080 0 Current children cumulated CPU time (s) 821.69 Current children cumulated vsize (KiB) 52044 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1746120/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=57040 CPUtime=881.66 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 15058 0 8 0 88143 23 0 0 25 0 1 0 13662611 58408960 13563 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 14260 13563 312 324 0 13329 0 Current children cumulated CPU time (s) 881.66 Current children cumulated vsize (KiB) 57040 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1743880/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=59420 CPUtime=941.63 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 15626 0 8 0 94138 25 0 0 25 0 1 0 13662611 60846080 14131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 14855 14131 312 324 0 13924 0 Current children cumulated CPU time (s) 941.63 Current children cumulated vsize (KiB) 59420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1742024/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=61140 CPUtime=1001.58 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16073 0 8 0 100132 26 0 0 25 0 1 0 13662611 62607360 14578 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 15285 14578 312 324 0 14354 0 Current children cumulated CPU time (s) 1001.58 Current children cumulated vsize (KiB) 61140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1740360/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=62864 CPUtime=1061.55 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16504 0 8 0 106128 27 0 0 25 0 1 0 13662611 64372736 15009 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 15716 15009 312 324 0 14785 0 Current children cumulated CPU time (s) 1061.55 Current children cumulated vsize (KiB) 62864 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 15013 /proc/meminfo: memFree=1738632/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=64584 CPUtime=1121.52 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 16926 0 8 0 112124 28 0 0 25 0 1 0 13662611 66134016 15431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 16146 15431 312 324 0 15215 0 Current children cumulated CPU time (s) 1121.52 Current children cumulated vsize (KiB) 64584 [startup+1182.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 15013 /proc/meminfo: memFree=1737032/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=66172 CPUtime=1181.48 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 17330 0 8 0 118120 28 0 0 25 0 1 0 13662611 67760128 15835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 16543 15835 312 324 0 15612 0 Current children cumulated CPU time (s) 1181.48 Current children cumulated vsize (KiB) 66172 [startup+1242.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1734792/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=68156 CPUtime=1241.45 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 17830 0 8 0 124116 29 0 0 25 0 1 0 13662611 69791744 16335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 17039 16335 312 324 0 16108 0 Current children cumulated CPU time (s) 1241.45 Current children cumulated vsize (KiB) 68156 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1695368/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=107544 CPUtime=1301.41 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 27681 0 8 0 130102 39 0 0 25 0 1 0 13662611 110125056 26186 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 26886 26186 312 324 0 25955 0 Current children cumulated CPU time (s) 1301.41 Current children cumulated vsize (KiB) 107544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1693448/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=109524 CPUtime=1361.37 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28158 0 8 0 136097 40 0 0 25 0 1 0 13662611 112152576 26663 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 27381 26663 312 324 0 26450 0 Current children cumulated CPU time (s) 1361.37 Current children cumulated vsize (KiB) 109524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1691912/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=110956 CPUtime=1421.34 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28540 0 8 0 142094 40 0 0 25 0 1 0 13662611 113618944 27045 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 27739 27045 312 324 0 26808 0 Current children cumulated CPU time (s) 1421.34 Current children cumulated vsize (KiB) 110956 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1690440/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=112512 CPUtime=1481.3 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 28920 0 8 0 148089 41 0 0 25 0 1 0 13662611 115212288 27425 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 28128 27425 312 324 0 27197 0 Current children cumulated CPU time (s) 1481.3 Current children cumulated vsize (KiB) 112512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1688904/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=114048 CPUtime=1541.26 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 29298 0 8 0 154085 41 0 0 25 0 1 0 13662611 116785152 27803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 28512 27803 312 324 0 27581 0 Current children cumulated CPU time (s) 1541.26 Current children cumulated vsize (KiB) 114048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1687368/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=115592 CPUtime=1601.23 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 29678 0 8 0 160081 42 0 0 25 0 1 0 13662611 118366208 28183 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 28898 28183 312 324 0 27967 0 Current children cumulated CPU time (s) 1601.23 Current children cumulated vsize (KiB) 115592 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1685832/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=117016 CPUtime=1661.21 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30055 0 8 0 166078 43 0 0 25 0 1 0 13662611 119824384 28560 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 29254 28560 312 324 0 28323 0 Current children cumulated CPU time (s) 1661.21 Current children cumulated vsize (KiB) 117016 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1684296/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=118568 CPUtime=1721.16 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30431 0 8 0 172073 43 0 0 25 0 1 0 13662611 121413632 28936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 29642 28936 312 324 0 28711 0 Current children cumulated CPU time (s) 1721.16 Current children cumulated vsize (KiB) 118568 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15013 /proc/meminfo: memFree=1682632/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=120112 CPUtime=1781.13 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194304 30808 0 8 0 178069 44 0 0 25 0 1 0 13662611 122994688 29313 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 30028 29313 312 324 0 29097 0 Current children cumulated CPU time (s) 1781.13 Current children cumulated vsize (KiB) 120112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 3/65 15013 /proc/meminfo: memFree=1682184/2055920 swapFree=4192036/4192956 [pid=15010] ppid=15008 vsize=0 CPUtime=1800.02 /proc/15010/stat : 15010 (bsolo3.0.16) R 15008 15010 13970 0 -1 4194308 30929 0 8 0 179958 44 0 0 25 0 1 0 13662611 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/15010/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.22 CPU time (s): 1800.05 CPU user time (s): 1799.59 CPU system time (s): 0.463929 CPU usage (%): 99.9351 Max. virtual memory (cumulated for all children) (KiB): 120624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.463929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30929 page faults= 8 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22 involuntary context switches= 6595 runsolver used 1.56376 second user time and 4.99724 second system time The end
Begin job on node45 on Sat Apr 14 22:02:50 UTC 2007 IDJOB= 348592 IDBENCH= 1696 IDSOLVER= 163 FILE ID= node45/348592-1176588170 PBS_JOBID= 4556924 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fffff800.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348592-1176588170/instance-348592-1176588170.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-348592-1176588170 -o ROOT/results/node45/solver-348592-1176588170 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348592-1176588170/instance-348592-1176588170.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f2e3e708ab88850fd5a3cdf379c0e388 RANDOM SEED= 278094180 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1800664 kB Buffers: 4152 kB Cached: 146264 kB SwapCached: 0 kB Active: 24556 kB Inactive: 141272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800664 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 6260 kB Writeback: 0 kB Mapped: 25308 kB Slab: 75452 kB Committed_AS: 94500 kB PageTables: 1400 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= 66559 MiB End job on node45 on Sat Apr 14 22:32:53 UTC 2007