Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.13 | 1802.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.463929 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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/452908-1177994340/instance-452908-1177994340.opb 0.00/0.00 c File size is 11660 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.01 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.01 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1800.10/1800.71 c 106 864 1427 12865 9 4903 8138 106 4416 0.02 1800.10/1800.71 c 257 864 1578 25153 15 5096 8952 257 6945 0.04 1800.10/1800.71 c 483 864 1804 43603 24 5547 9848 483 7790 0.06 1800.10/1800.71 c 822 864 2143 69990 32 6223 10833 822 8387 0.10 1800.10/1800.71 c 1330 864 2651 107093 40 7233 11917 1330 7869 0.17 1800.10/1800.71 c 2094 864 3415 167602 49 8783 13109 2094 7784 0.27 1800.10/1800.71 c 3241 864 4562 260553 57 11036 14420 3241 6881 0.47 1800.10/1800.71 c 4963 864 6284 404348 64 14488 15863 4963 6706 0.74 1800.10/1800.71 c 7547 864 8868 598174 67 19689 17450 7547 4593 1.64 1800.10/1800.71 c 11427 864 12748 878947 68 27426 19196 11427 2755 4.15 1800.10/1800.71 c 17249 864 18570 1323130 71 39071 21116 17249 1570 10.98 1800.10/1800.71 c 25986 864 16118 1209303 75 34153 23228 14797 1755 14.80 1800.10/1800.71 c 39096 864 16532 1296405 78 34976 25551 15211 2047 19.10 1800.10/1800.71 c 58766 864 21323 1633883 76 44498 28107 20002 1917 30.64 1800.10/1800.71 c 88277 864 16230 1105377 68 34283 30918 14909 1294 68.21 1800.10/1800.71 c 132548 864 21644 1505687 69 45101 34010 20323 966 137.14 1800.10/1800.71 c 198958 864 18237 1416462 77 38336 37412 16916 972 204.56 1800.10/1800.71 c 298579 864 37554 2586703 68 77012 41154 36233 838 355.98 1800.10/1800.71 c 448014 864 37139 3207796 86 76063 45270 35818 785 570.68 1800.10/1800.71 c 672172 864 28145 2164322 76 58135 49798 26824 675 994.59 1800.10/1800.71 c 1008416 863 25173 1996809 79 52333 54778 23852 596 1689.45 1800.10/1800.71 c Caught signal: 15 1800.10/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.71 c 21 1083086 7809 1110760 13776 1012532 12455 601 1800.11 1800.10/1800.71 s UNKNOWN 1800.10/1800.71 c Total time: 1800.11 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-452908-1177994340 -o ROOT/results/node1/solver-452908-1177994340 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452908-1177994340/instance-452908-1177994340.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.98 3/77 23274 /proc/meminfo: memFree=1839472/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=3780 CPUtime=0 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 226 0 0 0 0 0 0 0 18 0 1 0 275471847 3870720 196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160085640 0 0 4096 0 0 0 0 17 1 0 0 /proc/23274/statm: 945 205 178 324 0 15 0 [startup+0.057391 s] /proc/loadavg: 0.92 0.98 0.98 3/77 23274 /proc/meminfo: memFree=1839472/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=4848 CPUtime=0.05 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 613 0 0 0 5 0 0 0 18 0 1 0 275471847 4964352 580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 1212 580 310 324 0 282 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4848 [startup+0.101398 s] /proc/loadavg: 0.92 0.98 0.98 3/77 23274 /proc/meminfo: memFree=1839472/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=5236 CPUtime=0.09 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 275471847 5361664 683 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 1309 683 310 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.30142 s] /proc/loadavg: 0.92 0.98 0.98 3/77 23274 /proc/meminfo: memFree=1839472/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=6908 CPUtime=0.29 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 1146 0 0 0 29 0 0 0 19 0 1 0 275471847 7073792 1113 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 1727 1114 310 324 0 797 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6908 [startup+0.701466 s] /proc/loadavg: 0.92 0.98 0.98 3/77 23274 /proc/meminfo: memFree=1839472/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=9612 CPUtime=0.69 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 1822 0 0 0 68 1 0 0 23 0 1 0 275471847 9842688 1789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 2403 1789 310 324 0 1473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9612 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1832104/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=12444 CPUtime=1.49 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 2510 0 0 0 148 1 0 0 25 0 1 0 275471847 12742656 2477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 3111 2477 310 324 0 2181 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12444 [startup+3.10175 s] /proc/loadavg: 0.92 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1829160/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=15404 CPUtime=3.09 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 3255 0 0 0 307 2 0 0 25 0 1 0 275471847 15773696 3222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 3851 3222 310 324 0 2921 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15404 [startup+6.30212 s] /proc/loadavg: 0.93 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1824936/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=18904 CPUtime=6.29 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 4140 0 0 0 626 3 0 0 25 0 1 0 275471847 19357696 4107 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 4726 4107 310 324 0 3796 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18904 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1818800/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=28068 CPUtime=12.68 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 6438 0 0 0 1264 4 0 0 25 0 1 0 275471847 28741632 6405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 7017 6405 310 324 0 6087 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28068 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.98 3/78 23275 /proc/meminfo: memFree=1808176/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=34752 CPUtime=25.49 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 8113 0 0 0 2543 6 0 0 25 0 1 0 275471847 35586048 8080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 8688 8080 310 324 0 7758 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34752 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1806064/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=36688 CPUtime=51.07 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 8594 0 0 0 5100 7 0 0 25 0 1 0 275471847 37568512 8561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 9172 8561 310 324 0 8242 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36688 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1805872/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=36972 CPUtime=102.26 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 8667 0 0 0 10219 7 0 0 25 0 1 0 275471847 37859328 8634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 9243 8634 310 324 0 8313 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36972 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1800304/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=42392 CPUtime=162.24 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 10040 0 0 0 16216 8 0 0 25 0 1 0 275471847 43409408 9973 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 10598 9973 310 324 0 9668 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42392 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1795248/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=47428 CPUtime=222.23 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 11412 0 0 0 22213 10 0 0 25 0 1 0 275471847 48566272 11239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 11857 11239 310 324 0 10927 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 47428 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1795184/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=47428 CPUtime=282.21 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 11450 0 0 0 28211 10 0 0 25 0 1 0 275471847 48566272 11239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 11857 11239 310 324 0 10927 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 47428 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1795184/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=47428 CPUtime=342.19 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 11488 0 0 0 34209 10 0 0 25 0 1 0 275471847 48566272 11239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 11857 11239 310 324 0 10927 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 47428 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1792176/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=50412 CPUtime=402.17 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 12306 0 0 0 40206 11 0 0 25 0 1 0 275471847 51621888 11975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 12603 11975 310 324 0 11673 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 50412 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1790320/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=52212 CPUtime=462.16 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 12809 0 0 0 46204 12 0 0 25 0 1 0 275471847 53465088 12437 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 13053 12437 310 324 0 12123 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 52212 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1790320/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=52212 CPUtime=522.14 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 12809 0 0 0 52202 12 0 0 25 0 1 0 275471847 53465088 12437 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 13053 12437 310 324 0 12123 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 52212 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1782512/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=60080 CPUtime=582.13 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 14879 0 0 0 58199 14 0 0 25 0 1 0 275471847 61521920 14380 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 15020 14380 310 324 0 14090 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 60080 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 23275 /proc/meminfo: memFree=1782512/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=60080 CPUtime=642.11 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 14879 0 0 0 64197 14 0 0 25 0 1 0 275471847 61521920 14380 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 15020 14380 310 324 0 14090 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 60080 ################ # More data... # ################ /proc/meminfo: memFree=1753008/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=89232 CPUtime=1062 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 106178 22 0 0 25 0 1 0 275471847 91373568 21700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22308 21700 310 324 0 21378 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 89232 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23275 /proc/meminfo: memFree=1753008/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=89232 CPUtime=1121.98 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 112176 22 0 0 25 0 1 0 275471847 91373568 21700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22308 21700 310 324 0 21378 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 89232 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23275 /proc/meminfo: memFree=1752944/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=89232 CPUtime=1181.96 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 118174 22 0 0 25 0 1 0 275471847 91373568 21700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22308 21700 310 324 0 21378 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 89232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23275 /proc/meminfo: memFree=1752944/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1241.95 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 124172 23 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 88896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23275 /proc/meminfo: memFree=1752944/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1301.94 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 130171 23 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 88896 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/84 23445 /proc/meminfo: memFree=1751808/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1361.82 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 136159 23 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 88896 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752880/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1421.8 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 142156 24 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 88896 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752880/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1481.77 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 148153 24 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 88896 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752816/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1541.76 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 154151 25 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6270706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 88896 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752816/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1601.74 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 160149 25 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 88896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752816/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88896 CPUtime=1661.73 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22309 0 0 0 166148 25 0 0 25 0 1 0 275471847 91029504 21616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22224 21616 310 324 0 21294 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 88896 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752816/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88900 CPUtime=1721.72 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22310 0 0 0 172146 26 0 0 25 0 1 0 275471847 91033600 21617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22225 21617 310 324 0 21295 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 88900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752688/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88916 CPUtime=1781.69 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22314 0 0 0 178143 26 0 0 25 0 1 0 275471847 91049984 21621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22229 21621 310 324 0 21299 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 88916 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752688/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88908 CPUtime=1800.1 /proc/23274/stat : 23274 (bsolo3.0.17) R 23272 23274 23141 0 -1 4194304 22314 0 0 0 179984 26 0 0 25 0 1 0 275471847 91041792 21619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134521208 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22227 21619 310 324 0 21297 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.99 2/78 23473 /proc/meminfo: memFree=1752688/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88908 CPUtime=1800.1 /proc/23274/stat : 23274 (bsolo3.0.17) S 23272 23274 23141 0 -1 4194304 22314 0 0 0 179984 26 0 0 25 0 1 0 275471847 91041792 21619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22227 21619 310 324 0 21297 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88908 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.99 1/79 23474 /proc/meminfo: memFree=1752616/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88908 CPUtime=1800.1 /proc/23274/stat : 23274 (bsolo3.0.17) S 23272 23274 23141 0 -1 4194304 22314 0 0 0 179984 26 0 0 25 0 1 0 275471847 91041792 21619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22227 21619 310 324 0 21297 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88908 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.99 1/79 23474 /proc/meminfo: memFree=1752616/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88908 CPUtime=1800.1 /proc/23274/stat : 23274 (bsolo3.0.17) S 23272 23274 23141 0 -1 4194304 22314 0 0 0 179984 26 0 0 25 0 1 0 275471847 91041792 21619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22227 21619 310 324 0 21297 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88908 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 0.99 1/79 23474 /proc/meminfo: memFree=1752616/2055920 swapFree=4145736/4192956 [pid=23274] ppid=23272 vsize=88908 CPUtime=1800.1 /proc/23274/stat : 23274 (bsolo3.0.17) S 23272 23274 23141 0 -1 4194304 22314 0 0 0 179984 26 0 0 25 0 1 0 275471847 91041792 21619 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/23274/statm: 22227 21619 310 324 0 21297 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88908 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.73 CPU time (s): 1800.13 CPU user time (s): 1799.84 CPU system time (s): 0.282956 CPU usage (%): 99.8556 Max. virtual memory (cumulated for all children) (KiB): 89512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.282956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22314 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= 13 involuntary context switches= 1692 runsolver used 1.39079 second user time and 4.10538 second system time The end
Begin job on node1 on Tue May 1 04:39:00 UTC 2007 IDJOB= 452908 IDBENCH= 47975 IDSOLVER= 199 FILE ID= node1/452908-1177994340 PBS_JOBID= 4728234 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452908-1177994340/instance-452908-1177994340.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-452908-1177994340 -o ROOT/results/node1/solver-452908-1177994340 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452908-1177994340/instance-452908-1177994340.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED= 252578368 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1839880 kB Buffers: 28236 kB Cached: 100932 kB SwapCached: 14516 kB Active: 90020 kB Inactive: 62524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1839880 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 30148 kB Slab: 48924 kB Committed_AS: 5742548 kB PageTables: 1832 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 node1 on Tue May 1 05:09:03 UTC 2007