Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.23 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-l152lav.opb |
MD5SUM | 1a5510d564851e49e3b50f1a87922ca2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4722 |
Best CPU time to get the best result obtained on this benchmark | 74.2227 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4722 |
Optimality of the best value was proved | YES |
Number of variables | 1989 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 1989 |
Number of terms in the objective function | 1989 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 382524 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 382524 |
Number of bits of the biggest sum of numbers | 19 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb 0.00/0.01 c File size is 106158 bytes. 0.00/0.02 c Highest Coefficient sum: 382524 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.02 s 0.00/0.03 c Var: 1989 Constr: 193 95/97/1 Lit: 18833 Watch. Lit: 10102 0.00/0.03 c Obj. Vars: 1989 (100 % of total variables) 0.19/0.25 c Pre-processing Time: 0.243 s 0.29/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.40 c 0 1988 193 18833 97 10105 78906 0 0 0.24 0.29/0.40 c Initial Lower Bound: 4657 0.29/0.40 c Initial Path Cost: 0 1800.03/1800.50 c 100 1988 293 49946 170 10310 86797 100 234 0.43 1800.03/1800.50 c 250 1988 443 79992 180 10612 95477 250 529 0.47 1800.03/1800.50 c 478 1988 671 139750 208 11067 105025 478 859 0.56 1800.03/1800.50 c 817 1988 1010 188477 186 11743 115528 817 1158 0.70 1800.03/1800.50 c 1325 1988 1518 324191 213 12761 127081 1325 1500 0.88 1800.03/1800.50 c 2088 1988 2281 416119 182 14288 139790 2088 1482 1.41 1800.03/1800.50 c 3234 1988 3427 599515 174 16578 153770 3234 1570 2.06 1800.03/1800.50 c 4955 1988 5148 1024795 199 20019 169148 4955 1693 2.93 1800.03/1800.50 c 7539 1988 7732 1780904 230 25190 186063 7539 1635 4.61 1800.03/1800.50 c 11418 1988 11611 3030894 261 32947 204670 11418 1481 7.71 1800.03/1800.50 c 17242 1988 17435 4703688 269 44594 225138 17242 1263 13.65 1800.03/1800.50 c 25981 1988 26174 8234774 314 62073 247652 25981 897 28.94 1800.03/1800.50 c 39094 1988 39287 12494449 318 88299 272418 39094 550 71.01 1800.03/1800.50 c 58766 1988 58959 20293211 344 127643 299660 58766 401 146.33 1800.03/1800.50 c 88278 1988 88471 34588035 390 186668 329627 88278 269 327.68 1800.03/1800.50 c 132548 1988 132741 58186312 438 275207 362590 132548 162 813.72 1800.03/1800.50 c Caught signal: 15 1800.03/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.50 c 16 167111 59593 1407970 167304 93639578 167111 92 1800.04 1800.03/1800.50 s UNKNOWN 1800.03/1800.50 c Total time: 1800.04 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-351928-1176617744 -o ROOT/results/node50/solver-351928-1176617744 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.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: 1.25 1.09 1.02 3/64 11693 /proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=3912 CPUtime=0 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 278 0 3 0 0 0 0 0 18 0 1 0 16619563 4005888 250 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135000296 0 0 4096 0 0 0 0 17 1 0 0 /proc/11693/statm: 978 267 239 324 0 47 0 [startup+0.0474089 s] /proc/loadavg: 1.25 1.09 1.02 3/64 11693 /proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=4740 CPUtime=0.03 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 602 0 3 0 3 0 0 0 18 0 1 0 16619563 4853760 547 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 1185 547 304 324 0 254 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4740 [startup+0.101414 s] /proc/loadavg: 1.25 1.09 1.02 3/64 11693 /proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=4740 CPUtime=0.09 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 603 0 3 0 9 0 0 0 18 0 1 0 16619563 4853760 548 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 1185 548 304 324 0 254 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4740 [startup+0.301431 s] /proc/loadavg: 1.25 1.09 1.02 3/64 11693 /proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=6516 CPUtime=0.29 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 1784 0 3 0 28 1 0 0 19 0 1 0 16619563 6672384 972 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135316278 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 1629 972 387 324 0 698 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6516 [startup+0.701465 s] /proc/loadavg: 1.25 1.09 1.02 3/64 11693 /proc/meminfo: memFree=1879592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=7512 CPUtime=0.69 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 2379 0 3 0 65 4 0 0 22 0 1 0 16619563 7692288 1348 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 1878 1348 392 324 0 947 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7512 [startup+1.50154 s] /proc/loadavg: 1.25 1.09 1.02 2/65 11694 /proc/meminfo: memFree=1872992/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=10880 CPUtime=1.48 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 3210 0 3 0 137 11 0 0 25 0 1 0 16619563 11141120 2179 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 2720 2179 392 324 0 1789 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10880 [startup+3.10168 s] /proc/loadavg: 1.25 1.09 1.02 2/65 11694 /proc/meminfo: memFree=1869024/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=20032 CPUtime=3.09 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 5506 0 3 0 294 15 0 0 25 0 1 0 16619563 20512768 4475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 5008 4475 392 324 0 4077 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20032 [startup+6.30196 s] /proc/loadavg: 1.22 1.09 1.02 2/65 11694 /proc/meminfo: memFree=1849704/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=37592 CPUtime=6.28 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 9898 0 3 0 610 18 0 0 25 0 1 0 16619563 38494208 8867 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134552602 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 9398 8867 392 324 0 8467 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37592 [startup+12.7015 s] /proc/loadavg: 1.21 1.09 1.02 2/65 11694 /proc/meminfo: memFree=1822312/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=62588 CPUtime=12.68 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 16133 0 3 0 1242 26 0 0 25 0 1 0 16619563 64090112 15102 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 15647 15103 392 324 0 14716 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 62588 [startup+25.5016 s] /proc/loadavg: 1.16 1.08 1.02 2/65 11694 /proc/meminfo: memFree=1778408/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=104656 CPUtime=25.46 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 26663 0 3 0 2513 33 0 0 25 0 1 0 16619563 107167744 25632 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 26164 25632 392 324 0 25233 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 104656 [startup+51.1019 s] /proc/loadavg: 1.10 1.07 1.02 2/65 11694 /proc/meminfo: memFree=1738856/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=144156 CPUtime=51.06 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 36514 0 3 0 5057 49 0 0 25 0 1 0 16619563 147615744 35483 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 36039 35483 392 324 0 35108 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 144156 [startup+102.305 s] /proc/loadavg: 1.04 1.06 1.01 2/65 11694 /proc/meminfo: memFree=1667752/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=214604 CPUtime=102.25 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 54152 0 3 0 10159 66 0 0 25 0 1 0 16619563 219754496 53121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 53651 53121 392 324 0 52720 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 214604 [startup+162.302 s] /proc/loadavg: 1.01 1.05 1.01 2/65 11694 /proc/meminfo: memFree=1598312/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=284728 CPUtime=162.23 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 71664 0 3 0 16142 81 0 0 25 0 1 0 16619563 291561472 70633 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 71182 70633 392 324 0 70251 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 284728 [startup+222.302 s] /proc/loadavg: 1.00 1.04 1.00 2/65 11694 /proc/meminfo: memFree=1537320/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=345072 CPUtime=222.22 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 86748 0 3 0 22118 104 0 0 25 0 1 0 16619563 353353728 85717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 86268 85717 392 324 0 85337 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 345072 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/65 11694 /proc/meminfo: memFree=1472296/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=410372 CPUtime=282.2 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 103070 0 3 0 28104 116 0 0 25 0 1 0 16619563 420220928 102039 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 102593 102039 392 324 0 101662 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 410372 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11694 /proc/meminfo: memFree=1420968/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=461232 CPUtime=342.18 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 115782 0 3 0 34090 128 0 0 25 0 1 0 16619563 472301568 114751 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 115308 114751 392 324 0 114377 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 461232 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11694 /proc/meminfo: memFree=1387560/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=495012 CPUtime=402.17 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 124237 0 3 0 40076 141 0 0 25 0 1 0 16619563 506892288 123206 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 123753 123206 392 324 0 122822 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 495012 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 11694 /proc/meminfo: memFree=1343592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=538212 CPUtime=462.16 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 135030 0 3 0 46064 152 0 0 25 0 1 0 16619563 551129088 133999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 134553 133999 392 324 0 133622 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 538212 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=1310376/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=572068 CPUtime=522.13 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 143495 0 3 0 52048 165 0 0 25 0 1 0 16619563 585797632 142464 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 143017 142464 392 324 0 142086 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 572068 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=1262440/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=619368 CPUtime=582.12 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 155341 0 3 0 58036 176 0 0 25 0 1 0 16619563 634232832 154310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 154842 154310 392 324 0 153911 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 619368 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=1222120/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=659208 CPUtime=642.12 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 165293 0 3 0 64030 182 0 0 25 0 1 0 16619563 675028992 164262 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 164802 164262 392 324 0 163871 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 659208 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=1073256/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=807812 CPUtime=882.05 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 202442 0 3 0 87998 207 0 0 25 0 1 0 16619563 827199488 201411 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 201953 201411 392 324 0 201022 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 807812 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=1031848/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=849732 CPUtime=942.04 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 212921 0 3 0 93991 213 0 0 25 0 1 0 16619563 870125568 211890 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 212433 211890 392 324 0 211502 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 849732 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=991912/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=888940 CPUtime=1002.02 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 222723 0 3 0 99983 219 0 0 25 0 1 0 16619563 910274560 221692 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 222235 221692 392 324 0 221304 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 888940 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=961768/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=919372 CPUtime=1062.01 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 230321 0 3 0 105977 224 0 0 25 0 1 0 16619563 941436928 229290 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 229843 229290 392 324 0 228912 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 919372 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=932712/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=948064 CPUtime=1122 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 237493 0 3 0 111972 228 0 0 25 0 1 0 16619563 970817536 236462 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 237016 236462 392 324 0 236085 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 948064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=903592/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=977284 CPUtime=1181.98 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 244803 0 3 0 117966 232 0 0 25 0 1 0 16619563 1000738816 243772 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 244321 243772 392 324 0 243390 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 977284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=875560/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1004928 CPUtime=1241.96 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 251727 0 3 0 123960 236 0 0 25 0 1 0 16619563 1029046272 250696 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 251232 250696 392 324 0 250301 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1004928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=849576/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1030812 CPUtime=1301.96 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 258184 0 3 0 129956 240 0 0 25 0 1 0 16619563 1055551488 257153 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 257703 257153 392 324 0 256772 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1030812 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=823144/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1057436 CPUtime=1361.94 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 264845 0 3 0 135950 244 0 0 25 0 1 0 16619563 1082814464 263814 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 264359 263814 392 324 0 263428 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1057436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=796584/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1083664 CPUtime=1421.93 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 271404 0 3 0 141946 247 0 0 25 0 1 0 16619563 1109671936 270373 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 270916 270373 392 324 0 269985 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1083664 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=773352/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1107060 CPUtime=1481.91 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 277250 0 3 0 147941 250 0 0 25 0 1 0 16619563 1133629440 276219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 276765 276219 392 324 0 275834 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1107060 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=752808/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1127388 CPUtime=1541.89 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 282334 0 3 0 153937 252 0 0 25 0 1 0 16619563 1154445312 281303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 281847 281303 392 324 0 280916 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1127388 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=732584/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1147680 CPUtime=1601.88 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 287410 0 3 0 159933 255 0 0 25 0 1 0 16619563 1175224320 286379 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 286920 286379 392 324 0 285989 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1147680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=710696/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1169332 CPUtime=1661.86 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 292823 0 3 0 165928 258 0 0 25 0 1 0 16619563 1197395968 291792 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 292333 291792 392 324 0 291402 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1169332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=693288/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1186976 CPUtime=1721.85 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 297226 0 3 0 171925 260 0 0 25 0 1 0 16619563 1215463424 296195 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 296744 296195 392 324 0 295813 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1186976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=671976/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1208004 CPUtime=1781.84 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 302479 0 3 0 177919 265 0 0 25 0 1 0 16619563 1236996096 301448 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 302001 301448 392 324 0 301070 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1208004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11694 /proc/meminfo: memFree=666344/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=1213492 CPUtime=1800.03 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194304 303856 0 3 0 179738 265 0 0 25 0 1 0 16619563 1242615808 302825 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 303373 302825 392 324 0 302442 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1213492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11695 /proc/meminfo: memFree=1308128/2055920 swapFree=4154980/4192956 [pid=11693] ppid=11691 vsize=0 CPUtime=1800.14 /proc/11693/stat : 11693 (bsolo3.0.16) R 11691 11693 24449 0 -1 4194308 303857 0 3 0 179738 276 0 0 25 0 1 0 16619563 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/11693/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.69 CPU time (s): 1800.23 CPU user time (s): 1797.39 CPU system time (s): 2.84657 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 1213492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.39 system time used= 2.84657 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 303857 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 5164 runsolver used 1.13983 second user time and 3.79742 second system time The end
Begin job on node50 on Sun Apr 15 06:15:44 UTC 2007 IDJOB= 351928 IDBENCH= 1852 IDSOLVER= 163 FILE ID= node50/351928-1176617744 PBS_JOBID= 4557018 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-351928-1176617744 -o ROOT/results/node50/solver-351928-1176617744 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351928-1176617744/instance-351928-1176617744.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2 RANDOM SEED= 270765877 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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: 1880000 kB Buffers: 4160 kB Cached: 122500 kB SwapCached: 8796 kB Active: 31764 kB Inactive: 104808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880000 kB SwapTotal: 4192956 kB SwapFree: 4154980 kB Dirty: 4484 kB Writeback: 0 kB Mapped: 11192 kB Slab: 25220 kB Committed_AS: 366772 kB PageTables: 1516 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= 66560 MiB End job on node50 on Sun Apr 15 06:45:47 UTC 2007