Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.33 | 1800.38 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bienst1.opb |
MD5SUM | c5d594af626243e56994c23d5a3c48e8 |
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 | 13806 |
Total number of constraints | 604 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 30 |
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 | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 13958659059 |
Number of bits of the biggest sum of numbers | 34 |
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/433167-1177955893/instance-433167-1177955893.opb 0.00/0.00 c File size is 704009 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.09/0.12 c Highest Coefficient sum: 1.39587e+10 0.09/0.12 c Parsing was ok!! 0.09/0.12 c Total parsing time: 0.118 s 0.09/0.12 c Var: 13806 Constr: 732 0/8/724 Lit: 89684 Watch. Lit: 18628 0.09/0.12 c Obj. Vars: 30 (0.217297 % of total variables) 2.29/2.30 c Pre-processing Time: 2.302 s 1800.05/1800.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.10 c 0 7854 732 89684 122 73804 179321 0 0 2.30 1800.05/1800.10 c 100 7854 832 112583 135 73948 197254 100 41 2.44 1800.05/1800.10 c 251 7854 983 142434 144 74194 216980 251 96 2.59 1800.05/1800.10 c 477 7854 1209 185343 153 74646 238679 477 166 2.87 1800.05/1800.10 c 816 7854 1548 242446 156 75268 262547 816 236 3.45 1800.05/1800.10 c 1324 7854 2056 386971 188 76289 288802 1324 346 3.82 1800.05/1800.10 c 2089 7854 2821 555027 196 77738 317683 2089 440 4.74 1800.05/1800.10 c 3236 7854 3968 772989 194 80031 349452 3236 547 5.91 1800.05/1800.10 c 4960 7854 5692 1325663 232 83288 384398 4960 635 7.81 1800.05/1800.10 c 7548 7854 8280 2102101 253 88452 422838 7548 555 13.60 1800.05/1800.10 c 11430 7854 12162 3002895 246 95915 465122 11430 737 15.50 1800.05/1800.10 c 17252 7854 17984 4793991 266 107482 511635 17252 701 24.58 1800.05/1800.10 c 25989 7854 26721 6888421 257 124997 562799 25989 806 32.22 1800.05/1800.10 c 39101 7854 39833 11157199 280 150990 619079 39101 819 47.70 1800.05/1800.10 c 58771 7854 59503 17900593 300 190253 680987 58771 731 80.38 1800.05/1800.10 c 88282 7854 89014 26082522 293 249201 749086 88282 510 173.09 1800.05/1800.10 c 132553 7854 133285 45790228 343 340054 823995 132553 437 303.30 1800.05/1800.10 c 198963 7854 199695 68226318 341 472797 906395 198963 299 664.54 1800.05/1800.10 c 298583 7854 299315 100421255 335 671875 997035 298583 295 1011.82 1800.05/1800.10 c Caught signal: 15 1800.05/1800.10 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.10 c 18 401391 26534 551970 402123 137546882 401391 222 1800.06 1800.05/1800.10 s UNKNOWN 1800.05/1800.10 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-433167-1177955893 -o ROOT/results/node16/solver-433167-1177955893 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.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.97 3/77 21100 /proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=12424 CPUtime=0 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 243506936 12722176 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 3106 335 280 324 0 2004 0 [startup+0.014659 s] /proc/loadavg: 0.85 0.97 0.97 3/77 21100 /proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=12700 CPUtime=0 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 441 0 0 0 0 0 0 0 18 0 1 0 243506936 13004800 411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 3175 411 293 324 0 2073 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12700 [startup+0.101641 s] /proc/loadavg: 0.85 0.97 0.97 3/77 21100 /proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=6520 CPUtime=0.09 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 243506936 6676480 945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 1630 945 417 324 0 528 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6520 [startup+0.301601 s] /proc/loadavg: 0.85 0.97 0.97 3/77 21100 /proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=9116 CPUtime=0.29 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 1789 0 0 0 29 0 0 0 19 0 1 0 243506936 9334784 1587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 2279 1587 304 324 0 1349 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9116 [startup+0.701514 s] /proc/loadavg: 0.85 0.97 0.97 3/77 21100 /proc/meminfo: memFree=1883208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=9920 CPUtime=0.69 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2123 0 0 0 68 1 0 0 23 0 1 0 243506936 10158080 1813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 2480 1813 306 324 0 1550 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9920 [startup+1.50135 s] /proc/loadavg: 0.85 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1877120/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=9920 CPUtime=1.49 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2123 0 0 0 148 1 0 0 25 0 1 0 243506936 10158080 1813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 2480 1813 306 324 0 1550 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9920 [startup+3.10101 s] /proc/loadavg: 0.85 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1876992/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=10840 CPUtime=3.08 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 2521 0 0 0 307 1 0 0 25 0 1 0 243506936 11100160 2022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 2710 2022 310 324 0 1780 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10840 [startup+6.30134 s] /proc/loadavg: 0.86 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1870144/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=18768 CPUtime=6.29 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 4517 0 0 0 626 3 0 0 25 0 1 0 243506936 19218432 4018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 4692 4018 310 324 0 3762 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18768 [startup+12.702 s] /proc/loadavg: 0.87 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1855360/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=33480 CPUtime=12.69 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 8207 0 0 0 1264 5 0 0 25 0 1 0 243506936 34283520 7708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 8370 7708 310 324 0 7440 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33480 [startup+25.5013 s] /proc/loadavg: 0.90 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1812160/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=76884 CPUtime=25.49 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 19060 0 0 0 2539 10 0 0 25 0 1 0 243506936 78729216 18561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 19221 18561 310 324 0 18291 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76884 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1717056/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=172788 CPUtime=51.09 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 43020 0 0 0 5086 23 0 0 25 0 1 0 243506936 176934912 42521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 43197 42521 310 324 0 42267 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 172788 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1612416/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=273944 CPUtime=102.29 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 68323 0 0 0 10192 37 0 0 25 0 1 0 243506936 280518656 67824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 68486 67824 310 324 0 67556 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 273944 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21101 /proc/meminfo: memFree=1550528/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=336348 CPUtime=162.29 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 83911 0 0 0 16180 49 0 0 25 0 1 0 243506936 344420352 83412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 84087 83412 310 324 0 83157 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 336348 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/84 21279 /proc/meminfo: memFree=1390664/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=493956 CPUtime=222.21 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 123326 0 0 0 22149 72 0 0 25 0 1 0 243506936 505810944 122827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 123489 122828 310 324 0 122559 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 493956 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1302400/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=583524 CPUtime=282.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 145716 0 0 0 28135 85 0 0 25 0 1 0 243506936 597528576 145217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 145881 145217 310 324 0 144951 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 583524 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1214912/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=670540 CPUtime=342.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 167460 0 0 0 34122 98 0 0 25 0 1 0 243506936 686632960 166961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 167635 166961 310 324 0 166705 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 670540 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1149888/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=735968 CPUtime=402.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 183808 0 0 0 40109 111 0 0 25 0 1 0 243506936 753631232 183309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 183992 183309 310 324 0 183062 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 735968 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1105984/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=779092 CPUtime=462.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 194612 0 0 0 46100 120 0 0 25 0 1 0 243506936 797790208 194113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 194773 194113 310 324 0 193843 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 779092 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1064960/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=820500 CPUtime=522.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 204941 0 0 0 52092 128 0 0 25 0 1 0 243506936 840192000 204442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 205125 204442 310 324 0 204195 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 820500 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1029696/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=855200 CPUtime=582.2 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 213618 0 0 0 58085 135 0 0 25 0 1 0 243506936 875724800 213119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 213800 213119 310 324 0 212870 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 855200 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=1000064/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=884328 CPUtime=642.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 220910 0 0 0 64081 141 0 0 25 0 1 0 243506936 905551872 220411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 221082 220411 310 324 0 220152 0 Current children cumulated CPU time (s) 642.22 Current children cumulated vsize (KiB) 884328 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=615296/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1268732 CPUtime=942.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 317007 0 0 0 94023 199 0 0 25 0 1 0 243506936 1299181568 316508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 317183 316508 310 324 0 316253 0 Current children cumulated CPU time (s) 942.22 Current children cumulated vsize (KiB) 1268732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=573568/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1309836 CPUtime=1002.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 327294 0 0 0 100015 207 0 0 25 0 1 0 243506936 1341272064 326795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 327459 326795 310 324 0 326529 0 Current children cumulated CPU time (s) 1002.22 Current children cumulated vsize (KiB) 1309836 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=486208/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1398348 CPUtime=1062.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 349409 0 0 0 105999 223 0 0 25 0 1 0 243506936 1431908352 348910 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 349587 348910 310 324 0 348657 0 Current children cumulated CPU time (s) 1062.22 Current children cumulated vsize (KiB) 1398348 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=436032/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1446828 CPUtime=1122.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 361538 0 0 0 111991 231 0 0 25 0 1 0 243506936 1481551872 361039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 361707 361039 310 324 0 360777 0 Current children cumulated CPU time (s) 1122.22 Current children cumulated vsize (KiB) 1446828 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=401600/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1481608 CPUtime=1182.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 370242 0 0 0 117982 240 0 0 25 0 1 0 243506936 1517166592 369743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 370402 369743 310 324 0 369472 0 Current children cumulated CPU time (s) 1182.22 Current children cumulated vsize (KiB) 1481608 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=363584/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1519060 CPUtime=1242.22 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 379588 0 0 0 123975 247 0 0 25 0 1 0 243506936 1555517440 379089 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 379765 379089 310 324 0 378835 0 Current children cumulated CPU time (s) 1242.22 Current children cumulated vsize (KiB) 1519060 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=327296/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1554928 CPUtime=1302.23 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 388560 0 0 0 129967 256 0 0 25 0 1 0 243506936 1592246272 388061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 388732 388061 310 324 0 387802 0 Current children cumulated CPU time (s) 1302.23 Current children cumulated vsize (KiB) 1554928 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=287936/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1594656 CPUtime=1362.23 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 398495 0 0 0 135958 265 0 0 25 0 1 0 243506936 1632927744 397996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 398664 397996 310 324 0 397734 0 Current children cumulated CPU time (s) 1362.23 Current children cumulated vsize (KiB) 1594656 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21299 /proc/meminfo: memFree=244672/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1637308 CPUtime=1422.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 409170 0 0 0 141949 275 0 0 25 0 1 0 243506936 1676603392 408671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 409327 408671 310 324 0 408397 0 Current children cumulated CPU time (s) 1422.24 Current children cumulated vsize (KiB) 1637308 [startup+1482.3 s] /proc/loadavg: 1.06 0.99 0.97 2/78 21299 /proc/meminfo: memFree=205504/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1676644 CPUtime=1482.23 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 418978 0 0 0 147939 284 0 0 25 0 1 0 243506936 1716883456 418479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 419161 418479 310 324 0 418231 0 Current children cumulated CPU time (s) 1482.23 Current children cumulated vsize (KiB) 1676644 [startup+1542.3 s] /proc/loadavg: 1.02 0.99 0.97 2/78 21299 /proc/meminfo: memFree=178624/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1703180 CPUtime=1542.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 425642 0 0 0 153935 289 0 0 25 0 1 0 243506936 1744056320 425143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 425795 425143 310 324 0 424865 0 Current children cumulated CPU time (s) 1542.24 Current children cumulated vsize (KiB) 1703180 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=150912/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1731148 CPUtime=1602.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 432611 0 0 0 159929 295 0 0 25 0 1 0 243506936 1772695552 432112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 432787 432112 310 324 0 431857 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 1731148 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=126080/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1755628 CPUtime=1662.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 438733 0 0 0 165925 299 0 0 25 0 1 0 243506936 1797763072 438234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 438907 438234 310 324 0 437977 0 Current children cumulated CPU time (s) 1662.24 Current children cumulated vsize (KiB) 1755628 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=101760/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1779772 CPUtime=1722.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 444791 0 0 0 171919 305 0 0 25 0 1 0 243506936 1822486528 444292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 444943 444292 310 324 0 444013 0 Current children cumulated CPU time (s) 1722.24 Current children cumulated vsize (KiB) 1779772 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=85184/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1796056 CPUtime=1782.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 448841 0 0 0 177915 309 0 0 25 0 1 0 243506936 1839161344 448342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 449014 448342 310 324 0 448084 0 Current children cumulated CPU time (s) 1782.24 Current children cumulated vsize (KiB) 1796056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=1800776 CPUtime=1800.05 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194304 450033 0 0 0 179695 310 0 0 25 0 1 0 243506936 1843994624 449534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 450194 449534 310 324 0 449264 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1800776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.21 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=0 CPUtime=1800.15 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194308 450037 0 0 0 179695 320 0 0 25 0 1 0 243506936 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 [startup+1800.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 21299 /proc/meminfo: memFree=80256/2055920 swapFree=4148612/4192956 [pid=21100] ppid=21098 vsize=0 CPUtime=1800.24 /proc/21100/stat : 21100 (bsolo3.0.17) R 21098 21100 21037 0 -1 4194308 450037 0 0 0 179695 329 0 0 25 0 1 0 243506936 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/21100/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.38 CPU time (s): 1800.33 CPU user time (s): 1796.96 CPU system time (s): 3.37549 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 1800776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.96 system time used= 3.37549 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450037 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= 37732 runsolver used 1.39779 second user time and 3.9764 second system time The end
Begin job on node16 on Mon Apr 30 17:58:13 UTC 2007 IDJOB= 433167 IDBENCH= 2319 IDSOLVER= 199 FILE ID= node16/433167-1177955893 PBS_JOBID= 4727726 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/milp/normalized-mps-v2-20-10-bienst1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-433167-1177955893 -o ROOT/results/node16/solver-433167-1177955893 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433167-1177955893/instance-433167-1177955893.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c5d594af626243e56994c23d5a3c48e8 RANDOM SEED= 495882047 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.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.232 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.232 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: 1883680 kB Buffers: 7900 kB Cached: 77980 kB SwapCached: 11972 kB Active: 67896 kB Inactive: 40832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1883680 kB SwapTotal: 4192956 kB SwapFree: 4148612 kB Dirty: 7460 kB Writeback: 0 kB Mapped: 29900 kB Slab: 49088 kB Committed_AS: 7668712 kB PageTables: 1836 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 node16 on Mon Apr 30 18:28:15 UTC 2007