Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.18 | 1802.83 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sctap3.opb |
MD5SUM | c9c03ffbcefada456722b42cc16a80ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1895 |
Best CPU time to get the best result obtained on this benchmark | 1802 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1895 |
Optimality of the best value was proved | NO |
Number of variables | 74400 |
Total number of constraints | 1408 |
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 | 1408 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 930 |
Number of terms in the objective function | 55800 |
Biggest coefficient in the objective function | 718 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 571800 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 169126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 571800 |
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/432678-1177947501/instance-432678-1177947501.opb 0.00/0.00 c File size is 3368779 bytes. 0.69/0.74 c Highest Coefficient sum: 571800 0.69/0.74 c Parsing was ok!! 0.69/0.74 c Total parsing time: 0.737 s 0.69/0.77 c Var: 74400 Constr: 2028 634/0/1394 Lit: 313650 Watch. Lit: 61496 0.69/0.77 c Obj. Vars: 55800 (75 % of total variables) 10.18/10.21 c Pre-processing Time: 10.21 s 10.18/10.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.18/10.21 c 0 41850 2028 313650 154 223453 510331 0 0 10.21 10.18/10.21 c Switching off LPR mode. 1800.04/1800.60 c 100 41850 2128 321290 150 223653 561365 100 7 13.39 1800.04/1800.60 c 250 41850 2278 331690 145 223953 617502 250 15 16.66 1800.04/1800.60 c 475 41850 2503 359887 143 224403 679253 475 25 18.86 1800.04/1800.60 c 813 41850 2841 402354 141 225079 747179 813 38 21.31 1800.04/1800.60 c 1321 41850 3349 466310 139 226095 821897 1321 55 23.89 1800.04/1800.60 c 2084 41850 4112 554133 134 227621 904087 2084 50 41.02 1800.04/1800.60 c 3230 41850 5258 682030 129 229913 994496 3230 63 50.67 1800.04/1800.60 c 4951 41850 6979 877503 125 233355 500000 4951 76 64.48 1800.04/1800.60 c 7535 41850 9563 1251172 130 238523 550001 7535 105 71.49 1800.04/1800.60 c 11422 41850 13450 1661572 123 246297 605002 11422 155 73.66 1800.04/1800.60 c 17248 41850 19276 2334540 121 257949 665503 17248 213 80.80 1800.04/1800.60 c 25985 41850 28013 2921104 104 275423 732054 25985 305 85.02 1800.04/1800.60 c 39097 41850 41125 3824861 93 301647 805260 39097 377 103.58 1800.04/1800.60 c 58769 41850 60797 6708865 110 340991 885787 58769 389 150.85 1800.04/1800.61 c 88280 41850 90308 9421331 104 400013 974366 88280 409 215.49 1800.04/1800.61 c 132551 41850 134579 13781196 102 488555 500000 132551 459 288.72 1800.04/1800.61 c 198961 41850 200989 19565923 97 621375 550001 198961 259 767.31 1800.04/1800.61 c 298582 41850 300610 34764990 115 820617 605002 298582 238 1250.83 1800.04/1800.61 c Caught signal: 15 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 18 390069 51498 7771810 392097 57000044 390069 216 1800.05 1800.04/1800.61 s UNKNOWN 1800.04/1800.61 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-432678-1177947501 -o ROOT/results/node4/solver-432678-1177947501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432678-1177947501/instance-432678-1177947501.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.91 0.97 0.90 3/77 781 /proc/meminfo: memFree=1856336/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=15028 CPUtime=0 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 270787896 15388672 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 3757 334 279 324 0 2004 0 [startup+0.082853 s] /proc/loadavg: 0.91 0.97 0.90 3/77 781 /proc/meminfo: memFree=1856336/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=17680 CPUtime=0.07 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 1142 0 0 0 7 0 0 0 18 0 1 0 270787896 18104320 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 4420 1072 376 324 0 2667 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17680 [startup+0.101854 s] /proc/loadavg: 0.91 0.97 0.90 3/77 781 /proc/meminfo: memFree=1856336/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=18420 CPUtime=0.09 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 1368 0 0 0 9 0 0 0 18 0 1 0 270787896 18862080 1219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 4605 1219 395 324 0 2852 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18420 [startup+0.301873 s] /proc/loadavg: 0.91 0.97 0.90 3/77 781 /proc/meminfo: memFree=1856336/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=13212 CPUtime=0.29 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 2308 0 0 0 28 1 0 0 19 0 1 0 270787896 13529088 2110 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 3303 2110 613 324 0 1550 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13212 [startup+0.701911 s] /proc/loadavg: 0.91 0.97 0.90 3/77 781 /proc/meminfo: memFree=1856336/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=16896 CPUtime=0.69 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 3737 0 0 0 68 1 0 0 23 0 1 0 270787896 17301504 3539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 4224 3539 1059 324 0 2471 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16896 [startup+1.50199 s] /proc/loadavg: 0.91 0.97 0.90 2/78 782 /proc/meminfo: memFree=1835976/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=24940 CPUtime=1.49 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 6547 0 0 0 146 3 0 0 25 0 1 0 270787896 25538560 5417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 6235 5417 304 324 0 5305 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24940 [startup+3.10114 s] /proc/loadavg: 0.91 0.97 0.90 2/78 782 /proc/meminfo: memFree=1835848/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=24940 CPUtime=3.09 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 6547 0 0 0 305 4 0 0 25 0 1 0 270787896 25538560 5417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 6235 5417 304 324 0 5305 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24940 [startup+6.30145 s] /proc/loadavg: 0.92 0.97 0.90 2/78 782 /proc/meminfo: memFree=1835528/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=24940 CPUtime=6.29 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 6547 0 0 0 622 7 0 0 25 0 1 0 270787896 25538560 5417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 6235 5417 304 324 0 5305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24940 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.90 2/78 782 /proc/meminfo: memFree=1832328/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=28316 CPUtime=12.68 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 8132 0 0 0 1257 11 0 0 25 0 1 0 270787896 28995584 6274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 7079 6274 310 324 0 6149 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28316 [startup+25.5013 s] /proc/loadavg: 0.94 0.97 0.91 2/78 782 /proc/meminfo: memFree=1832392/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=28320 CPUtime=25.48 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 8135 0 0 0 2537 11 0 0 25 0 1 0 270787896 28999680 6277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 7080 6277 310 324 0 6150 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28320 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.91 2/78 782 /proc/meminfo: memFree=1830024/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=30816 CPUtime=51.07 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 8765 0 0 0 5095 12 0 0 25 0 1 0 270787896 31555584 6907 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 7704 6907 310 324 0 6774 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30816 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/78 782 /proc/meminfo: memFree=1785224/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=75260 CPUtime=102.26 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 19915 0 0 0 10207 19 0 0 25 0 1 0 270787896 77066240 18057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 18815 18057 310 324 0 17885 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 75260 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1737672/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=123452 CPUtime=162.24 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 31957 0 0 0 16198 26 0 0 25 0 1 0 270787896 126414848 30099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 30863 30099 310 324 0 29933 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 123452 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1701192/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=159792 CPUtime=222.22 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 41050 0 0 0 22188 34 0 0 25 0 1 0 270787896 163627008 39192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 39948 39192 310 324 0 39018 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 159792 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1652936/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=207736 CPUtime=282.22 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 53042 0 0 0 28176 46 0 0 25 0 1 0 270787896 212721664 51184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 51934 51184 310 324 0 51004 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 207736 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1636680/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=223544 CPUtime=342.19 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 56999 0 0 0 34170 49 0 0 25 0 1 0 270787896 228909056 55141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 55886 55141 310 324 0 54956 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 223544 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1625480/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=234784 CPUtime=402.19 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 59788 0 0 0 40165 54 0 0 25 0 1 0 270787896 240418816 57930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 58696 57930 310 324 0 57766 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 234784 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 782 /proc/meminfo: memFree=1611592/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=248504 CPUtime=462.16 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 63236 0 0 0 46159 57 0 0 25 0 1 0 270787896 254468096 61378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 62126 61378 310 324 0 61196 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 248504 [startup+522.302 s] /proc/loadavg: 1.03 0.99 0.91 2/78 782 /proc/meminfo: memFree=1600456/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=259860 CPUtime=522.16 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 66057 0 0 0 52156 60 0 0 25 0 1 0 270787896 266096640 64199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 64965 64199 310 324 0 64035 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 259860 [startup+582.302 s] /proc/loadavg: 1.12 1.02 0.93 2/78 782 /proc/meminfo: memFree=1591496/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=268540 CPUtime=582.14 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 68247 0 0 0 58152 62 0 0 25 0 1 0 270787896 274984960 66389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 67135 66389 310 324 0 66205 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 268540 [startup+642.301 s] /proc/loadavg: 1.08 1.03 0.93 2/78 782 /proc/meminfo: memFree=1582216/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=277836 CPUtime=642.13 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 70553 0 0 0 64148 65 0 0 25 0 1 0 270787896 284504064 68695 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 69459 68695 310 324 0 68529 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 277836 ################ # More data... # ################ /proc/meminfo: memFree=1411784/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=448008 CPUtime=1062.02 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 113109 0 0 0 106099 103 0 0 25 0 1 0 270787896 458760192 111251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 112002 111251 310 324 0 111072 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 448008 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 782 /proc/meminfo: memFree=1397128/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=462468 CPUtime=1122 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 116731 0 0 0 112092 108 0 0 25 0 1 0 270787896 473567232 114873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 115617 114873 310 324 0 114687 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 462468 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 782 /proc/meminfo: memFree=1378568/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=481176 CPUtime=1181.99 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 121409 0 0 0 118085 114 0 0 25 0 1 0 270787896 492724224 119551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 120294 119551 310 324 0 119364 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 481176 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 782 /proc/meminfo: memFree=1363208/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=496284 CPUtime=1241.98 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 125182 0 0 0 124081 117 0 0 25 0 1 0 270787896 508194816 123324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 124071 123324 310 324 0 123141 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 496284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 782 /proc/meminfo: memFree=1318344/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=540892 CPUtime=1301.96 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 136336 0 0 0 130071 125 0 0 25 0 1 0 270787896 553873408 134478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 135223 134478 310 324 0 134293 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 540892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/84 808 /proc/meminfo: memFree=1300312/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=557660 CPUtime=1361.93 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 140528 0 0 0 136064 129 0 0 25 0 1 0 270787896 571043840 138670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11021864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 139415 138670 310 324 0 138485 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 557660 [startup+1422.31 s] /proc/loadavg: 1.13 1.04 0.95 2/78 980 /proc/meminfo: memFree=1289864/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=569248 CPUtime=1421.84 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 143412 0 0 0 142050 134 0 0 25 0 1 0 270787896 582909952 141554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 142312 141554 310 324 0 141382 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 569248 [startup+1482.3 s] /proc/loadavg: 1.05 1.03 0.95 2/78 980 /proc/meminfo: memFree=1261000/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=598592 CPUtime=1481.82 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 150757 0 0 0 148042 140 0 0 25 0 1 0 270787896 612958208 148899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 149648 148899 310 324 0 148718 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 598592 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 0.95 2/78 980 /proc/meminfo: memFree=1206344/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=652652 CPUtime=1541.8 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 164283 0 0 0 154032 148 0 0 25 0 1 0 270787896 668315648 162425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 163163 162425 310 324 0 162233 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 652652 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 0.95 2/78 980 /proc/meminfo: memFree=1167496/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=691576 CPUtime=1601.79 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 174008 0 0 0 160023 156 0 0 25 0 1 0 270787896 708173824 172150 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 172894 172150 310 324 0 171964 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 691576 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 0.95 2/78 980 /proc/meminfo: memFree=1145928/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=712948 CPUtime=1661.77 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 179344 0 0 0 166016 161 0 0 25 0 1 0 270787896 730058752 177486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 178237 177486 310 324 0 177307 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 712948 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 0.95 2/78 980 /proc/meminfo: memFree=1125768/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=734024 CPUtime=1721.75 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 184622 0 0 0 172009 166 0 0 25 0 1 0 270787896 751640576 182764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 183506 182764 310 324 0 182576 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 734024 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 980 /proc/meminfo: memFree=1078344/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=780596 CPUtime=1781.74 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 196240 0 0 0 177999 175 0 0 25 0 1 0 270787896 799330304 194382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 195149 194382 310 324 0 194219 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 780596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/78 980 /proc/meminfo: memFree=1067464/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=791200 CPUtime=1800.04 /proc/781/stat : 781 (bsolo3.0.17) R 779 781 32399 0 -1 4194304 198901 0 0 0 179827 177 0 0 25 0 1 0 270787896 810188800 197043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 197800 197043 310 324 0 196870 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 791200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.95 2/78 980 /proc/meminfo: memFree=1067464/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=791200 CPUtime=1800.04 /proc/781/stat : 781 (bsolo3.0.17) S 779 781 32399 0 -1 4194304 198901 0 0 0 179827 177 0 0 25 0 1 0 270787896 810188800 197043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 197800 197043 310 324 0 196870 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 791200 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.95 1/79 981 /proc/meminfo: memFree=1067456/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=791200 CPUtime=1800.04 /proc/781/stat : 781 (bsolo3.0.17) S 779 781 32399 0 -1 4194304 198901 0 0 0 179827 177 0 0 25 0 1 0 270787896 810188800 197043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 197800 197043 310 324 0 196870 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 791200 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.95 1/79 981 /proc/meminfo: memFree=1067456/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=791200 CPUtime=1800.04 /proc/781/stat : 781 (bsolo3.0.17) S 779 781 32399 0 -1 4194304 198901 0 0 0 179827 177 0 0 25 0 1 0 270787896 810188800 197043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/781/statm: 197800 197043 310 324 0 196870 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 791200 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 0.95 1/77 981 /proc/meminfo: memFree=1855760/2055920 swapFree=4141160/4192956 [pid=781] ppid=779 vsize=0 CPUtime=1800.16 /proc/781/stat : 781 (bsolo3.0.17) D 779 781 32399 0 -1 4195332 198901 0 0 0 179827 189 0 0 16 0 1 0 270787896 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/781/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.83 CPU time (s): 1800.18 CPU user time (s): 1798.28 CPU system time (s): 1.89771 CPU usage (%): 99.8529 Max. virtual memory (cumulated for all children) (KiB): 791200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.28 system time used= 1.89771 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198901 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= 13 involuntary context switches= 39467 runsolver used 1.47677 second user time and 3.77243 second system time The end
Begin job on node4 on Mon Apr 30 15:38:22 UTC 2007 IDJOB= 432678 IDBENCH= 1677 IDSOLVER= 199 FILE ID= node4/432678-1177947501 PBS_JOBID= 4727635 Free space on /tmp= 66555 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-sctap3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432678-1177947501/instance-432678-1177947501.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-432678-1177947501 -o ROOT/results/node4/solver-432678-1177947501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432678-1177947501/instance-432678-1177947501.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c9c03ffbcefada456722b42cc16a80ad RANDOM SEED= 922157622 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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 : 5931.00 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: 1856936 kB Buffers: 33436 kB Cached: 79732 kB SwapCached: 14808 kB Active: 51104 kB Inactive: 84744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856936 kB SwapTotal: 4192956 kB SwapFree: 4141160 kB Dirty: 9964 kB Writeback: 0 kB Mapped: 29652 kB Slab: 48604 kB Committed_AS: 6427500 kB PageTables: 1816 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= 66555 MiB End job on node4 on Mon Apr 30 16:08:25 UTC 2007