Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.03 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-seba.opb |
MD5SUM | f70781d9e1b73a3f03aa1ef3a5aa83c9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 5.45017 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 29038 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 531731 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531731 |
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.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/432682-1177947599/instance-432682-1177947599.opb 0.00/0.00 c File size is 1271282 bytes. 0.19/0.26 c Highest Coefficient sum: 531731 0.19/0.26 c Parsing was ok!! 0.19/0.26 c Total parsing time: 0.256 s 0.19/0.27 c Var: 23376 Constr: 1536 56/0/1480 Lit: 245988 Watch. Lit: 58816 0.19/0.27 c Obj. Vars: 7565 (32.3623 % of total variables) 2.79/2.86 c Pre-processing Time: 2.864 s 2.79/2.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.87 c 0 16993 1337 238622 178 193593 476705 0 0 2.86 2.79/2.87 c Switching off LPR mode. 1800.01/1800.60 c 100 16993 1437 243102 169 193751 524376 100 9 11.06 1800.01/1800.60 c 253 16993 1590 267264 168 194018 576814 253 19 13.05 1800.01/1800.60 c 478 16993 1815 281402 155 194439 634496 478 25 18.52 1800.01/1800.60 c 816 16993 2153 298991 138 195115 697946 816 24 33.22 1800.01/1800.60 c 1324 16992 2661 329760 123 196105 767741 1324 24 53.77 1800.01/1800.60 c 2087 16992 3424 375562 109 197630 844516 2087 21 98.71 1800.01/1800.60 c 3233 16992 4570 444345 97 199910 928968 3233 16 192.18 1800.01/1800.60 c 4962 16992 6299 621716 98 203377 500000 4962 19 251.31 1800.01/1800.60 c 7553 16992 8890 881307 99 208557 550001 7553 22 335.31 1800.01/1800.60 c 11435 16992 12772 1266118 99 216323 605002 11435 24 468.08 1800.01/1800.60 c 17265 16992 18602 1793092 96 227983 665503 17265 23 740.50 1800.01/1800.60 c 26002 16992 27339 2298323 84 245457 732054 26002 23 1095.22 1800.01/1800.60 c 39128 16992 40465 2903490 71 271709 805260 39128 23 1655.76 1800.01/1800.60 c Caught signal: 15 1800.01/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.60 c 13 41356 16406 227504 42693 2977019 41356 22 1800.02 1800.01/1800.60 s UNKNOWN 1800.01/1800.60 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-432682-1177947599 -o ROOT/results/node21/solver-432682-1177947599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432682-1177947599/instance-432682-1177947599.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.92 0.97 0.91 3/77 13698 /proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=12980 CPUtime=0 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242677232 13291520 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 3245 332 279 324 0 2004 0 [startup+0.0778089 s] /proc/loadavg: 0.92 0.97 0.91 3/77 13698 /proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=6680 CPUtime=0.06 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 841 0 0 0 6 0 0 0 18 0 1 0 242677232 6840320 811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 1670 811 372 324 0 429 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6680 [startup+0.101811 s] /proc/loadavg: 0.92 0.97 0.91 3/77 13698 /proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=7232 CPUtime=0.09 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 985 0 0 0 9 0 0 0 18 0 1 0 242677232 7405568 955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 1808 955 400 324 0 567 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7232 [startup+0.301833 s] /proc/loadavg: 0.92 0.97 0.91 3/77 13698 /proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=14888 CPUtime=0.29 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3412 0 0 0 28 1 0 0 19 0 1 0 242677232 15245312 3031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 3722 3032 304 324 0 2792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14888 [startup+0.701876 s] /proc/loadavg: 0.92 0.97 0.91 3/77 13698 /proc/meminfo: memFree=1879872/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=15732 CPUtime=0.69 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3590 0 0 0 68 1 0 0 22 0 1 0 242677232 16109568 3209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 3933 3209 304 324 0 3003 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15732 [startup+1.50196 s] /proc/loadavg: 0.92 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1868152/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=15732 CPUtime=1.49 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 3613 0 0 0 148 1 0 0 25 0 1 0 242677232 16109568 3232 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 3933 3232 304 324 0 3003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15732 [startup+3.10114 s] /proc/loadavg: 0.92 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1867192/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=16400 CPUtime=3.09 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4463 0 0 0 305 4 0 0 25 0 1 0 242677232 16793600 3404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4100 3404 310 324 0 3170 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16400 [startup+6.30149 s] /proc/loadavg: 0.93 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1866936/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=16532 CPUtime=6.29 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4513 0 0 0 625 4 0 0 25 0 1 0 242677232 16928768 3454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4133 3454 310 324 0 3203 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16532 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1866808/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=16796 CPUtime=12.69 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4569 0 0 0 1265 4 0 0 25 0 1 0 242677232 17199104 3510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4199 3510 310 324 0 3269 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16796 [startup+25.5016 s] /proc/loadavg: 0.95 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1866744/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=16800 CPUtime=25.48 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4583 0 0 0 2544 4 0 0 25 0 1 0 242677232 17203200 3524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4200 3524 310 324 0 3270 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16800 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.91 2/78 13699 /proc/meminfo: memFree=1866104/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=17592 CPUtime=51.06 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4758 0 0 0 5102 4 0 0 25 0 1 0 242677232 18014208 3699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4398 3699 310 324 0 3468 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 17592 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1865464/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=18124 CPUtime=102.25 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 4906 0 0 0 10221 4 0 0 25 0 1 0 242677232 18558976 3847 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4531 3847 310 324 0 3601 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18124 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1864504/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=19052 CPUtime=162.23 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 5142 0 0 0 16218 5 0 0 25 0 1 0 242677232 19509248 4083 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4763 4083 310 324 0 3833 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 19052 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1863608/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=19976 CPUtime=222.21 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 5359 0 0 0 22216 5 0 0 25 0 1 0 242677232 20455424 4300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 4994 4300 310 324 0 4064 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 19976 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1860792/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=22756 CPUtime=282.2 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 6048 0 0 0 28214 6 0 0 25 0 1 0 242677232 23302144 4989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550890 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 5689 4989 310 324 0 4759 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 22756 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1857976/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=25400 CPUtime=342.18 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 6730 0 0 0 34211 7 0 0 25 0 1 0 242677232 26009600 5671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 6350 5671 310 324 0 5420 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 25400 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1855992/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=27388 CPUtime=402.17 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 7223 0 0 0 40209 8 0 0 25 0 1 0 242677232 28045312 6164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 6847 6164 310 324 0 5917 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 27388 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1853240/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=30300 CPUtime=462.16 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 7933 0 0 0 46207 9 0 0 25 0 1 0 242677232 31027200 6874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 7575 6874 310 324 0 6645 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 30300 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1850808/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=32548 CPUtime=522.14 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 8509 0 0 0 52204 10 0 0 25 0 1 0 242677232 33329152 7450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 8137 7450 310 324 0 7207 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 32548 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1849016/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=34404 CPUtime=582.12 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 8975 0 0 0 58201 11 0 0 25 0 1 0 242677232 35229696 7916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 8601 7916 310 324 0 7671 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 34404 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1847736/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=35588 CPUtime=642.11 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 9280 0 0 0 64199 12 0 0 25 0 1 0 242677232 36442112 8221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 8897 8221 310 324 0 7967 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35588 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1842488/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=40888 CPUtime=822.06 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 10588 0 0 0 82192 14 0 0 25 0 1 0 242677232 41869312 9529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 10222 9529 310 324 0 9292 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 40888 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1841080/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=42216 CPUtime=882.05 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 10921 0 0 0 88190 15 0 0 25 0 1 0 242677232 43229184 9862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 10554 9862 310 324 0 9624 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 42216 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1840120/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=43140 CPUtime=942.02 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11147 0 0 0 94187 15 0 0 25 0 1 0 242677232 44175360 10088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 10785 10088 310 324 0 9855 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 43140 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1839352/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=43936 CPUtime=1002.01 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11351 0 0 0 100185 16 0 0 25 0 1 0 242677232 44990464 10292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 10984 10292 310 324 0 10054 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 43936 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1838520/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=44732 CPUtime=1062 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11550 0 0 0 106183 17 0 0 25 0 1 0 242677232 45805568 10491 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 11183 10491 310 324 0 10253 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 44732 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1837496/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=45792 CPUtime=1121.98 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 11816 0 0 0 112181 17 0 0 25 0 1 0 242677232 46891008 10757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 11448 10757 310 324 0 10518 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 45792 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1836536/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=46716 CPUtime=1181.97 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12038 0 0 0 118179 18 0 0 25 0 1 0 242677232 47837184 10979 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 11679 10979 310 324 0 10749 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 46716 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13701 /proc/meminfo: memFree=1835768/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=47504 CPUtime=1241.95 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12239 0 0 0 124176 19 0 0 25 0 1 0 242677232 48644096 11180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 11876 11180 310 324 0 10946 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 47504 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/84 13871 /proc/meminfo: memFree=1833160/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=48432 CPUtime=1301.85 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12463 0 0 0 130164 21 0 0 25 0 1 0 242677232 49594368 11404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 12108 11404 310 324 0 11178 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 48432 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1832888/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=49760 CPUtime=1361.82 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 12792 0 0 0 136161 21 0 0 25 0 1 0 242677232 50954240 11733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 12440 11733 310 324 0 11510 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 49760 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1831672/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=50956 CPUtime=1421.8 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13114 0 0 0 142158 22 0 0 25 0 1 0 242677232 52178944 12055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 12739 12055 310 324 0 11809 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 50956 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 3/78 13899 /proc/meminfo: memFree=1830456/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=52148 CPUtime=1481.78 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13404 0 0 0 148155 23 0 0 25 0 1 0 242677232 53399552 12345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13037 12345 310 324 0 12107 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 52148 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1829560/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=53080 CPUtime=1541.77 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13638 0 0 0 154153 24 0 0 25 0 1 0 242677232 54353920 12579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13270 12579 310 324 0 12340 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 53080 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1828920/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=53876 CPUtime=1601.76 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 13822 0 0 0 160151 25 0 0 25 0 1 0 242677232 55169024 12763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13469 12763 310 324 0 12539 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 53876 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1827832/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=54804 CPUtime=1661.74 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14081 0 0 0 166149 25 0 0 25 0 1 0 242677232 56119296 13022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13701 13022 310 324 0 12771 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 54804 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1827320/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=55336 CPUtime=1721.72 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14200 0 0 0 172147 25 0 0 25 0 1 0 242677232 56664064 13141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13834 13141 310 324 0 12904 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 55336 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1826744/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=55868 CPUtime=1781.71 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14339 0 0 0 178145 26 0 0 25 0 1 0 242677232 57208832 13280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 13967 13280 310 324 0 13037 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 55868 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 13899 /proc/meminfo: memFree=1826616/2055920 swapFree=4156288/4192956 [pid=13698] ppid=13696 vsize=56000 CPUtime=1800.01 /proc/13698/stat : 13698 (bsolo3.0.17) R 13696 13698 12897 0 -1 4194304 14378 0 0 0 179975 26 0 0 25 0 1 0 242677232 57344000 13319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13698/statm: 14000 13319 310 324 0 13070 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 56000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.63 CPU time (s): 1800.03 CPU user time (s): 1799.75 CPU system time (s): 0.277957 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 56000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.277957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14382 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= 2699 runsolver used 1.36379 second user time and 3.9434 second system time The end
Begin job on node21 on Mon Apr 30 15:39:59 UTC 2007 IDJOB= 432682 IDBENCH= 1681 IDSOLVER= 199 FILE ID= node21/432682-1177947599 PBS_JOBID= 4727650 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 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-seba.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432682-1177947599/instance-432682-1177947599.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-432682-1177947599 -o ROOT/results/node21/solver-432682-1177947599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432682-1177947599/instance-432682-1177947599.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= f70781d9e1b73a3f03aa1ef3a5aa83c9 RANDOM SEED= 62601780 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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: 1880280 kB Buffers: 28868 kB Cached: 57928 kB SwapCached: 15000 kB Active: 53224 kB Inactive: 56484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880280 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 7916 kB Writeback: 0 kB Mapped: 29816 kB Slab: 51424 kB Committed_AS: 1987884 kB PageTables: 1784 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 node21 on Mon Apr 30 16:10:02 UTC 2007