Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb |
MD5SUM | 86f5ae05f91cc0663afe4f54ca2c84e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71610 |
Total number of constraints | 704 |
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 | 704 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1830 |
Number of terms in the objective function | 71610 |
Biggest coefficient in the objective function | 2031 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 584663 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 584663 |
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/432652-1177947271/instance-432652-1177947271.opb 0.00/0.00 c File size is 2961239 bytes. 0.59/0.62 c Highest Coefficient sum: 584663 0.59/0.62 c Parsing was ok!! 0.59/0.62 c Total parsing time: 0.621 s 0.59/0.65 c Var: 71610 Constr: 1336 563/0/773 Lit: 349830 Watch. Lit: 81642 0.59/0.65 c Obj. Vars: 71610 (100 % of total variables) 37.08/37.15 c Pre-processing Time: 37.136 s 37.08/37.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.08/37.15 c 0 32208 910 312090 342 110611 548576 0 0 37.14 37.08/37.15 c Switching off LPR mode. 1800.01/1800.61 c 100 32208 1010 315127 312 212337 603434 100 2 38.99 1800.01/1800.61 c 250 32208 1160 321401 277 212715 663778 250 5 44.64 1800.01/1800.61 c 475 32208 1385 328684 237 213072 730156 475 7 64.92 1800.01/1800.61 c 813 32208 1723 345284 200 213978 803172 813 11 71.91 1800.01/1800.61 c 1321 32208 2231 362811 162 214815 883490 1321 17 74.94 1800.01/1800.61 c 2085 32208 2995 389583 130 216406 971840 2085 26 77.40 1800.01/1800.61 c 3231 32208 4141 459440 110 218628 500000 3231 37 86.41 1800.01/1800.61 c 4952 32208 5862 520923 88 222099 550001 4952 53 92.47 1800.01/1800.61 c 7536 32208 8446 697370 82 226988 605002 7536 66 113.88 1800.01/1800.61 c 11415 32208 12325 960334 77 234713 665503 11415 85 133.12 1800.01/1800.61 c 17237 32208 18147 1236497 68 246381 732054 17237 107 160.53 1800.01/1800.61 c 25975 32208 26885 1598757 59 263868 805260 25975 135 191.74 1800.01/1800.61 c 39085 32208 39995 2368805 59 288753 885787 39085 124 313.94 1800.01/1800.61 c 58756 32208 59666 3100978 51 328024 974366 58756 145 402.74 1800.01/1800.61 c 88266 32208 89176 4190529 46 386729 500000 88266 167 528.14 1800.01/1800.61 c 132536 32208 133446 5845758 43 474938 550001 132536 124 1060.32 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 16 197703 116686 1836844 198613 8371386 197703 109 1800.02 1800.01/1800.61 s UNKNOWN 1800.01/1800.61 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/node27/watcher-432652-1177947271 -o ROOT/results/node27/solver-432652-1177947271 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432652-1177947271/instance-432652-1177947271.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.98 0.94 3/65 23829 /proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=14628 CPUtime=0 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 207423010 14979072 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 3657 333 279 324 0 2004 0 [startup+0.089904 s] /proc/loadavg: 0.92 0.98 0.94 3/65 23829 /proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=17740 CPUtime=0.08 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 1301 0 0 0 8 0 0 0 18 0 1 0 207423010 18165760 1152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 4435 1152 383 324 0 2782 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17740 [startup+0.101904 s] /proc/loadavg: 0.92 0.98 0.94 3/65 23829 /proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=18416 CPUtime=0.09 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 1488 0 0 0 9 0 0 0 18 0 1 0 207423010 18857984 1339 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 4604 1346 398 324 0 2951 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18416 [startup+0.301923 s] /proc/loadavg: 0.92 0.98 0.94 3/65 23829 /proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=14668 CPUtime=0.28 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 2828 0 0 0 28 0 0 0 19 0 1 0 207423010 15020032 2630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 3667 2630 627 324 0 2014 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14668 [startup+0.701964 s] /proc/loadavg: 0.92 0.98 0.94 3/65 23829 /proc/meminfo: memFree=1779496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=21928 CPUtime=0.68 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 5622 0 0 0 67 1 0 0 22 0 1 0 207423010 22454272 4701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 5482 4701 304 324 0 4552 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 21928 [startup+1.50104 s] /proc/loadavg: 0.92 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1761760/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24836 CPUtime=1.48 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 142 6 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546581 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6209 5431 306 324 0 5279 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 24836 [startup+3.10121 s] /proc/loadavg: 0.92 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1758496/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24836 CPUtime=3.09 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 302 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6209 5431 306 324 0 5279 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24836 [startup+6.30153 s] /proc/loadavg: 0.93 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1758560/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24836 CPUtime=6.29 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 622 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6209 5431 306 324 0 5279 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24836 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1758624/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24836 CPUtime=12.68 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 1261 7 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6209 5431 306 324 0 5279 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24836 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1758624/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24836 CPUtime=25.48 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7052 0 0 0 2540 8 0 0 25 0 1 0 207423010 25432064 5431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6209 5431 306 324 0 5279 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24836 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1758880/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=24772 CPUtime=51.07 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 7326 0 0 0 5099 8 0 0 25 0 1 0 207423010 25366528 5425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 6193 5425 310 324 0 5263 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24772 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1754784/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=28916 CPUtime=102.27 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 8371 0 0 0 10218 9 0 0 25 0 1 0 207423010 29609984 6470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 7229 6470 310 324 0 6299 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28916 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1745440/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=38252 CPUtime=162.24 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 10703 0 0 0 16214 10 0 0 25 0 1 0 207423010 39170048 8802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 9563 8802 310 324 0 8633 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38252 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1737120/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=46396 CPUtime=222.23 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 12745 0 0 0 22211 12 0 0 25 0 1 0 207423010 47509504 10844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 11599 10844 310 324 0 10669 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 46396 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1731552/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=51972 CPUtime=282.21 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 14135 0 0 0 28208 13 0 0 25 0 1 0 207423010 53219328 12234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 12993 12234 310 324 0 12063 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 51972 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1724192/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=59340 CPUtime=342.2 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 15972 0 0 0 34205 15 0 0 25 0 1 0 207423010 60764160 14071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 14835 14071 310 324 0 13905 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59340 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1717152/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=66332 CPUtime=402.17 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 17737 0 0 0 40201 16 0 0 25 0 1 0 207423010 67923968 15836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 16583 15836 310 324 0 15653 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 66332 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1709024/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=74464 CPUtime=462.16 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 19744 0 0 0 46197 19 0 0 25 0 1 0 207423010 76251136 17843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 18616 17843 310 324 0 17686 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 74464 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1700640/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=82848 CPUtime=522.14 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 21855 0 0 0 52193 21 0 0 25 0 1 0 207423010 84836352 19954 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 20712 19954 310 324 0 19782 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 82848 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1697824/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=85564 CPUtime=582.13 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 22536 0 0 0 58191 22 0 0 25 0 1 0 207423010 87617536 20635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 21391 20635 310 324 0 20461 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 85564 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1694624/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=88784 CPUtime=642.11 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 23328 0 0 0 64188 23 0 0 25 0 1 0 207423010 90914816 21427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 22196 21427 310 324 0 21266 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 88784 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1685408/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=97940 CPUtime=822.06 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 25644 0 0 0 82179 27 0 0 25 0 1 0 207423010 100290560 23743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 24485 23743 310 324 0 23555 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 97940 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1682400/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=101032 CPUtime=882.04 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 26399 0 0 0 88177 27 0 0 25 0 1 0 207423010 103456768 24498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 25258 24498 310 324 0 24328 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 101032 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1679456/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=103996 CPUtime=942.03 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 27145 0 0 0 94174 29 0 0 25 0 1 0 207423010 106491904 25244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 25999 25244 310 324 0 25069 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 103996 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1676512/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=106828 CPUtime=1002.01 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 27865 0 0 0 100171 30 0 0 25 0 1 0 207423010 109391872 25964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 26707 25964 310 324 0 25777 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 106828 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1673504/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=109928 CPUtime=1062 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 28623 0 0 0 106168 32 0 0 25 0 1 0 207423010 112566272 26722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 27482 26722 310 324 0 26552 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 109928 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1672160/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=111220 CPUtime=1121.97 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 28952 0 0 0 112165 32 0 0 25 0 1 0 207423010 113889280 27051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1900385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 27805 27051 310 324 0 26875 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 111220 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1669088/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=114312 CPUtime=1181.96 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 29720 0 0 0 118163 33 0 0 25 0 1 0 207423010 117055488 27819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 28578 27819 310 324 0 27648 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 114312 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1666016/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=117276 CPUtime=1241.94 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 30470 0 0 0 124160 34 0 0 25 0 1 0 207423010 120090624 28569 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 29319 28569 310 324 0 28389 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 117276 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1663072/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=120244 CPUtime=1301.93 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 31198 0 0 0 130158 35 0 0 25 0 1 0 207423010 123129856 29297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 30061 29297 310 324 0 29131 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 120244 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1660128/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=123208 CPUtime=1361.91 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 31935 0 0 0 136155 36 0 0 25 0 1 0 207423010 126164992 30034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 30802 30034 310 324 0 29872 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 123208 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1657248/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=126044 CPUtime=1421.9 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 32662 0 0 0 142153 37 0 0 25 0 1 0 207423010 129069056 30761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 31511 30761 310 324 0 30581 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 126044 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1654304/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=129004 CPUtime=1481.88 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 33396 0 0 0 148150 38 0 0 25 0 1 0 207423010 132100096 31495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 32251 31495 310 324 0 31321 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 129004 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 23830 /proc/meminfo: memFree=1651424/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=131844 CPUtime=1541.86 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 34106 0 0 0 154147 39 0 0 25 0 1 0 207423010 135008256 32205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 32961 32205 310 324 0 32031 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 131844 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.94 2/72 23904 /proc/meminfo: memFree=1647336/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=134680 CPUtime=1601.82 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 34822 0 0 0 160142 40 0 0 25 0 1 0 207423010 137912320 32921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 33670 32921 310 324 0 32740 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 134680 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 24028 /proc/meminfo: memFree=1645536/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=137516 CPUtime=1661.74 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 35520 0 0 0 166134 40 0 0 25 0 1 0 207423010 140816384 33619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 34379 33619 310 324 0 33449 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 137516 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 24028 /proc/meminfo: memFree=1642912/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=140224 CPUtime=1721.72 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 36185 0 0 0 172131 41 0 0 25 0 1 0 207423010 143589376 34284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 35056 34284 310 324 0 34126 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 140224 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.94 2/66 24028 /proc/meminfo: memFree=1636384/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=146672 CPUtime=1781.7 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 37819 0 0 0 178128 42 0 0 25 0 1 0 207423010 150192128 35918 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 36668 35918 310 324 0 35738 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 146672 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.94 2/66 24028 /proc/meminfo: memFree=1633888/2055920 swapFree=4182924/4192956 [pid=23829] ppid=23827 vsize=149120 CPUtime=1800.01 /proc/23829/stat : 23829 (bsolo3.0.17) R 23827 23829 23027 0 -1 4194304 38426 0 0 0 179958 43 0 0 25 0 1 0 207423010 152698880 36525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23829/statm: 37280 36525 310 324 0 36350 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 149120 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.64 CPU time (s): 1800.05 CPU user time (s): 1799.59 CPU system time (s): 0.45793 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 149120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.45793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38430 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= 3047 runsolver used 1.45478 second user time and 3.52046 second system time The end
Begin job on node27 on Mon Apr 30 15:34:31 UTC 2007 IDJOB= 432652 IDBENCH= 1651 IDSOLVER= 199 FILE ID= node27/432652-1177947271 PBS_JOBID= 4727636 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-ship08s.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432652-1177947271/instance-432652-1177947271.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-432652-1177947271 -o ROOT/results/node27/solver-432652-1177947271 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432652-1177947271/instance-432652-1177947271.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 86f5ae05f91cc0663afe4f54ca2c84e2 RANDOM SEED= 715354908 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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.213 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: 1779968 kB Buffers: 31556 kB Cached: 166200 kB SwapCached: 4068 kB Active: 63724 kB Inactive: 143884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779968 kB SwapTotal: 4192956 kB SwapFree: 4182924 kB Dirty: 9476 kB Writeback: 0 kB Mapped: 15732 kB Slab: 54376 kB Committed_AS: 2310708 kB PageTables: 1412 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 node27 on Mon Apr 30 16:04:34 UTC 2007