Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.03 | 1800.59 |
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.03 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.03 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.03 c type "bsolo -h" for help 0.00/0.03 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/348319-1176576459/instance-348319-1176576459.opb 0.00/0.03 c File size is 2961239 bytes. 0.57/0.66 c Highest Coefficient sum: 584663 0.57/0.66 c Parsing was ok!! 0.57/0.66 c Total parsing time: 0.631 s 0.57/0.69 c Var: 71610 Constr: 1336 563/0/773 Lit: 349830 Watch. Lit: 81642 0.57/0.69 c Obj. Vars: 71610 (100 % of total variables) 36.96/37.09 c Pre-processing Time: 37.053 s 36.96/37.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.96/37.09 c 0 32208 910 312090 342 110611 548576 0 0 37.05 36.96/37.09 c Switching off LPR mode. 1799.94/1800.56 c 100 32208 1010 315127 312 212337 603434 100 2 38.94 1799.94/1800.56 c 250 32208 1160 321401 277 212715 663778 250 5 44.63 1799.94/1800.56 c 475 32208 1385 328684 237 213072 730156 475 7 65.17 1799.94/1800.56 c 813 32208 1723 345284 200 213978 803172 813 11 72.24 1799.94/1800.56 c 1321 32208 2231 362811 162 214815 883490 1321 17 75.28 1799.94/1800.56 c 2085 32208 2995 389583 130 216406 971840 2085 26 77.74 1799.94/1800.56 c 3231 32208 4141 459440 110 218628 500000 3231 37 86.75 1799.94/1800.56 c 4952 32208 5862 520923 88 222099 550001 4952 53 92.81 1799.94/1800.56 c 7536 32208 8446 697370 82 226988 605002 7536 65 114.25 1799.94/1800.56 c 11415 32208 12325 960334 77 234713 665503 11415 85 133.59 1799.94/1800.56 c 17237 32208 18147 1236497 68 246381 732054 17237 107 161.06 1799.94/1800.56 c 25975 32208 26885 1598757 59 263868 805260 25975 135 192.35 1799.94/1800.56 c 39085 32208 39995 2368805 59 288753 885787 39085 124 314.60 1799.94/1800.56 c 58756 32208 59666 3100978 51 328024 974366 58756 145 403.74 1799.94/1800.56 c 88266 32208 89176 4190529 46 386729 500000 88266 166 529.62 1799.94/1800.56 c 132536 32208 133446 5845758 43 474938 550001 132536 124 1062.47 1799.94/1800.56 c Resources Exceeded 1799.94/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.56 c 16 197081 116285 1834757 197991 8343337 197081 109 1800.00 1799.94/1800.56 s UNKNOWN 1799.94/1800.56 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-348319-1176576459 -o ROOT/results/node15/solver-348319-1176576459 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348319-1176576459/instance-348319-1176576459.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.97 0.96 0.98 3/77 4486 /proc/meminfo: memFree=1837880/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=3780 CPUtime=0 /proc/4486/stat : 4486 (bsolo3.0.16) D 4484 4486 4337 0 -1 4194304 215 0 3 0 0 0 0 0 18 0 1 0 105563563 3870720 186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7643824 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/4486/statm: 945 186 159 324 0 14 0 [startup+0.0576979 s] /proc/loadavg: 0.97 0.96 0.98 3/77 4486 /proc/meminfo: memFree=1837880/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=15644 CPUtime=0.02 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 640 0 6 0 2 0 0 0 18 0 1 0 105563563 16019456 614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 3911 614 315 324 0 2257 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15644 [startup+0.101704 s] /proc/loadavg: 0.97 0.96 0.98 3/77 4486 /proc/meminfo: memFree=1837880/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=17000 CPUtime=0.07 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 1077 0 6 0 7 0 0 0 18 0 1 0 105563563 17408000 1011 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 4250 1011 366 324 0 2596 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 17000 [startup+0.301721 s] /proc/loadavg: 0.97 0.96 0.98 3/77 4486 /proc/meminfo: memFree=1837880/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=14412 CPUtime=0.27 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 2719 0 6 0 26 1 0 0 19 0 1 0 105563563 14757888 2525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 3603 2525 595 324 0 1949 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 14412 [startup+0.701757 s] /proc/loadavg: 0.97 0.96 0.98 3/77 4486 /proc/meminfo: memFree=1837880/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=21928 CPUtime=0.67 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 5619 0 7 0 65 2 0 0 23 0 1 0 105563563 22454272 4703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7954077 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 5482 4703 306 324 0 4551 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 21928 [startup+1.50183 s] /proc/loadavg: 0.97 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1819184/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=25884 CPUtime=1.46 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 6751 0 7 0 141 5 0 0 25 0 1 0 105563563 26505216 5695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7944017 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6471 5695 308 324 0 5540 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 25884 [startup+3.10198 s] /proc/loadavg: 0.97 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1816304/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=24836 CPUtime=3.07 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 7049 0 7 0 301 6 0 0 25 0 1 0 105563563 25432064 5433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6209 5433 308 324 0 5278 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 24836 [startup+6.30127 s] /proc/loadavg: 0.97 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1816304/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=24836 CPUtime=6.27 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 7049 0 7 0 621 6 0 0 25 0 1 0 105563563 25432064 5433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6209 5433 308 324 0 5278 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 24836 [startup+12.7019 s] /proc/loadavg: 0.98 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1816304/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=24836 CPUtime=12.67 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 7049 0 7 0 1260 7 0 0 25 0 1 0 105563563 25432064 5433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6209 5433 308 324 0 5278 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 24836 [startup+25.501 s] /proc/loadavg: 0.98 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1816432/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=24836 CPUtime=25.46 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 7049 0 7 0 2539 7 0 0 25 0 1 0 105563563 25432064 5433 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6209 5433 308 324 0 5278 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 24836 [startup+51.1014 s] /proc/loadavg: 0.99 0.96 0.98 2/78 4487 /proc/meminfo: memFree=1816560/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=24772 CPUtime=51.05 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 7323 0 7 0 5090 15 0 0 25 0 1 0 105563563 25366528 5427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 6193 5427 312 324 0 5262 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 24772 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1812528/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=28784 CPUtime=102.25 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 8320 0 7 0 10198 27 0 0 25 0 1 0 105563563 29474816 6424 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 7196 6424 312 324 0 6265 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 28784 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1803248/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=38124 CPUtime=162.23 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 10677 0 7 0 16186 37 0 0 25 0 1 0 105563563 39038976 8781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 9531 8781 312 324 0 8600 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 38124 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1794800/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=46396 CPUtime=222.21 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 12728 0 7 0 22178 43 0 0 25 0 1 0 105563563 47509504 10832 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 11599 10832 312 324 0 10668 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 46396 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1789168/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=51972 CPUtime=282.2 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 14128 0 7 0 28172 48 0 0 25 0 1 0 105563563 53219328 12232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551266 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 12993 12232 312 324 0 12062 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 51972 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1781872/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=59212 CPUtime=342.18 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 15943 0 7 0 34166 52 0 0 25 0 1 0 105563563 60633088 14047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 14803 14047 312 324 0 13872 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 59212 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1774960/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=66204 CPUtime=402.17 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 17700 0 7 0 40153 64 0 0 25 0 1 0 105563563 67792896 15804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 16551 15804 312 324 0 15620 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 66204 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1766768/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=74208 CPUtime=462.16 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 19696 0 7 0 46139 77 0 0 25 0 1 0 105563563 75988992 17800 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 18552 17800 312 324 0 17621 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 74208 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1758384/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=82720 CPUtime=522.14 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 21807 0 7 0 52131 83 0 0 25 0 1 0 105563563 84705280 19911 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 20680 19911 312 324 0 19749 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 82720 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1755376/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=85436 CPUtime=582.13 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 22511 0 7 0 58114 99 0 0 25 0 1 0 105563563 87486464 20615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 21359 20615 312 324 0 20428 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 85436 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 4487 /proc/meminfo: memFree=1752176/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=88656 CPUtime=642.12 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 23304 0 7 0 64110 102 0 0 25 0 1 0 105563563 90783744 21408 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 22164 21408 312 324 0 21233 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 88656 ################ # More data... # ################ /proc/meminfo: memFree=1730800/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=109664 CPUtime=1061.92 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 28547 0 7 0 106072 120 0 0 25 0 1 0 105563563 112295936 26651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 27416 26651 312 324 0 26485 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 109664 [startup+1122.3 s] /proc/loadavg: 1.07 0.99 0.98 2/78 4685 /proc/meminfo: memFree=1729328/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=111088 CPUtime=1121.91 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 28914 0 7 0 112046 145 0 0 25 0 1 0 105563563 113754112 27018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 27772 27018 312 324 0 26841 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 111088 [startup+1182.3 s] /proc/loadavg: 1.10 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1726256/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=114184 CPUtime=1181.89 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 29682 0 7 0 118042 147 0 0 25 0 1 0 105563563 116924416 27786 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 28546 27786 312 324 0 27615 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 114184 [startup+1242.3 s] /proc/loadavg: 1.10 1.02 0.99 2/78 4685 /proc/meminfo: memFree=1723248/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=117148 CPUtime=1241.87 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 30432 0 7 0 124038 149 0 0 25 0 1 0 105563563 119959552 28536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 29287 28536 312 324 0 28356 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 117148 [startup+1302.3 s] /proc/loadavg: 1.04 1.01 0.99 2/78 4685 /proc/meminfo: memFree=1720304/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=120112 CPUtime=1301.87 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 31162 0 7 0 130035 152 0 0 25 0 1 0 105563563 122994688 29266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 30028 29266 312 324 0 29097 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 120112 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1717360/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=123076 CPUtime=1361.85 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 31897 0 7 0 136030 155 0 0 25 0 1 0 105563563 126029824 30001 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 30769 30001 312 324 0 29838 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 123076 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1714416/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=125912 CPUtime=1421.83 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 32624 0 7 0 142025 158 0 0 25 0 1 0 105563563 128933888 30728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 31478 30728 312 324 0 30547 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 125912 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1711472/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=128876 CPUtime=1481.81 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 33360 0 7 0 148020 161 0 0 25 0 1 0 105563563 131969024 31464 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 32219 31464 312 324 0 31288 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 128876 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1708592/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=131716 CPUtime=1541.8 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 34074 0 7 0 154016 164 0 0 25 0 1 0 105563563 134877184 32178 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 32929 32178 312 324 0 31998 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 131716 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1705712/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=134552 CPUtime=1601.79 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 34787 0 7 0 160012 167 0 0 25 0 1 0 105563563 137781248 32891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 33638 32891 312 324 0 32707 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 134552 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1702768/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=137388 CPUtime=1661.77 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 35490 0 7 0 166008 169 0 0 25 0 1 0 105563563 140685312 33594 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 34347 33594 312 324 0 33416 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 137388 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1700144/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=140092 CPUtime=1721.76 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 36151 0 7 0 172004 172 0 0 25 0 1 0 105563563 143454208 34255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 35023 34255 312 324 0 34092 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 140092 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1693872/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=146288 CPUtime=1781.75 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 37722 0 7 0 177996 179 0 0 25 0 1 0 105563563 149798912 35826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 36572 35826 312 324 0 35641 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 146288 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1692592/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=147572 CPUtime=1791.34 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38032 0 7 0 178955 179 0 0 25 0 1 0 105563563 151113728 36136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 36893 36136 312 324 0 35962 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 147572 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1692080/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=147960 CPUtime=1794.54 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38146 0 7 0 179274 180 0 0 25 0 1 0 105563563 151511040 36250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 36990 36250 312 324 0 36059 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 147960 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1691824/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=148344 CPUtime=1797.74 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38242 0 7 0 179594 180 0 0 25 0 1 0 105563563 151904256 36346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 37086 36346 312 324 0 36155 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 148344 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1691504/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=148604 CPUtime=1799.34 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38294 0 7 0 179753 181 0 0 25 0 1 0 105563563 152170496 36398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7945938 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 37151 36398 312 324 0 36220 0 Current children cumulated CPU time (s) 1799.34 Current children cumulated vsize (KiB) 148604 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1691504/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=148604 CPUtime=1799.74 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38308 0 7 0 179793 181 0 0 25 0 1 0 105563563 152170496 36412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 37151 36412 312 324 0 36220 0 Current children cumulated CPU time (s) 1799.74 Current children cumulated vsize (KiB) 148604 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 4685 /proc/meminfo: memFree=1691504/2055920 swapFree=4169120/4192956 [pid=4486] ppid=4484 vsize=148732 CPUtime=1799.94 /proc/4486/stat : 4486 (bsolo3.0.16) R 4484 4486 4337 0 -1 4194304 38313 0 7 0 179813 181 0 0 25 0 1 0 105563563 152301568 36417 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4486/statm: 37183 36417 312 324 0 36252 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 148732 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.03 CPU user time (s): 1798.2 CPU system time (s): 1.83672 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 148732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.2 system time used= 1.83672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38317 page faults= 7 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20 involuntary context switches= 36196 runsolver used 2.16967 second user time and 4.24036 second system time The end
Begin job on node15 on Sat Apr 14 18:47:40 UTC 2007 IDJOB= 348319 IDBENCH= 1651 IDSOLVER= 163 FILE ID= node15/348319-1176576459 PBS_JOBID= 4556786 Free space on /tmp= 66550 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-ship08s.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348319-1176576459/instance-348319-1176576459.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-348319-1176576459 -o ROOT/results/node15/solver-348319-1176576459 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348319-1176576459/instance-348319-1176576459.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 86f5ae05f91cc0663afe4f54ca2c84e2 RANDOM SEED= 334201043 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1838416 kB Buffers: 38764 kB Cached: 104528 kB SwapCached: 2840 kB Active: 103408 kB Inactive: 63608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838416 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 7396 kB Writeback: 0 kB Mapped: 29852 kB Slab: 35896 kB Committed_AS: 4408736 kB PageTables: 1868 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= 66550 MiB End job on node15 on Sat Apr 14 19:17:40 UTC 2007