Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | 51973 | 1515.78 | 1516.32 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb |
MD5SUM | 24e8096a6d8928e5a9e214fdf85bd87e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 51973 |
Best CPU time to get the best result obtained on this benchmark | 1514.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51973 |
Optimality of the best value was proved | NO |
Number of variables | 282240 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 188160 |
Biggest coefficient in the objective function | 42 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 683648 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 80921 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 683648 |
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 |
OK 51973
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-348540-1176586689 -o ROOT/results/node70/solver-348540-1176586689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.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.16 1.03 1.01 3/64 29597 /proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=36604 CPUtime=0 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 98206232 37482496 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 9151 335 281 324 0 2003 0 [startup+0.0549999 s] /proc/loadavg: 1.16 1.03 1.01 3/64 29597 /proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=38540 CPUtime=0.05 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 915 0 0 0 5 0 0 0 18 0 1 0 98206232 39464960 843 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 9635 843 343 324 0 2487 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 38540 [startup+0.102003 s] /proc/loadavg: 1.16 1.03 1.01 3/64 29597 /proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=40000 CPUtime=0.09 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 1405 0 0 0 9 0 0 0 18 0 1 0 98206232 40960000 1254 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8738791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 10000 1254 407 324 0 2852 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40000 [startup+0.302023 s] /proc/loadavg: 1.16 1.03 1.01 3/64 29597 /proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=46032 CPUtime=0.29 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 3465 0 0 0 28 1 0 0 19 0 1 0 98206232 47136768 3011 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 11508 3011 644 324 0 4360 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46032 [startup+0.701064 s] /proc/loadavg: 1.16 1.03 1.01 3/64 29597 /proc/meminfo: memFree=1735224/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=50172 CPUtime=0.68 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 7234 0 0 0 66 2 0 0 22 0 1 0 98206232 51376128 6274 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8883409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 12543 6274 1090 324 0 5395 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 50172 [startup+1.50114 s] /proc/loadavg: 1.16 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1710064/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=60520 CPUtime=1.49 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 10790 0 0 0 145 4 0 0 25 0 1 0 98206232 61972480 9830 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873754 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 15130 9830 2021 324 0 7982 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60520 [startup+3.1013 s] /proc/loadavg: 1.15 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1696432/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=79520 CPUtime=3.09 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 17360 0 0 0 303 6 0 0 25 0 1 0 98206232 81428480 16400 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8873744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 19880 16400 3790 324 0 12732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79520 [startup+6.30163 s] /proc/loadavg: 1.15 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1659824/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=144592 CPUtime=6.29 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 42181 0 0 0 604 25 0 0 25 0 1 0 98206232 148062208 34636 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 36148 34636 305 324 0 35217 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 144592 [startup+12.7013 s] /proc/loadavg: 1.12 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1555384/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=186976 CPUtime=12.68 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 1228 40 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 46744 45239 307 324 0 45813 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 186976 [startup+25.5026 s] /proc/loadavg: 1.10 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1555576/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=186976 CPUtime=25.48 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 2501 47 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 46744 45239 307 324 0 45813 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 186976 [startup+51.1021 s] /proc/loadavg: 1.07 1.03 1.01 2/65 29598 /proc/meminfo: memFree=1555704/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=186976 CPUtime=51.08 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 5059 49 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540882 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 46744 45239 307 324 0 45813 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 186976 [startup+102.305 s] /proc/loadavg: 1.02 1.02 1.00 2/65 29598 /proc/meminfo: memFree=1555768/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=186976 CPUtime=102.26 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 55542 0 0 0 10175 51 0 0 25 0 1 0 98206232 191463424 45239 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540874 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 46744 45239 307 324 0 45813 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186976 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/65 29598 /proc/meminfo: memFree=1593272/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=162360 CPUtime=162.24 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 60169 0 0 0 16159 65 0 0 25 0 1 0 98206232 166256640 39366 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 40590 39366 309 324 0 39659 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 162360 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 29598 /proc/meminfo: memFree=1376056/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=365360 CPUtime=222.23 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 114558 0 0 0 22068 155 0 0 25 0 1 0 98206232 374128640 90152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 91340 90152 312 324 0 90409 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 365360 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=1210616/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=531808 CPUtime=282.21 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 156152 0 0 0 28034 187 0 0 25 0 1 0 98206232 544571392 131746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 132952 131746 312 324 0 132021 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 531808 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=1125496/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=615624 CPUtime=342.2 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 177121 0 0 0 34016 204 0 0 25 0 1 0 98206232 630398976 152715 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 153906 152715 312 324 0 152975 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 615624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=1064696/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=676028 CPUtime=402.18 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 192224 0 0 0 39999 219 0 0 25 0 1 0 98206232 692252672 167818 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 169007 167818 312 324 0 168076 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 676028 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=1034936/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=705756 CPUtime=462.16 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 199641 0 0 0 45990 226 0 0 25 0 1 0 98206232 722694144 175235 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 176439 175235 312 324 0 175508 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 705756 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 29598 /proc/meminfo: memFree=1010104/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=730496 CPUtime=522.15 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 205837 0 0 0 51984 231 0 0 25 0 1 0 98206232 748027904 181431 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 182624 181431 312 324 0 181693 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 730496 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 29598 /proc/meminfo: memFree=973048/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=767560 CPUtime=582.13 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 215089 0 0 0 57975 238 0 0 25 0 1 0 98206232 785981440 190683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 191890 190683 312 324 0 190959 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 767560 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 29598 /proc/meminfo: memFree=942584/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=797580 CPUtime=642.11 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 222610 0 0 0 63967 244 0 0 25 0 1 0 98206232 816721920 198204 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 199395 198204 312 324 0 198464 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 797580 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=920696/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=819560 CPUtime=702.09 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 228109 0 0 0 69961 248 0 0 25 0 1 0 98206232 839229440 203703 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 204890 203703 312 324 0 203959 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 819560 [startup+762.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=890232/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=849988 CPUtime=762.08 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 235695 0 0 0 75953 255 0 0 25 0 1 0 98206232 870387712 211289 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 212497 211289 312 324 0 211566 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 849988 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=852792/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=887804 CPUtime=822.06 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 245149 0 0 0 81943 263 0 0 25 0 1 0 98206232 909111296 220743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 221951 220743 312 324 0 221020 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 887804 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29598 /proc/meminfo: memFree=822456/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=917640 CPUtime=882.04 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 252612 0 0 0 87936 268 0 0 25 0 1 0 98206232 939663360 228206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 229410 228206 312 324 0 228479 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 917640 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=771448/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=971376 CPUtime=942.02 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 266047 0 0 0 93926 276 0 0 25 0 1 0 98206232 994689024 241641 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 242844 241641 312 324 0 241913 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 971376 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=624440/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1115856 CPUtime=1002 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 302154 0 0 0 99901 299 0 0 25 0 1 0 98206232 1142636544 277748 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 278964 277748 312 324 0 278033 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1115856 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=518520/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1222108 CPUtime=1061.99 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 328715 0 0 0 105878 321 0 0 25 0 1 0 98206232 1251438592 304309 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 305527 304309 312 324 0 304596 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1222108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=431416/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1308456 CPUtime=1121.97 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 350313 0 0 0 111858 339 0 0 25 0 1 0 98206232 1339858944 325907 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 327114 325907 312 324 0 326183 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1308456 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=341368/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1398892 CPUtime=1181.95 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 372919 0 0 0 117837 358 0 0 25 0 1 0 98206232 1432465408 348513 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 349723 348513 312 324 0 348792 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1398892 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=255672/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1483840 CPUtime=1241.95 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 394178 0 0 0 123824 371 0 0 25 0 1 0 98206232 1519452160 369772 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8847192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 370960 369772 312 324 0 370029 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1483840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=171832/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1566892 CPUtime=1301.93 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 414917 0 0 0 129809 384 0 0 25 0 1 0 98206232 1604497408 390511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 391723 390511 312 324 0 390792 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1566892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29600 /proc/meminfo: memFree=78520/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1661000 CPUtime=1361.9 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 438439 0 0 0 135794 396 0 0 25 0 1 0 98206232 1700864000 414033 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 415250 414033 312 324 0 414319 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1661000 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/71 29776 /proc/meminfo: memFree=15488/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1737092 CPUtime=1421.81 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 457479 0 0 0 141772 409 0 0 25 0 1 0 98206232 1778782208 433073 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 434273 433073 312 324 0 433342 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1737092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29798 /proc/meminfo: memFree=15096/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1806452 CPUtime=1481.78 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 474803 0 0 0 147758 420 0 0 25 0 1 0 98206232 1849806848 450397 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 451613 450397 312 324 0 450682 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1806452 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1515.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29798 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=1843240 CPUtime=1515.38 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194304 484017 0 0 0 151112 426 0 0 25 0 1 0 98206232 1887477760 459611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29597/statm: 460810 459611 312 324 0 459879 0 Current children cumulated CPU time (s) 1515.38 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1516.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29798 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=0 CPUtime=1515.65 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194308 484018 0 0 0 151123 442 0 0 18 0 1 0 98206232 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/29597/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1515.65 Current children cumulated vsize (KiB) 0 [startup+1516.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29798 /proc/meminfo: memFree=15160/2055920 swapFree=4192812/4192956 [pid=29597] ppid=29595 vsize=0 CPUtime=1515.75 /proc/29597/stat : 29597 (bsolo3.0.16) R 29595 29597 28815 0 -1 4194308 484018 0 0 0 151123 452 0 0 18 0 1 0 98206232 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/29597/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1515.75 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1516.32 CPU time (s): 1515.78 CPU user time (s): 1511.23 CPU system time (s): 4.54331 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1511.23 system time used= 4.54331 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 484018 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= 18 involuntary context switches= 3676 runsolver used 1.11483 second user time and 3.15652 second system time The end
Begin job on node70 on Sat Apr 14 21:38:09 UTC 2007 IDJOB= 348540 IDBENCH= 1690 IDSOLVER= 163 FILE ID= node70/348540-1176586689 PBS_JOBID= 4556933 Free space on /tmp= 66536 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-maros-r7.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-348540-1176586689 -o ROOT/results/node70/solver-348540-1176586689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348540-1176586689/instance-348540-1176586689.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 24e8096a6d8928e5a9e214fdf85bd87e RANDOM SEED= 499197490 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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: 1735632 kB Buffers: 27216 kB Cached: 200040 kB SwapCached: 0 kB Active: 84236 kB Inactive: 159144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1735632 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 29288 kB Writeback: 0 kB Mapped: 26324 kB Slab: 62964 kB Committed_AS: 933120 kB PageTables: 1396 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= 66536 MiB End job on node70 on Sat Apr 14 22:03:27 UTC 2007