Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.09 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
MD5SUM | 901fa4df755866cb23bdcc769669d554 |
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.235964 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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/453031-1178013565/instance-453031-1178013565.opb 0.00/0.00 c File size is 10107 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.004 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1800.07/1800.80 c 101 756 1257 13227 10 4299 7119 101 4809 0.02 1800.07/1800.80 c 251 756 1407 25763 18 4463 7831 251 6783 0.04 1800.07/1800.80 c 477 756 1633 45194 27 4973 8615 477 7950 0.06 1800.07/1800.80 c 815 756 1971 71365 36 5647 9477 815 8670 0.09 1800.07/1800.80 c 1323 756 2479 113612 45 6571 10425 1323 7000 0.19 1800.07/1800.80 c 2087 756 3243 182840 56 8081 11468 2087 7400 0.28 1800.07/1800.80 c 3235 756 4391 288383 65 10393 12615 3235 7647 0.42 1800.07/1800.80 c 4957 756 6113 448599 73 13830 13877 4957 6591 0.75 1800.07/1800.80 c 7542 756 8698 676764 77 18960 15265 7542 5971 1.26 1800.07/1800.80 c 11422 756 12578 996223 79 26736 16792 11422 5339 2.14 1800.07/1800.80 c 17245 756 9701 725979 74 21011 18472 8545 4499 3.83 1800.07/1800.80 c 25983 756 18439 1397725 75 38521 20320 17283 3283 7.91 1800.07/1800.80 c 39094 756 21304 1525070 71 44190 22353 20148 1663 23.50 1800.07/1800.80 c 58765 756 17073 1418866 83 35859 24589 15917 1599 36.73 1800.07/1800.80 c 88276 756 18103 1443203 79 37911 27048 16947 1408 62.69 1800.07/1800.80 c 132547 756 13258 904355 68 28279 29753 12102 1172 113.04 1800.07/1800.80 c 198958 756 23389 1844914 78 48316 32729 22233 1156 172.08 1800.07/1800.80 c 298579 756 19445 1702971 87 40475 36002 18289 848 352.01 1800.07/1800.80 c 448014 756 18533 1298542 70 38677 39603 17377 764 586.12 1800.07/1800.80 c 672172 756 13596 1054180 77 28843 43564 12440 678 990.62 1800.07/1800.80 c 1008416 755 26044 2075830 79 53704 47921 24888 640 1574.94 1800.07/1800.80 c Caught signal: 15 1800.07/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.80 c 21 1090239 3905 1106973 35398 2709819 34242 605 1800.07 1800.07/1800.80 s UNKNOWN 1800.07/1800.80 c Total time: 1800.07 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-453031-1178013565 -o ROOT/results/node23/solver-453031-1178013565 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453031-1178013565/instance-453031-1178013565.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.00 1.00 1.00 3/77 12140 /proc/meminfo: memFree=1823912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=11748 CPUtime=0 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 249273633 12029952 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 984 344 289 324 0 51 0 [startup+0.0217771 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12140 /proc/meminfo: memFree=1823912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=4328 CPUtime=0.01 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 504 0 0 0 1 0 0 0 18 0 1 0 249273633 4431872 471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 1082 471 310 324 0 152 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4328 [startup+0.101793 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12140 /proc/meminfo: memFree=1823912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=5228 CPUtime=0.09 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 725 0 0 0 9 0 0 0 18 0 1 0 249273633 5353472 692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 1307 693 310 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5228 [startup+0.301831 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12140 /proc/meminfo: memFree=1823912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=6904 CPUtime=0.29 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 1136 0 0 0 29 0 0 0 19 0 1 0 249273633 7069696 1103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 1726 1104 310 324 0 796 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6904 [startup+0.701909 s] /proc/loadavg: 1.00 1.00 1.00 3/77 12140 /proc/meminfo: memFree=1823912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=10136 CPUtime=0.69 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 1959 0 0 0 68 1 0 0 22 0 1 0 249273633 10379264 1926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 2534 1926 310 324 0 1604 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10136 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1815456/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=15300 CPUtime=1.49 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 3226 0 0 0 147 2 0 0 25 0 1 0 249273633 15667200 3193 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 3825 3193 310 324 0 2895 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15300 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1809248/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=23436 CPUtime=3.09 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 5257 0 0 0 306 3 0 0 25 0 1 0 249273633 23998464 5224 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 5859 5224 310 324 0 4929 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23436 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1802088/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=25100 CPUtime=6.29 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 5685 0 0 0 626 3 0 0 25 0 1 0 249273633 25702400 5652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 6275 5652 310 324 0 5345 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25100 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1799848/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=27360 CPUtime=12.68 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 6253 0 0 0 1265 3 0 0 25 0 1 0 249273633 28016640 6220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 6840 6220 310 324 0 5910 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27360 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1799912/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=27364 CPUtime=25.48 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 6254 0 0 0 2544 4 0 0 25 0 1 0 249273633 28020736 6221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 6841 6221 310 324 0 5911 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27364 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12141 /proc/meminfo: memFree=1790888/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=36312 CPUtime=51.07 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 8503 0 0 0 5102 5 0 0 25 0 1 0 249273633 37183488 8470 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 9078 8470 310 324 0 8148 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36312 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/84 12213 /proc/meminfo: memFree=1789560/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=36320 CPUtime=102.23 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 8505 0 0 0 10217 6 0 0 25 0 1 0 249273633 37191680 8472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 9080 8472 310 324 0 8150 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 36320 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1784160/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=42576 CPUtime=162.13 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 10068 0 0 0 16206 7 0 0 25 0 1 0 249273633 43597824 10035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 10644 10035 310 324 0 9714 0 Current children cumulated CPU time (s) 162.13 Current children cumulated vsize (KiB) 42576 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1779808/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=47084 CPUtime=222.11 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11243 0 0 0 22202 9 0 0 25 0 1 0 249273633 48214016 11139 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 11771 11139 310 324 0 10841 0 Current children cumulated CPU time (s) 222.11 Current children cumulated vsize (KiB) 47084 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777504/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49268 CPUtime=282.08 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11841 0 0 0 28198 10 0 0 25 0 1 0 249273633 50450432 11704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12317 11704 310 324 0 11387 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 49268 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777504/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49268 CPUtime=342.07 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11874 0 0 0 34196 11 0 0 25 0 1 0 249273633 50450432 11704 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2936549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12317 11704 310 324 0 11387 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 49268 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777632/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49280 CPUtime=402.05 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11877 0 0 0 40193 12 0 0 25 0 1 0 249273633 50462720 11707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12320 11707 310 324 0 11390 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 49280 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777640/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49280 CPUtime=462.02 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11877 0 0 0 46190 12 0 0 25 0 1 0 249273633 50462720 11707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12320 11707 310 324 0 11390 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 49280 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777640/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49280 CPUtime=522.01 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11877 0 0 0 52188 13 0 0 25 0 1 0 249273633 50462720 11707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12320 11707 310 324 0 11390 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 49280 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777704/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49280 CPUtime=581.98 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11877 0 0 0 58185 13 0 0 25 0 1 0 249273633 50462720 11707 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12320 11707 310 324 0 11390 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 49280 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1777320/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=49680 CPUtime=641.97 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 11994 0 0 0 64183 14 0 0 25 0 1 0 249273633 50872320 11784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2936462 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12420 11784 310 324 0 11490 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 49680 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1775080/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=51860 CPUtime=821.9 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 12718 0 0 0 82174 16 0 0 25 0 1 0 249273633 53104640 12348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12965 12348 310 324 0 12035 0 Current children cumulated CPU time (s) 821.9 Current children cumulated vsize (KiB) 51860 [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1775080/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=51860 CPUtime=881.88 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 12718 0 0 0 88172 16 0 0 25 0 1 0 249273633 53104640 12348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 12965 12348 310 324 0 12035 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 51860 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1773480/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=53408 CPUtime=941.86 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 13150 0 0 0 94169 17 0 0 25 0 1 0 249273633 54689792 12740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 13352 12740 310 324 0 12422 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 53408 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1773480/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=53408 CPUtime=1001.84 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 13190 0 0 0 100166 18 0 0 25 0 1 0 249273633 54689792 12740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 13352 12740 310 324 0 12422 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 53408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757352/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69544 CPUtime=1061.82 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 106161 21 0 0 25 0 1 0 249273633 71213056 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17386 16761 310 324 0 16456 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 69544 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757352/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69544 CPUtime=1121.79 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 112158 21 0 0 25 0 1 0 249273633 71213056 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17386 16761 310 324 0 16456 0 Current children cumulated CPU time (s) 1121.79 Current children cumulated vsize (KiB) 69544 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757352/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69544 CPUtime=1181.78 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 118156 22 0 0 25 0 1 0 249273633 71213056 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17386 16761 310 324 0 16456 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 69544 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69544 CPUtime=1241.75 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 124153 22 0 0 25 0 1 0 249273633 71213056 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17386 16761 310 324 0 16456 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 69544 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69544 CPUtime=1301.74 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 130151 23 0 0 25 0 1 0 249273633 71213056 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17386 16761 310 324 0 16456 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 69544 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69356 CPUtime=1361.71 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 136148 23 0 0 25 0 1 0 249273633 71020544 16731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17339 16731 310 324 0 16409 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 69356 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69356 CPUtime=1421.7 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 142146 24 0 0 25 0 1 0 249273633 71020544 16731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17339 16731 310 324 0 16409 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 69356 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69356 CPUtime=1481.67 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 148143 24 0 0 25 0 1 0 249273633 71020544 16731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17339 16731 310 324 0 16409 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 69356 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757224/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69336 CPUtime=1541.65 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 154140 25 0 0 25 0 1 0 249273633 71000064 16726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17334 16726 310 324 0 16404 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 69336 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757288/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69324 CPUtime=1601.63 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17254 0 0 0 160138 25 0 0 25 0 1 0 249273633 70987776 16723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17331 16723 310 324 0 16401 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 69324 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 12339 /proc/meminfo: memFree=1757288/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69340 CPUtime=1661.61 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17258 0 0 0 166135 26 0 0 25 0 1 0 249273633 71004160 16727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17335 16727 310 324 0 16405 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 69340 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757288/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69340 CPUtime=1721.58 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17258 0 0 0 172132 26 0 0 25 0 1 0 249273633 71004160 16727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17335 16727 310 324 0 16405 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 69340 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757288/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69340 CPUtime=1781.57 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17258 0 0 0 178130 27 0 0 25 0 1 0 249273633 71004160 16727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17335 16727 310 324 0 16405 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 69340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12339 /proc/meminfo: memFree=1757288/2055920 swapFree=4169104/4192956 [pid=12140] ppid=12138 vsize=69340 CPUtime=1800.07 /proc/12140/stat : 12140 (bsolo3.0.17) R 12138 12140 11120 0 -1 4194304 17258 0 0 0 179980 27 0 0 25 0 1 0 249273633 71004160 16727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12140/statm: 17335 16727 310 324 0 16405 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 69340 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.09 CPU user time (s): 1799.8 CPU system time (s): 0.286956 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 69544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.286956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17262 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= 2551 runsolver used 1.38479 second user time and 3.97839 second system time The end
Begin job on node23 on Tue May 1 09:59:25 UTC 2007 IDJOB= 453031 IDBENCH= 48098 IDSOLVER= 199 FILE ID= node23/453031-1178013565 PBS_JOBID= 4728298 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=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453031-1178013565/instance-453031-1178013565.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-453031-1178013565 -o ROOT/results/node23/solver-453031-1178013565 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453031-1178013565/instance-453031-1178013565.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED= 52048259 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: 1824320 kB Buffers: 38312 kB Cached: 103920 kB SwapCached: 2472 kB Active: 104592 kB Inactive: 61016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824320 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 30784 kB Slab: 51516 kB Committed_AS: 3082648 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 10:29:28 UTC 2007