Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.25 | 1800.95 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-khb05250.opb |
MD5SUM | 0abc7673c35064c54cd6e972f16047d8 |
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 | 38297 |
Total number of constraints | 102 |
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 | 102 |
Minimum length of a constraint | 23 |
Maximum length of a constraint | 1530 |
Number of terms in the objective function | 37494 |
Biggest coefficient in the objective function | 580 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 555190 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 260900 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 555190 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb 0.00/0.00 c File size is 1178326 bytes. 0.19/0.26 c Highest Coefficient sum: 555190 0.19/0.26 c Parsing was ok!! 0.19/0.26 c Total parsing time: 0.256 s 0.19/0.27 c Var: 38297 Constr: 179 5/0/174 Lit: 153859 Watch. Lit: 48718 0.19/0.27 c Obj. Vars: 37494 (97.9032 % of total variables) 56.87/56.92 c Pre-processing Time: 56.902 s 56.87/56.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.87/56.92 c 0 25040 179 153465 857 103650 299431 0 0 56.90 56.87/56.92 c Switching off LPR mode. 1800.00/1800.70 c 100 25040 279 194227 696 103842 329375 100 1 57.25 1800.00/1800.70 c 250 25040 429 253502 590 104160 362313 250 4 57.60 1800.00/1800.70 c 477 25040 656 341190 520 104627 398545 477 8 57.96 1800.00/1800.70 c 816 25040 995 470769 473 105315 438400 816 13 58.37 1800.00/1800.70 c 1324 25040 1503 660519 439 106382 482241 1324 22 58.89 1800.00/1800.70 c 2087 25040 2266 947885 418 107910 530466 2087 35 59.46 1800.00/1800.70 c 3234 25040 3413 1380963 404 110227 583513 3234 53 60.36 1800.00/1800.70 c 4956 25040 5135 2032953 395 113708 641865 4956 80 61.79 1800.00/1800.70 c 7540 25040 7719 3016471 390 118901 706052 7540 118 63.59 1800.00/1800.70 c 11419 25040 11598 4488471 387 126657 776658 11419 172 66.11 1800.00/1800.70 c 17241 25040 17420 6695594 384 138302 854324 17241 245 70.17 1800.00/1800.70 c 25978 25040 26157 10121041 386 155820 939757 25978 337 77.02 1800.00/1800.70 c 39088 25040 39267 15248038 388 182041 500000 39088 433 90.15 1800.00/1800.70 c 58758 25040 58937 22957712 389 221379 550001 58758 527 111.48 1800.00/1800.70 c 88270 25040 88449 34563931 390 280604 605002 88270 594 148.50 1800.00/1800.70 c 132540 25040 132719 52026778 392 369157 665503 132540 623 212.60 1800.00/1800.70 c 198950 25040 199129 87751000 440 502317 732054 198950 287 692.55 1800.00/1800.70 c Caught signal: 15 1800.00/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.70 c 17 267982 6750 394992 268161 123355259 267982 148 1800.01 1800.00/1800.70 s UNKNOWN 1800.00/1800.70 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-348852-1176600944 -o ROOT/results/node11/solver-348852-1176600944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.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.99 3/77 10791 /proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=12888 CPUtime=0 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 101143380 13197312 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3222 339 282 324 0 2003 0 [startup+0.100357 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10791 /proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=16260 CPUtime=0.09 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 1370 0 0 0 8 1 0 0 18 0 1 0 101143380 16650240 1298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 4065 1298 392 324 0 2846 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16260 [startup+0.201368 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10791 /proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=9632 CPUtime=0.19 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 1776 0 0 0 18 1 0 0 18 0 1 0 101143380 9863168 1704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 2408 1704 508 324 0 1189 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 9632 [startup+0.301379 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10791 /proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14068 CPUtime=0.29 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3239 0 0 0 28 1 0 0 19 0 1 0 101143380 14405632 2805 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3517 2805 306 324 0 2586 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14068 [startup+0.701429 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10791 /proc/meminfo: memFree=1757768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14344 CPUtime=0.69 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3317 0 0 0 68 1 0 0 22 0 1 0 101143380 14688256 2883 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3586 2883 306 324 0 2655 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14344 [startup+1.50252 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1747328/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14344 CPUtime=1.49 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 148 1 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3586 2884 306 324 0 2655 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14344 [startup+3.10171 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1747200/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14344 CPUtime=3.1 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 308 2 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3586 2884 306 324 0 2655 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 14344 [startup+6.3011 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1747008/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14344 CPUtime=6.29 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 627 2 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3586 2884 306 324 0 2655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14344 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1746944/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=14344 CPUtime=12.69 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 3318 0 0 0 1266 3 0 0 25 0 1 0 101143380 14688256 2884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 3586 2884 306 324 0 2655 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14344 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1745280/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=16096 CPUtime=25.49 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 4139 0 0 0 2544 5 0 0 25 0 1 0 101143380 16482304 3330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540882 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 4024 3330 308 324 0 3093 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 16096 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1745280/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=16096 CPUtime=51.08 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 4139 0 0 0 5101 7 0 0 25 0 1 0 101143380 16482304 3330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 4024 3330 308 324 0 3093 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 16096 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1492608/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=268372 CPUtime=102.26 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 67199 0 0 0 10185 41 0 0 25 0 1 0 101143380 274812928 66390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 67093 66390 312 324 0 66162 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 268372 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1240960/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=521732 CPUtime=162.24 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 130561 0 0 0 16141 83 0 0 25 0 1 0 101143380 534253568 129752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 130433 129752 312 324 0 129502 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 521732 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10792 /proc/meminfo: memFree=1053504/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=706744 CPUtime=222.22 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 176797 0 0 0 22109 113 0 0 25 0 1 0 101143380 723705856 175988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 176686 175988 312 324 0 175755 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 706744 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10792 /proc/meminfo: memFree=963584/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=797132 CPUtime=282.21 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 199384 0 0 0 28094 127 0 0 25 0 1 0 101143380 816263168 198575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 199283 198575 312 324 0 198352 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 797132 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10792 /proc/meminfo: memFree=898880/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=860864 CPUtime=342.19 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 215329 0 0 0 34080 139 0 0 25 0 1 0 101143380 881524736 214520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 215216 214520 312 324 0 214285 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 860864 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=860096/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=900060 CPUtime=402.17 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 225124 0 0 0 40073 144 0 0 25 0 1 0 101143380 921661440 224315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 225015 224315 312 324 0 224084 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 900060 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=821376/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=938208 CPUtime=462.15 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 234684 0 0 0 46066 149 0 0 25 0 1 0 101143380 960724992 233875 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 234552 233875 312 324 0 233621 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 938208 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=747328/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1012756 CPUtime=522.13 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 253318 0 0 0 52051 162 0 0 25 0 1 0 101143380 1037062144 252509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 253189 252509 312 324 0 252258 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1012756 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=692736/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1066648 CPUtime=582.11 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 266784 0 0 0 58039 172 0 0 25 0 1 0 101143380 1092247552 265975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 266662 265975 312 324 0 265731 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 1066648 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=644480/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1115376 CPUtime=642.1 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 278971 0 0 0 64027 183 0 0 25 0 1 0 101143380 1142145024 278162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8413025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 278844 278162 312 324 0 277913 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1115376 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=508160/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1250588 CPUtime=882.03 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 312775 0 0 0 87994 209 0 0 25 0 1 0 101143380 1280602112 311966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 312647 311966 312 324 0 311716 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1250588 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=482880/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1276048 CPUtime=942.01 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 319142 0 0 0 93987 214 0 0 25 0 1 0 101143380 1306673152 318333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 319012 318333 312 324 0 318081 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1276048 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=459648/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1299008 CPUtime=1001.99 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 324886 0 0 0 99980 219 0 0 25 0 1 0 101143380 1330184192 324077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 324752 324077 312 324 0 323821 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1299008 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=433856/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1324916 CPUtime=1061.97 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 331358 0 0 0 105972 225 0 0 25 0 1 0 101143380 1356713984 330549 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 331229 330549 312 324 0 330298 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1324916 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=408768/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1349740 CPUtime=1121.95 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 337580 0 0 0 111965 230 0 0 25 0 1 0 101143380 1382133760 336771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 337435 336771 312 324 0 336504 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1349740 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=385024/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1373656 CPUtime=1181.94 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 343559 0 0 0 117959 235 0 0 25 0 1 0 101143380 1406623744 342750 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 343414 342750 312 324 0 342483 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1373656 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=359616/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1398868 CPUtime=1241.92 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 349861 0 0 0 123951 241 0 0 25 0 1 0 101143380 1432440832 349052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 349717 349052 312 324 0 348786 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1398868 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=336128/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1422548 CPUtime=1301.91 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 355769 0 0 0 129944 247 0 0 25 0 1 0 101143380 1456689152 354960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 355637 354960 312 324 0 354706 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1422548 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=312896/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1445616 CPUtime=1361.88 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 361525 0 0 0 135935 253 0 0 25 0 1 0 101143380 1480310784 360716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 361404 360716 312 324 0 360473 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1445616 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=289600/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1468592 CPUtime=1421.87 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 367280 0 0 0 141928 259 0 0 25 0 1 0 101143380 1503838208 366471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 367148 366471 312 324 0 366217 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1468592 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 10794 /proc/meminfo: memFree=265472/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1492908 CPUtime=1481.85 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 373350 0 0 0 147920 265 0 0 25 0 1 0 101143380 1528737792 372541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 373227 372541 312 324 0 372296 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1492908 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/84 10916 /proc/meminfo: memFree=241528/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1515244 CPUtime=1541.77 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 378952 0 0 0 153907 270 0 0 25 0 1 0 101143380 1551609856 378143 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 378811 378143 312 324 0 377880 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1515244 [startup+1602.3 s] /proc/loadavg: 1.45 1.12 1.04 2/78 11472 /proc/meminfo: memFree=184952/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1538892 CPUtime=1601.65 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 384863 0 0 0 159889 276 0 0 25 0 1 0 101143380 1575825408 384054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 384723 384054 312 324 0 383792 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1538892 [startup+1662.3 s] /proc/loadavg: 1.15 1.09 1.03 2/78 11472 /proc/meminfo: memFree=162680/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1561100 CPUtime=1661.63 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 390400 0 0 0 165881 282 0 0 25 0 1 0 101143380 1598566400 389591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 390275 389591 312 324 0 389344 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1561100 [startup+1722.3 s] /proc/loadavg: 1.06 1.08 1.03 2/78 11472 /proc/meminfo: memFree=141752/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1582180 CPUtime=1721.62 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 395678 0 0 0 171876 286 0 0 25 0 1 0 101143380 1620152320 394869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 395545 394869 312 324 0 394614 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1582180 [startup+1782.3 s] /proc/loadavg: 1.02 1.06 1.02 2/78 11472 /proc/meminfo: memFree=121208/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1602532 CPUtime=1781.6 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 400752 0 0 0 177869 291 0 0 25 0 1 0 101143380 1640992768 399943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 400633 399943 312 324 0 399702 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1602532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.01 1.05 1.02 2/78 11472 /proc/meminfo: memFree=113592/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=1610028 CPUtime=1800 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194304 402625 0 0 0 179708 292 0 0 25 0 1 0 101143380 1648668672 401816 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 402507 401816 312 324 0 401576 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1610028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.01 1.05 1.02 2/78 11472 /proc/meminfo: memFree=113592/2055920 swapFree=4146224/4192956 [pid=10791] ppid=10789 vsize=0 CPUtime=1800.19 /proc/10791/stat : 10791 (bsolo3.0.16) R 10789 10791 10053 0 -1 4194308 402626 0 0 0 179708 311 0 0 25 0 1 0 101143380 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/10791/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.95 CPU time (s): 1800.25 CPU user time (s): 1797.08 CPU system time (s): 3.16852 CPU usage (%): 99.9611 Max. virtual memory (cumulated for all children) (KiB): 1610028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.08 system time used= 3.16852 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 402626 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= 9054 runsolver used 2.09868 second user time and 4.26535 second system time The end
Begin job on node11 on Sun Apr 15 01:35:44 UTC 2007 IDJOB= 348852 IDBENCH= 1762 IDSOLVER= 163 FILE ID= node11/348852-1176600944 PBS_JOBID= 4556815 Free space on /tmp= 66465 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-khb05250.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-348852-1176600944 -o ROOT/results/node11/solver-348852-1176600944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348852-1176600944/instance-348852-1176600944.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0abc7673c35064c54cd6e972f16047d8 RANDOM SEED= 538539975 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1758112 kB Buffers: 47020 kB Cached: 185104 kB SwapCached: 15124 kB Active: 95180 kB Inactive: 163588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1758112 kB SwapTotal: 4192956 kB SwapFree: 4146224 kB Dirty: 5560 kB Writeback: 0 kB Mapped: 30432 kB Slab: 24500 kB Committed_AS: 5566200 kB PageTables: 1848 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= 66465 MiB End job on node11 on Sun Apr 15 02:05:47 UTC 2007