Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | UNSAT | 836.557 | 836.802 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-stair.opb |
MD5SUM | 93ec90d2ad0b276483c19ced945be9c0 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 12.2451 |
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 | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 528959045369856 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 3702118998041541 |
Number of bits of the biggest sum of numbers | 52 |
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/433255-1177957103/instance-433255-1177957103.opb 0.00/0.00 c File size is 1274185 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.09/0.18 c Highest Coefficient sum: 3.70212e+15 0.09/0.18 c Parsing was ok!! 0.09/0.18 c Total parsing time: 0.178 s 0.09/0.19 c Var: 11454 Constr: 571 0/0/571 Lit: 112673 Watch. Lit: 37040 0.09/0.19 c Obj. Vars: 30 (0.261917 % of total variables) 0.89/1.00 c Pre-processing Time: 0.996 s 836.44/836.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 836.44/836.72 c 0 9209 571 110115 192 92251 220230 0 0 1.00 836.44/836.72 c 102 9209 673 115749 171 92327 242254 102 100 1.01 836.44/836.72 c 253 9209 824 128567 156 101024 266480 253 227 1.11 836.44/836.72 c 478 9209 1049 149351 142 101468 293129 478 309 1.55 836.44/836.72 c 821 9209 1392 174896 125 102265 322442 821 384 2.14 836.44/836.72 c 1329 9209 1900 221867 116 103163 354687 1329 510 2.60 836.44/836.72 c 2093 9209 2664 314631 118 104683 390156 2093 631 3.31 836.44/836.72 c 3241 9209 3812 423260 111 107042 429172 3241 738 4.39 836.44/836.72 c 4963 9209 5534 699238 126 110092 472090 4963 763 6.50 836.44/836.72 c 7548 9209 8119 1068500 131 115314 519300 7548 775 9.73 836.44/836.72 c 11427 9179 11998 1636846 136 123460 571231 11427 772 14.79 836.44/836.72 c 17249 9179 17820 2458176 137 134978 628355 17249 842 20.46 836.44/836.72 c 25986 9158 26557 4236935 159 152813 691191 25986 759 34.22 836.44/836.73 c 39097 9155 39668 7994239 201 179426 760311 39097 617 63.37 836.44/836.73 c 58769 9155 59340 14570166 245 218771 836343 58769 465 126.13 836.44/836.73 c 88280 9154 88851 23861279 268 277685 919978 88280 440 200.19 836.44/836.73 c 132550 9154 133121 26951268 202 372231 500000 132550 462 286.30 836.44/836.73 c 198960 9154 199531 30701010 153 505223 550001 198960 411 483.22 836.44/836.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 836.44/836.73 c 17 244747 17368 308527 245318 32015521 244747 292 836.48 836.44/836.73 s UNSATISFIABLE 836.44/836.73 c Total time: 836.483 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-433255-1177957103 -o ROOT/results/node5/solver-433255-1177957103 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.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.99 0.99 0.96 3/77 30341 /proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=12984 CPUtime=0 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 271747939 13295616 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 3246 336 281 324 0 2004 0 [startup+0.0216879 s] /proc/loadavg: 0.99 0.99 0.96 3/77 30341 /proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=13260 CPUtime=0.01 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 472 0 0 0 1 0 0 0 18 0 1 0 271747939 13578240 442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 3315 442 311 324 0 2073 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13260 [startup+0.101698 s] /proc/loadavg: 0.99 0.99 0.96 3/77 30341 /proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=6244 CPUtime=0.09 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 811 0 0 0 9 0 0 0 18 0 1 0 271747939 6393856 781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 1561 781 457 324 0 319 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6244 [startup+0.30172 s] /proc/loadavg: 0.99 0.99 0.96 3/77 30341 /proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=9160 CPUtime=0.29 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 1950 0 0 0 29 0 0 0 19 0 1 0 271747939 9379840 1608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 2290 1608 304 324 0 1360 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9160 [startup+0.701766 s] /proc/loadavg: 0.99 0.99 0.96 3/77 30341 /proc/meminfo: memFree=1847488/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=10888 CPUtime=0.69 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2487 0 0 0 68 1 0 0 22 0 1 0 271747939 11149312 2055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 2722 2055 306 324 0 1792 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10888 [startup+1.50186 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1840376/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=10892 CPUtime=1.49 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2491 0 0 0 147 2 0 0 25 0 1 0 271747939 11153408 2059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 2723 2059 310 324 0 1793 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10892 [startup+3.10104 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1840248/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=12184 CPUtime=3.09 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 2808 0 0 0 307 2 0 0 25 0 1 0 271747939 12476416 2376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326826 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 3046 2376 310 324 0 2116 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12184 [startup+6.3014 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1835128/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=17400 CPUtime=6.29 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 4118 0 0 0 626 3 0 0 25 0 1 0 271747939 17817600 3686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 4350 3686 310 324 0 3420 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17400 [startup+12.7011 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1824568/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=27644 CPUtime=12.69 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 6696 0 0 0 1264 5 0 0 25 0 1 0 271747939 28307456 6264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 6911 6264 310 324 0 5981 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27644 [startup+25.5016 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1805048/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=46268 CPUtime=25.49 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 11329 0 0 0 2541 8 0 0 25 0 1 0 271747939 47378432 10897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 11567 10897 310 324 0 10637 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46268 [startup+51.1015 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1753912/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=97736 CPUtime=51.07 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 24198 0 0 0 5092 15 0 0 25 0 1 0 271747939 100081664 23766 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 24434 23766 310 324 0 23504 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 97736 [startup+102.305 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1676920/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=173832 CPUtime=102.26 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 43233 0 0 0 10199 27 0 0 25 0 1 0 271747939 178003968 42801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 43458 42801 310 324 0 42528 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 173832 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1599736/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=251740 CPUtime=162.24 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 62693 0 0 0 16183 41 0 0 25 0 1 0 271747939 257781760 62261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 62935 62261 310 324 0 62005 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 251740 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1506168/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=344180 CPUtime=222.23 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 85821 0 0 0 22166 57 0 0 25 0 1 0 271747939 352440320 85389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 86045 85389 310 324 0 85115 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 344180 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1484792/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=365476 CPUtime=282.21 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 91157 0 0 0 28158 63 0 0 25 0 1 0 271747939 374247424 90725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 91369 90725 310 324 0 90439 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 365476 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1452088/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=398088 CPUtime=342.19 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 99284 0 0 0 34148 71 0 0 25 0 1 0 271747939 407642112 98852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 99522 98852 310 324 0 98592 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 398088 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1434616/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=415528 CPUtime=402.17 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 103643 0 0 0 40141 76 0 0 25 0 1 0 271747939 425500672 103211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 103882 103211 310 324 0 102952 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 415528 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1429816/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=420196 CPUtime=462.15 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 104813 0 0 0 46137 78 0 0 25 0 1 0 271747939 430280704 104381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 105049 104381 310 324 0 104119 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 420196 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1424952/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=425000 CPUtime=522.14 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 106023 0 0 0 52134 80 0 0 25 0 1 0 271747939 435200000 105591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 106250 105591 310 324 0 105320 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 425000 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1419832/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=430072 CPUtime=582.12 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 107285 0 0 0 58130 82 0 0 25 0 1 0 271747939 440393728 106853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 107518 106853 310 324 0 106588 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 430072 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1415672/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=434116 CPUtime=642.11 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 108306 0 0 0 64127 84 0 0 25 0 1 0 271747939 444534784 107874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 108529 107874 310 324 0 107599 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 434116 [startup+702.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1412280/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=437504 CPUtime=702.09 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 109161 0 0 0 70123 86 0 0 25 0 1 0 271747939 448004096 108729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 109376 108729 310 324 0 108446 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 437504 [startup+762.305 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1409336/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=440376 CPUtime=762.07 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 109866 0 0 0 76120 87 0 0 25 0 1 0 271747939 450945024 109434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110094 109434 310 324 0 109164 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 440376 [startup+822.302 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406840/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=442860 CPUtime=822.05 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110503 0 0 0 82117 88 0 0 25 0 1 0 271747939 453488640 110071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110715 110071 310 324 0 109785 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 442860 Solver just ended. Dumping a history of the last processes samples [startup+825.501 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406648/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443120 CPUtime=825.25 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110539 0 0 0 82437 88 0 0 25 0 1 0 271747939 453754880 110107 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110780 110107 310 324 0 109850 0 Current children cumulated CPU time (s) 825.25 Current children cumulated vsize (KiB) 443120 [startup+831.902 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406392/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443252 CPUtime=831.65 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110600 0 0 0 83077 88 0 0 25 0 1 0 271747939 453890048 110168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110813 110168 310 324 0 109883 0 Current children cumulated CPU time (s) 831.65 Current children cumulated vsize (KiB) 443252 [startup+835.101 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443384 CPUtime=834.84 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110626 0 0 0 83396 88 0 0 25 0 1 0 271747939 454025216 110194 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110846 110194 310 324 0 109916 0 Current children cumulated CPU time (s) 834.84 Current children cumulated vsize (KiB) 443384 [startup+835.901 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443384 CPUtime=835.65 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110633 0 0 0 83477 88 0 0 25 0 1 0 271747939 454025216 110201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110846 110201 310 324 0 109916 0 Current children cumulated CPU time (s) 835.65 Current children cumulated vsize (KiB) 443384 [startup+836.301 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443384 CPUtime=836.04 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110634 0 0 0 83516 88 0 0 25 0 1 0 271747939 454025216 110202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110846 110202 310 324 0 109916 0 Current children cumulated CPU time (s) 836.04 Current children cumulated vsize (KiB) 443384 [startup+836.702 s] /proc/loadavg: 0.99 0.99 0.96 2/78 30342 /proc/meminfo: memFree=1406264/2055920 swapFree=4151596/4192956 [pid=30341] ppid=30339 vsize=443384 CPUtime=836.44 /proc/30341/stat : 30341 (bsolo3.0.17) R 30339 30341 29886 0 -1 4194304 110636 0 0 0 83556 88 0 0 25 0 1 0 271747939 454025216 110204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30341/statm: 110846 110204 310 324 0 109916 0 Current children cumulated CPU time (s) 836.44 Current children cumulated vsize (KiB) 443384 Child status: 0 Real time (s): 836.802 CPU time (s): 836.557 CPU user time (s): 835.596 CPU system time (s): 0.960853 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 443384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 835.596 system time used= 0.960853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110640 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= 699 runsolver used 0.634903 second user time and 1.81472 second system time The end
Begin job on node5 on Mon Apr 30 18:18:23 UTC 2007 IDJOB= 433255 IDBENCH= 2409 IDSOLVER= 199 FILE ID= node5/433255-1177957103 PBS_JOBID= 4727732 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-433255-1177957103 -o ROOT/results/node5/solver-433255-1177957103 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433255-1177957103/instance-433255-1177957103.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 93ec90d2ad0b276483c19ced945be9c0 RANDOM SEED= 349803527 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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: 1847832 kB Buffers: 26088 kB Cached: 93128 kB SwapCached: 9372 kB Active: 46424 kB Inactive: 96412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847832 kB SwapTotal: 4192956 kB SwapFree: 4151596 kB Dirty: 7932 kB Writeback: 0 kB Mapped: 30660 kB Slab: 50752 kB Committed_AS: 9211472 kB PageTables: 1724 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 node5 on Mon Apr 30 18:32:20 UTC 2007