Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.1 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb |
MD5SUM | c7fd9e5ff885ee342a28d015ab19e648 |
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.298954 |
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 | 243 |
Total number of constraints | 19 |
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 | 19 |
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) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
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/452884-1177990929/instance-452884-1177990929.opb 0.00/0.00 c File size is 13213 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: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.01 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.02 c Pre-processing Time: 0.016 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 972 1486 6228 4 5357 8325 0 0 0.02 0.00/0.02 c Switching off LPR mode. 1800.08/1800.80 c 103 972 1589 13392 8 5505 9158 103 4120 0.03 1800.08/1800.80 c 254 972 1740 27273 15 5716 10074 254 6512 0.04 1800.08/1800.80 c 479 972 1965 45890 23 6118 11082 479 7983 0.06 1800.08/1800.80 c 817 972 2303 73763 32 6854 12191 817 8422 0.10 1800.08/1800.80 c 1325 972 2811 110499 39 7840 13411 1325 7981 0.17 1800.08/1800.80 c 2091 972 3577 168353 47 9371 14753 2091 7088 0.29 1800.08/1800.80 c 3238 972 4724 255931 54 11671 16229 3238 5650 0.57 1800.08/1800.80 c 4960 972 6446 403805 62 15014 17852 4960 5821 0.85 1800.08/1800.80 c 7544 972 9030 619468 68 20239 19638 7544 5025 1.50 1800.08/1800.80 c 11423 972 12909 909260 70 27987 21602 11423 2741 4.17 1800.08/1800.80 c 17246 972 18732 1412011 75 39684 23763 17246 2860 6.03 1800.08/1800.80 c 25983 972 14461 1030698 71 31086 26140 12975 1798 14.45 1800.08/1800.80 c 39094 972 27572 2009942 72 57287 28755 26086 1184 33.00 1800.08/1800.80 c 58765 972 29009 2365559 81 60067 31631 27523 1436 40.91 1800.08/1800.80 c 88276 972 16991 1325948 78 36183 34795 15505 1291 68.35 1800.08/1800.80 c 132547 972 14505 1266881 87 31189 38275 13019 1238 107.06 1800.08/1800.80 c 198957 972 27355 2149165 78 56797 42103 25869 1098 181.19 1800.08/1800.80 c 298578 972 33082 2559253 77 68324 46314 31596 964 309.68 1800.08/1800.80 c 448015 972 42226 3243440 76 86516 50946 40740 700 639.62 1800.08/1800.80 c 672173 972 30009 2351298 78 62050 56041 28523 573 1172.09 1800.08/1800.80 c Caught signal: 15 1800.08/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.80 c 20 1005960 10441 1046081 56330 4850200 54844 558 1800.08 1800.08/1800.80 s UNKNOWN 1800.08/1800.80 c Total time: 1800.08 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-452884-1177990929 -o ROOT/results/node23/solver-452884-1177990929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452884-1177990929/instance-452884-1177990929.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.02 1.01 1.00 3/77 8612 /proc/meminfo: memFree=1855472/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=3940 CPUtime=0 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 247010044 4034560 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 985 346 289 324 0 51 0 [startup+0.0406559 s] /proc/loadavg: 1.02 1.01 1.00 3/77 8612 /proc/meminfo: memFree=1855472/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=4716 CPUtime=0.03 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 573 0 0 0 3 0 0 0 18 0 1 0 247010044 4829184 539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 1179 539 310 324 0 249 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4716 [startup+0.101669 s] /proc/loadavg: 1.02 1.01 1.00 3/77 8612 /proc/meminfo: memFree=1855472/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=5360 CPUtime=0.09 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 749 0 0 0 9 0 0 0 18 0 1 0 247010044 5488640 715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 1340 715 310 324 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5360 [startup+0.301706 s] /proc/loadavg: 1.02 1.01 1.00 3/77 8612 /proc/meminfo: memFree=1855472/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=6648 CPUtime=0.29 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 1084 0 0 0 29 0 0 0 19 0 1 0 247010044 6807552 1050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 1662 1050 310 324 0 732 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6648 [startup+0.701785 s] /proc/loadavg: 1.02 1.01 1.00 3/77 8612 /proc/meminfo: memFree=1855472/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=8460 CPUtime=0.69 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 1524 0 0 0 68 1 0 0 22 0 1 0 247010044 8663040 1490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 2115 1490 310 324 0 1185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8460 [startup+1.50194 s] /proc/loadavg: 1.02 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1847784/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=13112 CPUtime=1.49 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 2674 0 0 0 147 2 0 0 25 0 1 0 247010044 13426688 2640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 3278 2641 310 324 0 2348 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13112 [startup+3.10125 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1844584/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=15960 CPUtime=3.09 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 3385 0 0 0 307 2 0 0 25 0 1 0 247010044 16343040 3351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 3990 3351 310 324 0 3060 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15960 [startup+6.30187 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1836520/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=24980 CPUtime=6.29 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 5643 0 0 0 625 4 0 0 25 0 1 0 247010044 25579520 5609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 6245 5609 310 324 0 5315 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24980 [startup+12.7011 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1828264/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=31304 CPUtime=12.69 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 7246 0 0 0 1263 6 0 0 25 0 1 0 247010044 32055296 7212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 7826 7212 310 324 0 6896 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31304 [startup+25.5016 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1827368/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=31432 CPUtime=25.48 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 7283 0 0 0 2542 6 0 0 25 0 1 0 247010044 32186368 7249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 7858 7249 310 324 0 6928 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31432 [startup+51.1015 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8613 /proc/meminfo: memFree=1815976/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=42832 CPUtime=51.08 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 10133 0 0 0 5100 8 0 0 25 0 1 0 247010044 43859968 10099 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 10708 10099 310 324 0 9778 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42832 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1811112/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=47684 CPUtime=102.26 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 11362 0 0 0 10217 9 0 0 25 0 1 0 247010044 48828416 11293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 11921 11293 310 324 0 10991 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 47684 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1806760/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=51932 CPUtime=162.24 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 12510 0 0 0 16214 10 0 0 25 0 1 0 247010044 53178368 12367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 12983 12367 310 324 0 12053 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51932 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1803944/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=54772 CPUtime=222.21 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 13245 0 0 0 22210 11 0 0 25 0 1 0 247010044 56086528 13060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2936562 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 13693 13060 310 324 0 12763 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 54772 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1803944/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=54772 CPUtime=282.2 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 13245 0 0 0 28208 12 0 0 25 0 1 0 247010044 56086528 13060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 13693 13060 310 324 0 12763 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 54772 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1803944/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=54776 CPUtime=342.17 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 13245 0 0 0 34205 12 0 0 25 0 1 0 247010044 56090624 13060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 13694 13060 310 324 0 12764 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 54776 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1802600/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=56068 CPUtime=402.15 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 13621 0 0 0 40202 13 0 0 25 0 1 0 247010044 57413632 13390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 14017 13390 310 324 0 13087 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 56068 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1802536/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=56072 CPUtime=462.13 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 13669 0 0 0 46199 14 0 0 25 0 1 0 247010044 57417728 13391 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 14018 13391 310 324 0 13088 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 56072 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1797992/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=60568 CPUtime=522.11 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 14837 0 0 0 52195 16 0 0 25 0 1 0 247010044 62021632 14513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 15142 14513 310 324 0 14212 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 60568 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1797928/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=60508 CPUtime=582.09 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 14883 0 0 0 58193 16 0 0 25 0 1 0 247010044 61960192 14513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 15127 14513 310 324 0 14197 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 60508 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1797928/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=60508 CPUtime=642.08 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 14883 0 0 0 64191 17 0 0 25 0 1 0 247010044 61960192 14513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 15127 14513 310 324 0 14197 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 60508 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786088/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=822.01 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17883 0 0 0 82181 20 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 72164 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786088/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=881.99 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17934 0 0 0 88178 21 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 72164 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786088/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=941.96 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17984 0 0 0 94175 21 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 72164 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786024/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=1001.95 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17984 0 0 0 100173 22 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 72164 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786024/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=1061.92 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17984 0 0 0 106170 22 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 72164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8613 /proc/meminfo: memFree=1786024/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=1121.91 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17984 0 0 0 112168 23 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 72164 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 8789 /proc/meminfo: memFree=1784632/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72164 CPUtime=1181.79 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17984 0 0 0 118156 23 0 0 25 0 1 0 247010044 73895936 17411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18041 17411 310 324 0 17111 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 72164 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1785768/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72136 CPUtime=1241.76 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17989 0 0 0 124152 24 0 0 25 0 1 0 247010044 73867264 17416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18034 17416 310 324 0 17104 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 72136 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1785768/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72136 CPUtime=1301.74 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17989 0 0 0 130150 24 0 0 25 0 1 0 247010044 73867264 17416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18034 17416 310 324 0 17104 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 72136 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1785704/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=72084 CPUtime=1361.72 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 17989 0 0 0 136147 25 0 0 25 0 1 0 247010044 73814016 17413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 18021 17413 310 324 0 17091 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 72084 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1774568/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=83060 CPUtime=1421.71 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 20789 0 0 0 142144 27 0 0 25 0 1 0 247010044 85053440 20131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2926421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 20765 20131 310 324 0 19835 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 83060 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1774568/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=83060 CPUtime=1481.68 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 20789 0 0 0 148141 27 0 0 25 0 1 0 247010044 85053440 20131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 20765 20131 310 324 0 19835 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 83060 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769704/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1541.66 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 154137 29 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 87816 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769704/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1601.64 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 160135 29 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 87816 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769704/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1661.62 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 166132 30 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 87816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769704/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1721.59 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 172129 30 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 87816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769576/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1781.58 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 178127 31 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 87816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8811 /proc/meminfo: memFree=1769576/2055920 swapFree=4169104/4192956 [pid=8612] ppid=8610 vsize=87816 CPUtime=1800.08 /proc/8612/stat : 8612 (bsolo3.0.17) R 8610 8612 14988 0 -1 4194304 22059 0 0 0 179977 31 0 0 25 0 1 0 247010044 89923584 21345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8612/statm: 21954 21345 310 324 0 21024 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 87816 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.1 CPU user time (s): 1799.77 CPU system time (s): 0.32695 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 88040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.32695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22063 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= 1287 runsolver used 1.38479 second user time and 3.9554 second system time The end
Begin job on node23 on Tue May 1 03:42:09 UTC 2007 IDJOB= 452884 IDBENCH= 47951 IDSOLVER= 199 FILE ID= node23/452884-1177990929 PBS_JOBID= 4728174 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=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452884-1177990929/instance-452884-1177990929.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-452884-1177990929 -o ROOT/results/node23/solver-452884-1177990929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452884-1177990929/instance-452884-1177990929.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648 RANDOM SEED= 651947889 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1855880 kB Buffers: 27892 kB Cached: 82652 kB SwapCached: 2472 kB Active: 78808 kB Inactive: 55148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855880 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6688 kB Writeback: 0 kB Mapped: 30828 kB Slab: 51552 kB Committed_AS: 3072268 kB PageTables: 1796 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 node23 on Tue May 1 04:12:12 UTC 2007