Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb |
MD5SUM | 6815697d1fd827c594e155d1d753b261 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14010 |
Best CPU time to get the best result obtained on this benchmark | 1782.78 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14010 |
Optimality of the best value was proved | NO |
Number of variables | 14400 |
Total number of constraints | 492 |
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 | 492 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7200 |
Biggest coefficient in the objective function | 3483 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 530175 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 530175 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb 0.00/0.00 c File size is 440016 bytes. 0.05/0.08 c Highest Coefficient sum: 530175 0.05/0.08 c Parsing was ok!! 0.05/0.08 c Total parsing time: 0.085 s 0.05/0.09 c Var: 14400 Constr: 732 0/0/732 Lit: 55800 Watch. Lit: 12872 0.05/0.09 c Obj. Vars: 7200 (50 % of total variables) 0.19/0.29 c Pre-processing Time: 0.287 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 9380 732 55800 76 45776 111600 0 0 0.29 0.19/0.29 c Switching off LPR mode. 1800.04/1800.70 c 100 9380 832 63685 76 46265 122761 100 287 0.35 1800.04/1800.70 c 250 9380 982 72281 73 46548 135038 250 617 0.41 1800.04/1800.70 c 475 9380 1207 84823 70 47777 148542 475 834 0.57 1800.04/1800.70 c 813 9378 1545 106533 68 48440 163397 813 1003 0.81 1800.04/1800.70 c 1321 9378 2053 131007 63 49432 179737 1321 1548 0.85 1800.04/1800.70 c 2085 9378 2817 182617 64 50994 197711 2085 2022 1.03 1800.04/1800.70 c 3231 9376 3963 237442 59 53847 217483 3231 2203 1.47 1800.04/1800.70 c 4953 9376 5685 353639 62 57770 239232 4953 2331 2.12 1800.04/1800.70 c 7538 9376 8270 550137 66 62903 263156 7538 2767 2.72 1800.04/1800.70 c 11418 9374 12150 711143 58 71589 289472 11418 3210 3.56 1800.04/1800.70 c 17241 9373 17973 865803 48 83158 318420 17241 3421 5.04 1800.04/1800.70 c 25978 9364 26710 1405850 52 100807 350263 25978 3182 8.16 1800.04/1800.70 c 39089 9362 39821 2007918 50 126901 385290 39089 3343 11.69 1800.04/1800.70 c 58759 9360 59491 2513084 42 166187 423820 58759 2771 21.20 1800.04/1800.71 c 88269 9350 89001 3713540 41 226237 466203 88269 2833 31.16 1800.04/1800.71 c 132540 9340 133272 5251424 39 314588 512824 132540 2102 63.05 1800.04/1800.71 c 198950 9332 199682 6561425 32 447423 564107 198950 1249 159.24 1800.04/1800.71 c 298570 9329 299302 10983493 36 646518 620518 298570 628 474.85 1800.04/1800.71 c 448005 9329 448737 16084010 35 945632 682570 448005 416 1075.30 1800.04/1800.71 c Caught signal: 15 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 19 656691 59851 3127558 657423 24380562 656691 364 1800.05 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-432782-1177949599 -o ROOT/results/node42/solver-432782-1177949599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.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 14316 /proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=12168 CPUtime=0 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 242871821 12460032 337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 3042 338 280 324 0 2004 0 [startup+0.063235 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14316 /proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=5920 CPUtime=0.05 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 815 0 0 0 5 0 0 0 18 0 1 0 242871821 6062080 785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 1480 785 353 324 0 442 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5920 [startup+0.101231 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14316 /proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=7800 CPUtime=0.09 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1442 0 0 0 9 0 0 0 18 0 1 0 242871821 7987200 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 1950 1305 303 324 0 1020 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7800 [startup+0.301269 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14316 /proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=8212 CPUtime=0.29 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1769 0 0 0 27 2 0 0 19 0 1 0 242871821 8409088 1411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 2053 1411 310 324 0 1123 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8212 [startup+0.701345 s] /proc/loadavg: 0.92 0.98 0.99 3/77 14316 /proc/meminfo: memFree=1846304/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=8608 CPUtime=0.69 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 1870 0 0 0 67 2 0 0 22 0 1 0 242871821 8814592 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 2152 1512 310 324 0 1222 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8608 [startup+1.5015 s] /proc/loadavg: 0.92 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1840280/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=10964 CPUtime=1.49 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 2435 0 0 0 147 2 0 0 25 0 1 0 242871821 11227136 2077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 2741 2077 310 324 0 1811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10964 [startup+3.1018 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1837400/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=16340 CPUtime=3.09 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 3782 0 0 0 306 3 0 0 25 0 1 0 242871821 16732160 3424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 4085 3424 310 324 0 3155 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16340 [startup+6.30141 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1828184/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=23500 CPUtime=6.29 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 5576 0 0 0 625 4 0 0 25 0 1 0 242871821 24064000 5218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 5875 5218 310 324 0 4945 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23500 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1811544/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=39892 CPUtime=12.69 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 9678 0 0 0 1263 6 0 0 25 0 1 0 242871821 40849408 9320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 9973 9320 310 324 0 9043 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39892 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1798432/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=51800 CPUtime=25.49 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 12663 0 0 0 2540 9 0 0 25 0 1 0 242871821 53043200 12305 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 12950 12305 310 324 0 12020 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51800 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1767648/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=82540 CPUtime=51.07 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 20332 0 0 0 5093 14 0 0 25 0 1 0 242871821 84520960 19974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 20635 19974 310 324 0 19705 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82540 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1744224/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=105576 CPUtime=102.25 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 26099 0 0 0 10206 19 0 0 25 0 1 0 242871821 108109824 25741 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 26394 25741 310 324 0 25464 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 105576 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1731168/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=120248 CPUtime=162.23 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 29757 0 0 0 16200 23 0 0 25 0 1 0 242871821 123133952 29399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 30062 29399 310 324 0 29132 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 120248 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1706400/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=143252 CPUtime=222.21 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 35515 0 0 0 22193 28 0 0 25 0 1 0 242871821 146690048 35157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12848876 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 35813 35157 310 324 0 34883 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 143252 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1696416/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=153364 CPUtime=282.19 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 38046 0 0 0 28187 32 0 0 25 0 1 0 242871821 157044736 37688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 38341 37688 310 324 0 37411 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 153364 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1688608/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=161140 CPUtime=342.16 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 39991 0 0 0 34181 35 0 0 25 0 1 0 242871821 165007360 39633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 40285 39633 310 324 0 39355 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 161140 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1678688/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=171164 CPUtime=402.14 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 42482 0 0 0 40176 38 0 0 25 0 1 0 242871821 175271936 42124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 42791 42124 310 324 0 41861 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 171164 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1670112/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=179628 CPUtime=462.12 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 44601 0 0 0 46171 41 0 0 25 0 1 0 242871821 183939072 44243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 44907 44243 310 324 0 43977 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 179628 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1634848/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=214904 CPUtime=522.1 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 53435 0 0 0 52161 49 0 0 25 0 1 0 242871821 220061696 53077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 53726 53077 310 324 0 52796 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 214904 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1625504/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=224000 CPUtime=582.08 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 55717 0 0 0 58156 52 0 0 25 0 1 0 242871821 229376000 55359 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 56000 55359 310 324 0 55070 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 224000 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1616544/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=232952 CPUtime=642.05 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 57938 0 0 0 64150 55 0 0 25 0 1 0 242871821 238542848 57580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 58238 57580 310 324 0 57308 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 232952 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.99 3/78 14317 /proc/meminfo: memFree=1596192/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=253112 CPUtime=881.97 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 62976 0 0 0 88135 62 0 0 25 0 1 0 242871821 259186688 62618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 63278 62618 310 324 0 62348 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 253112 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14317 /proc/meminfo: memFree=1592288/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=257020 CPUtime=941.94 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 63945 0 0 0 94131 63 0 0 25 0 1 0 242871821 263188480 63587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 64255 63587 310 324 0 63325 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 257020 [startup+1002.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 14317 /proc/meminfo: memFree=1589536/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=259884 CPUtime=1001.92 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 64683 0 0 0 100128 64 0 0 25 0 1 0 242871821 266121216 64325 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 64971 64325 310 324 0 64041 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 259884 [startup+1062.3 s] /proc/loadavg: 1.07 1.01 1.00 2/78 14317 /proc/meminfo: memFree=1586656/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=262744 CPUtime=1061.9 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 65394 0 0 0 106124 66 0 0 25 0 1 0 242871821 269049856 65036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 65686 65036 310 324 0 64756 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 262744 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 14317 /proc/meminfo: memFree=1568864/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=280556 CPUtime=1121.88 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 69847 0 0 0 112117 71 0 0 25 0 1 0 242871821 287289344 69489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 70139 69489 310 324 0 69209 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 280556 [startup+1182.3 s] /proc/loadavg: 1.07 1.03 1.00 2/78 14317 /proc/meminfo: memFree=1544608/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=305068 CPUtime=1181.86 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 75959 0 0 0 118109 77 0 0 25 0 1 0 242871821 312389632 75601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12848869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 76267 75601 310 324 0 75337 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 305068 [startup+1242.3 s] /proc/loadavg: 1.11 1.05 1.01 2/78 14317 /proc/meminfo: memFree=1524384/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=324780 CPUtime=1241.84 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 80909 0 0 0 124102 82 0 0 25 0 1 0 242871821 332574720 80551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 81195 80551 310 324 0 80265 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 324780 [startup+1302.3 s] /proc/loadavg: 1.08 1.05 1.01 2/78 14317 /proc/meminfo: memFree=1512544/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=336484 CPUtime=1301.82 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 83817 0 0 0 130096 86 0 0 25 0 1 0 242871821 344559616 83459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 84121 83459 310 324 0 83191 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 336484 [startup+1362.3 s] /proc/loadavg: 1.06 1.06 1.01 2/78 14317 /proc/meminfo: memFree=1501600/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=347416 CPUtime=1361.79 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 86571 0 0 0 136089 90 0 0 25 0 1 0 242871821 355753984 86213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 86854 86213 310 324 0 85924 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 347416 [startup+1422.31 s] /proc/loadavg: 1.13 1.07 1.01 2/78 14317 /proc/meminfo: memFree=1492448/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=356548 CPUtime=1421.78 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 88826 0 0 0 142084 94 0 0 25 0 1 0 242871821 365105152 88468 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 89137 88468 310 324 0 88207 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 356548 [startup+1482.3 s] /proc/loadavg: 1.31 1.13 1.03 2/78 14317 /proc/meminfo: memFree=1485600/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=363432 CPUtime=1481.75 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 90554 0 0 0 148079 96 0 0 25 0 1 0 242871821 372154368 90196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 90858 90196 310 324 0 89928 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 363432 [startup+1542.3 s] /proc/loadavg: 1.18 1.12 1.03 2/78 14317 /proc/meminfo: memFree=1478688/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=370208 CPUtime=1541.72 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 92263 0 0 0 154074 98 0 0 25 0 1 0 242871821 379092992 91905 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 92552 91905 310 324 0 91622 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 370208 [startup+1602.3 s] /proc/loadavg: 1.06 1.10 1.03 2/78 14317 /proc/meminfo: memFree=1473312/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=375700 CPUtime=1601.7 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 93623 0 0 0 160070 100 0 0 25 0 1 0 242871821 384716800 93265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12838750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 93925 93265 310 324 0 92995 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 375700 [startup+1662.3 s] /proc/loadavg: 1.02 1.08 1.02 2/78 14317 /proc/meminfo: memFree=1467488/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=381448 CPUtime=1661.68 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 95060 0 0 0 166066 102 0 0 25 0 1 0 242871821 390602752 94702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 95362 94702 310 324 0 94432 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 381448 [startup+1722.3 s] /proc/loadavg: 1.01 1.06 1.01 2/78 14319 /proc/meminfo: memFree=1462432/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=386552 CPUtime=1721.66 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 96338 0 0 0 172061 105 0 0 25 0 1 0 242871821 395829248 95980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 96638 95980 310 324 0 95708 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 386552 [startup+1782.3 s] /proc/loadavg: 1.00 1.05 1.01 2/78 14319 /proc/meminfo: memFree=1457696/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=391124 CPUtime=1781.63 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97494 0 0 0 178057 106 0 0 25 0 1 0 242871821 400510976 97136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 97781 97136 310 324 0 96851 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 391124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.04 1.01 2/78 14319 /proc/meminfo: memFree=1456032/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=392832 CPUtime=1800.04 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97897 0 0 0 179897 107 0 0 25 0 1 0 242871821 402259968 97539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 98208 97539 310 324 0 97278 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 392832 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.04 1.01 2/78 14319 /proc/meminfo: memFree=1456032/2055920 swapFree=4147488/4192956 [pid=14316] ppid=14314 vsize=392832 CPUtime=1800.04 /proc/14316/stat : 14316 (bsolo3.0.17) R 14314 14316 13465 0 -1 4194304 97897 0 0 0 179897 107 0 0 25 0 1 0 242871821 402259968 97539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14316/statm: 98208 97539 310 324 0 97278 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 392832 Child status: 15 Real time (s): 1800.78 CPU time (s): 1800.11 CPU user time (s): 1798.98 CPU system time (s): 1.13483 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 392832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.13483 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 97901 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= 2847 runsolver used 1.3208 second user time and 4.15237 second system time The end
Begin job on node42 on Mon Apr 30 16:13:19 UTC 2007 IDJOB= 432782 IDBENCH= 1789 IDSOLVER= 199 FILE ID= node42/432782-1177949599 PBS_JOBID= 4727674 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-set1ch.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-432782-1177949599 -o ROOT/results/node42/solver-432782-1177949599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432782-1177949599/instance-432782-1177949599.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6815697d1fd827c594e155d1d753b261 RANDOM SEED= 784588640 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1846712 kB Buffers: 31100 kB Cached: 83712 kB SwapCached: 14592 kB Active: 58448 kB Inactive: 81744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1846712 kB SwapTotal: 4192956 kB SwapFree: 4147488 kB Dirty: 7008 kB Writeback: 0 kB Mapped: 32500 kB Slab: 54392 kB Committed_AS: 3720176 kB PageTables: 1912 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= 66558 MiB End job on node42 on Mon Apr 30 16:43:22 UTC 2007