Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (MO) | 1503.24 | 1503.24 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo |
MD5SUM | bad48add975eecf801ffda2fc733cf44 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.337947 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8550 |
Total number of constraints | 185 |
Number of soft constraints | 120 |
Number of constraints which are clauses | 95 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 95 |
Top cost | 6763 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6762 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 96 |
Number of bits of the biggest sum of numbers | 7 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690420-1277894576.wbo. 0.00/0.00 c Instance file HOME/instance-2690420-1277894576.wbo 0.00/0.00 c File size is 153931 bytes. 0.00/0.01 c Highest Coefficient sum: 96 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 8550 | 0.00/0.01 c | Number Clauses: 95 | 0.00/0.01 c | Number Cardinality: 90 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 8550 185 17100 | 5500 100 367 | 0.000 % | 0.00/0.05 c | 252 | 8550 185 17100 | 6050 252 521 | 0.000 % | 0.09/0.10 c | 480 | 8550 185 17100 | 6655 480 878 | 0.000 % | 0.09/0.17 c | 820 | 8550 185 17100 | 7320 820 965 | 0.000 % | 0.19/0.25 c | 1328 | 8550 185 17100 | 8052 1328 818 | 0.000 % | 0.29/0.36 c | 2087 | 8550 185 17100 | 8857 2087 700 | 0.000 % | 0.59/0.61 c | 3227 | 8550 185 17100 | 9743 3227 641 | 0.000 % | 0.89/0.97 c | 4936 | 8550 185 17100 | 10717 4936 617 | 0.000 % | 1.78/1.83 c | 7499 | 8550 185 17100 | 11789 7499 622 | 0.000 % | 3.68/3.79 c | 11343 | 8550 185 17100 | 12968 11343 640 | 0.000 % | 6.78/6.85 c | 17109 | 8550 185 17100 | 14265 17109 704 | 0.000 % | 12.68/12.71 c | 25759 | 8550 185 17100 | 15692 17205 760 | 0.000 % | 29.69/29.74 c | 38733 | 8550 185 17100 | 17261 21577 1123 | 0.000 % | 63.78/63.85 c | 58194 | 8550 185 17100 | 18987 16100 1834 | 0.000 % | 97.28/97.35 c | 87387 | 8550 185 17100 | 20886 15499 1611 | 0.000 % | 168.39/168.45 c | 131178 | 8550 185 17100 | 22974 26371 1671 | 0.000 % | 180.48/180.58 c There are 0 assigned variables. 0 in cost function. 180.58/180.65 c ============================[ Search Statistics ]============================== 180.58/180.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.58/180.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.58/180.65 c =============================================================================== 180.58/180.65 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 180.68/180.70 c | 102 | 8550 185 17100 | 5500 102 367 | 0.000 % | 180.68/180.77 c | 255 | 8550 185 17100 | 6050 255 499 | 0.000 % | 180.78/180.88 c | 481 | 8550 185 17100 | 6655 481 668 | 0.000 % | 181.19/181.29 c | 818 | 8550 185 17100 | 7320 818 1094 | 0.000 % | 181.58/181.65 c | 1325 | 8550 185 17100 | 8052 1325 922 | 0.000 % | 182.08/182.13 c | 2085 | 8550 185 17100 | 8857 2085 786 | 0.000 % | 182.78/182.82 c | 3224 | 8550 185 17100 | 9743 3224 686 | 0.000 % | 183.98/184.05 c | 4933 | 8550 185 17100 | 10717 4933 650 | 0.000 % | 186.09/186.13 c | 7495 | 8550 185 17100 | 11789 7495 632 | 0.000 % | 189.98/190.06 c | 11340 | 8550 185 17100 | 12968 11340 642 | 0.000 % | 196.69/196.78 c | 17106 | 8550 185 17100 | 14265 17106 639 | 0.000 % | 208.27/208.30 c | 25756 | 8550 185 17100 | 15692 17203 678 | 0.000 % | 229.98/230.03 c | 38732 | 8550 185 17100 | 17261 21578 1207 | 0.000 % | 268.07/268.13 c | 58193 | 8550 185 17100 | 18987 16403 1516 | 0.000 % | 324.78/324.82 c | 87386 | 8550 185 17100 | 20886 16571 1159 | 0.000 % | 399.58/399.66 c | 131176 | 8550 185 17100 | 22974 27054 1172 | 0.000 % | 531.19/531.29 c | 196861 | 8550 185 17100 | 25272 27323 1456 | 0.000 % | 790.19/790.26 c | 295387 | 8550 185 17100 | 27799 32394 1994 | 0.000 % | 1074.10/1074.19 c | 443179 | 8550 185 17100 | 30579 30242 1171 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690420-1277894576/watcher-2690420-1277894576 -o /tmp/evaluation-result-2690420-1277894576/solver-2690420-1277894576 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690420-1277894576.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/194 11301 /proc/meminfo: memFree=31294376/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3744 CPUtime=0 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 516 0 0 0 0 0 0 0 23 0 1 0 130754208 3833856 435 4089446400 134512640 135752675 4294088000 18446744073709551615 134573941 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 936 435 142 303 0 593 0 [startup+0.0912301 s] /proc/loadavg: 2.00 2.00 2.00 3/194 11301 /proc/meminfo: memFree=31294376/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=5932 CPUtime=0.08 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 1402 0 0 0 7 1 0 0 23 0 1 0 130754208 6074368 1026 4089446400 134512640 135752675 4294088000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 1483 1026 144 303 0 1178 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5932 [startup+0.100231 s] /proc/loadavg: 2.00 2.00 2.00 3/194 11301 /proc/meminfo: memFree=31294376/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=6196 CPUtime=0.09 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 1451 0 0 0 8 1 0 0 23 0 1 0 130754208 6344704 1075 4089446400 134512640 135752675 4294088000 18446744073709551615 134639530 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 1549 1075 144 303 0 1244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6196 [startup+0.300193 s] /proc/loadavg: 2.00 2.00 2.00 3/194 11301 /proc/meminfo: memFree=31294376/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=9516 CPUtime=0.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 2312 0 0 0 26 3 0 0 23 0 1 0 130754208 9744384 1936 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 2412 1937 144 303 0 2107 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9516 [startup+0.700125 s] /proc/loadavg: 2.00 2.00 2.00 3/194 11301 /proc/meminfo: memFree=31294376/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=14400 CPUtime=0.69 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 3532 0 0 0 65 4 0 0 25 0 1 0 130754208 14745600 3156 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 3600 3156 144 303 0 3295 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14400 [startup+1.50099 s] /proc/loadavg: 2.00 2.00 2.00 3/195 11302 /proc/meminfo: memFree=31279488/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=22320 CPUtime=1.49 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 5488 0 0 0 144 5 0 0 25 0 1 0 130754208 22855680 5112 4089446400 134512640 135752675 4294088000 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11301/statm: 5580 5112 144 303 0 5275 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22320 [startup+3.10071 s] /proc/loadavg: 2.00 2.00 2.00 3/195 11302 /proc/meminfo: memFree=31270312/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=32792 CPUtime=3.09 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 8114 0 0 0 302 7 0 0 25 0 1 0 130754208 33579008 7738 4089446400 134512640 135752675 4294088000 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 8198 7738 144 303 0 7893 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32792 [startup+6.30015 s] /proc/loadavg: 2.08 2.02 2.01 3/195 11302 /proc/meminfo: memFree=31250276/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=52144 CPUtime=6.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 12948 0 0 0 620 9 0 0 25 0 1 0 130754208 53395456 12572 4089446400 134512640 135752675 4294088000 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 13036 12572 144 303 0 12731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52144 [startup+12.701 s] /proc/loadavg: 2.07 2.02 2.00 3/195 11302 /proc/meminfo: memFree=31218920/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=81872 CPUtime=12.68 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 20378 0 0 0 1256 12 0 0 25 0 1 0 130754208 83836928 20002 4089446400 134512640 135752675 4294088000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 20468 20002 144 303 0 20163 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81872 [startup+25.5008 s] /proc/loadavg: 2.06 2.01 2.00 3/195 11303 /proc/meminfo: memFree=31155408/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=145152 CPUtime=25.48 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 36188 0 0 0 2532 16 0 0 25 0 1 0 130754208 148635648 35812 4089446400 134512640 135752675 4294088000 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11301/statm: 36288 35812 144 303 0 35983 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 145152 [startup+51.1004 s] /proc/loadavg: 2.11 2.03 2.01 3/195 11304 /proc/meminfo: memFree=31043344/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=257852 CPUtime=51.08 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 64379 0 0 0 5086 22 0 0 25 0 1 0 130754208 264040448 64003 4089446400 134512640 135752675 4294088000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11301/statm: 64463 64003 144 303 0 64158 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 257852 [startup+102.306 s] /proc/loadavg: 2.05 2.02 2.00 3/195 11305 /proc/meminfo: memFree=30765920/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=533644 CPUtime=102.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 133318 0 0 0 10192 37 0 0 25 0 1 0 130754208 546451456 132942 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11301/statm: 133411 132942 144 303 0 133106 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 533644 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/195 11306 /proc/meminfo: memFree=30540704/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=759344 CPUtime=162.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 189700 0 0 0 16178 51 0 0 25 0 1 0 130754208 777568256 189324 4089446400 134512640 135752675 4294088000 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/11301/statm: 189836 189324 144 303 0 189531 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 759344 [startup+222.301 s] /proc/loadavg: 1.87 1.98 1.99 3/177 11395 /proc/meminfo: memFree=30526980/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=851908 CPUtime=222.27 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 213018 0 0 0 22164 63 0 0 25 0 1 0 130754208 872353792 212511 4089446400 134512640 135752675 4294088000 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 212977 212511 146 303 0 212672 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 851908 [startup+282.301 s] /proc/loadavg: 1.95 1.98 1.99 3/177 11397 /proc/meminfo: memFree=30139396/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1007736 CPUtime=282.28 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 251996 0 0 0 28151 77 0 0 25 0 1 0 130754208 1031921664 251489 4089446400 134512640 135752675 4294088000 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 251934 251489 146 303 0 251629 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 1007736 [startup+342.301 s] /proc/loadavg: 1.98 1.98 1.99 3/177 11399 /proc/meminfo: memFree=29720008/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1151892 CPUtime=342.28 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 287987 0 0 0 34136 92 0 0 25 0 1 0 130754208 1179537408 287480 4089446400 134512640 135752675 4294088000 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 287973 287480 146 303 0 287668 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 1151892 [startup+402.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 11400 /proc/meminfo: memFree=29392124/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1305068 CPUtime=402.28 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 326262 0 0 0 40123 105 0 0 22 0 1 0 130754208 1336389632 325755 4089446400 134512640 135752675 4294088000 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 326267 325755 146 303 0 325962 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 1305068 [startup+462.301 s] /proc/loadavg: 1.99 1.98 1.99 3/177 11401 /proc/meminfo: memFree=29069812/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1444284 CPUtime=462.28 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 361040 0 0 0 46112 116 0 0 25 0 1 0 130754208 1478946816 360533 4089446400 134512640 135752675 4294088000 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 361071 360533 146 303 0 360766 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 1444284 [startup+522.3 s] /proc/loadavg: 1.99 1.98 1.99 3/177 11403 /proc/meminfo: memFree=28731772/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1598540 CPUtime=522.28 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 399591 0 0 0 52100 128 0 0 25 0 1 0 130754208 1636904960 399084 4089446400 134512640 135752675 4294088000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 399635 399084 146 303 0 399330 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 1598540 [startup+582.301 s] /proc/loadavg: 1.99 1.98 1.99 3/177 11405 /proc/meminfo: memFree=28347968/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1789856 CPUtime=582.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 447400 0 0 0 58088 141 0 0 25 0 1 0 130754208 1832812544 446893 4089446400 134512640 135752675 4294088000 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 447464 446893 146 303 0 447159 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1789856 [startup+642.3 s] /proc/loadavg: 2.04 2.00 1.99 3/177 11407 /proc/meminfo: memFree=27970248/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=1926800 CPUtime=642.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 481625 0 0 0 64077 152 0 0 25 0 1 0 130754208 1973043200 481118 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 481700 481118 146 303 0 481395 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 1926800 [startup+702.301 s] /proc/loadavg: 2.01 2.00 1.99 3/177 11408 /proc/meminfo: memFree=27598236/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2084388 CPUtime=702.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 521019 0 0 0 70065 164 0 0 25 0 1 0 130754208 2134413312 520512 4089446400 134512640 135752675 4294088000 18446744073709551615 134639477 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 521097 520512 146 303 0 520792 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 2084388 [startup+762.307 s] /proc/loadavg: 2.00 2.00 1.99 3/177 11409 /proc/meminfo: memFree=27113872/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2261704 CPUtime=762.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 565336 0 0 0 76054 175 0 0 25 0 1 0 130754208 2315984896 564829 4089446400 134512640 135752675 4294088000 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 565426 564829 146 303 0 565121 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 2261704 [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.99 3/177 11411 /proc/meminfo: memFree=26679852/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2437604 CPUtime=822.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 609311 0 0 0 82039 190 0 0 25 0 1 0 130754208 2496106496 608804 4089446400 134512640 135752675 4294088000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 609401 608804 146 303 0 609096 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 2437604 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.99 3/177 11413 /proc/meminfo: memFree=26362888/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2587524 CPUtime=882.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 646781 0 0 0 88028 201 0 0 25 0 1 0 130754208 2649624576 646274 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 646881 646274 146 303 0 646576 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 2587524 [startup+942.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 11415 /proc/meminfo: memFree=26044816/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2743552 CPUtime=942.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 685755 0 0 0 94015 214 0 0 25 0 1 0 130754208 2809397248 685248 4089446400 134512640 135752675 4294088000 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 685888 685248 146 303 0 685583 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 2743552 [startup+1002.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11416 /proc/meminfo: memFree=25731336/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=2884092 CPUtime=1002.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 720859 0 0 0 100005 225 0 0 25 0 1 0 130754208 2953310208 720352 4089446400 134512640 135752675 4294088000 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 721023 720352 146 303 0 720718 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 2884092 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11417 /proc/meminfo: memFree=25416116/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3023500 CPUtime=1062.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 755698 0 0 0 105993 236 0 0 25 0 1 0 130754208 3096064000 755191 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 755875 755191 146 303 0 755570 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 3023500 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11428 /proc/meminfo: memFree=25067076/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3127300 CPUtime=1122.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 781651 0 0 0 111985 245 0 0 25 0 1 0 130754208 3202355200 781144 4089446400 134512640 135752675 4294088000 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 781825 781144 146 303 0 781520 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 3127300 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11430 /proc/meminfo: memFree=24679564/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3237924 CPUtime=1182.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 809287 0 0 0 117975 254 0 0 25 0 1 0 130754208 3315634176 808780 4089446400 134512640 135752675 4294088000 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 809481 808780 146 303 0 809176 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 3237924 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11432 /proc/meminfo: memFree=24364212/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3340152 CPUtime=1242.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 834830 0 0 0 123968 262 0 0 25 0 1 0 130754208 3420315648 834323 4089446400 134512640 135752675 4294088000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 835038 834323 146 303 0 834733 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 3340152 [startup+1302.3 s] /proc/loadavg: 1.94 1.98 1.99 3/177 11461 /proc/meminfo: memFree=27961408/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3457648 CPUtime=1302.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 864188 0 0 0 129959 271 0 0 25 0 1 0 130754208 3540631552 863681 4089446400 134512640 135752675 4294088000 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 864412 863681 146 303 0 864107 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 3457648 [startup+1362.3 s] /proc/loadavg: 1.98 1.98 1.99 3/177 11516 /proc/meminfo: memFree=27751576/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3613464 CPUtime=1362.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 903126 0 0 0 135947 283 0 0 25 0 1 0 130754208 3700187136 902619 4089446400 134512640 135752675 4294088000 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 903366 902619 146 303 0 903061 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 3613464 [startup+1422.31 s] /proc/loadavg: 1.99 1.98 1.99 3/177 11518 /proc/meminfo: memFree=27586356/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3734148 CPUtime=1422.3 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 933265 0 0 0 141938 292 0 0 25 0 1 0 130754208 3823767552 932758 4089446400 134512640 135752675 4294088000 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 933537 932758 146 303 0 933232 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 3734148 [startup+1482.3 s] /proc/loadavg: 2.06 2.00 2.00 3/177 11601 /proc/meminfo: memFree=27528420/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3846036 CPUtime=1482.29 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 961233 0 0 0 147928 301 0 0 25 0 1 0 130754208 3938340864 960726 4089446400 134512640 135752675 4294088000 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 961509 960726 146 303 0 961204 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 3846036 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1503.1 s] /proc/loadavg: 2.04 2.00 2.00 3/177 11601 /proc/meminfo: memFree=27460948/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=3891360 CPUtime=1503.09 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4202496 972558 0 0 0 150004 305 0 0 25 0 1 0 130754208 3984752640 972051 4089446400 134512640 135752675 4294088000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/11301/statm: 972840 972051 146 303 0 972535 0 Current children cumulated CPU time (s) 1503.09 Current children cumulated vsize (KiB) 3891360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1503.21 s] /proc/loadavg: 2.04 2.00 2.00 3/177 11601 /proc/meminfo: memFree=27460948/32951132 swapFree=67111528/67111528 [pid=11301] ppid=11299 vsize=0 CPUtime=1503.19 /proc/11301/stat : 11301 (wbo1.4b) R 11299 11301 9700 0 -1 4203524 972558 0 0 0 150004 315 0 0 25 0 1 0 130754208 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/11301/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1503.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1503.24 CPU time (s): 1503.24 CPU user time (s): 1500.05 CPU system time (s): 3.18551 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 3891360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1500.05 system time used= 3.18552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972558 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= 2 involuntary context switches= 1379 runsolver used 2.04369 second user time and 4.80427 second system time The end
Begin job on node131 at 2010-06-30 12:42:56 IDJOB=2690420 IDBENCH=78739 IDSOLVER=1201 FILE ID=node131/2690420-1277894576 PBS_JOBID= 11197091 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690420-1277894576/watcher-2690420-1277894576 -o /tmp/evaluation-result-2690420-1277894576/solver-2690420-1277894576 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690420-1277894576.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bad48add975eecf801ffda2fc733cf44 RANDOM SEED=1664563825 node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31295028 kB Buffers: 180524 kB Cached: 1128152 kB SwapCached: 0 kB Active: 707512 kB Inactive: 804232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31295028 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 203100 kB Mapped: 20516 kB Slab: 79316 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1638284 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node131 at 2010-06-30 13:08:01