Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1197.46 | 1197.45 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo |
MD5SUM | f8d5ed276152247cc0d8dd0253710bfc |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.007998 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 150 |
Total number of constraints | 25 |
Number of soft constraints | 21 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 15 |
Top cost | 877 |
Min constraint cost | 1 |
Max constraint cost | 83 |
Sum of constraints costs | 876 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 16 |
Number of bits of the biggest sum of numbers | 5 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689733-1277892035.wbo. 0.00/0.00 c Instance file HOME/instance-2689733-1277892035.wbo 0.00/0.00 c File size is 2731 bytes. 0.00/0.00 c Highest Coefficient sum: 16 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 150 | 0.00/0.00 c | Number Clauses: 15 | 0.00/0.00 c | Number Cardinality: 10 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 150 25 300 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 150 25 300 | 5500 101 37 | 0.004 % | 0.00/0.00 c | 252 | 150 25 300 | 6050 252 37 | 0.004 % | 0.00/0.01 c | 477 | 150 25 300 | 6655 477 45 | 0.004 % | 0.00/0.02 c | 815 | 150 25 300 | 7320 815 46 | 0.004 % | 0.00/0.04 c | 1322 | 150 25 300 | 8052 1322 51 | 0.004 % | 0.00/0.08 c | 2086 | 150 25 300 | 8857 2086 54 | 0.004 % | 0.19/0.22 c | 3227 | 150 25 300 | 9743 3227 56 | 0.004 % | 0.38/0.44 c | 4937 | 150 25 300 | 10717 4937 58 | 0.004 % | 0.88/0.92 c | 7499 | 150 25 300 | 11789 7499 58 | 0.004 % | 1.38/1.47 c | 11347 | 150 25 300 | 12968 11347 59 | 0.004 % | 2.49/2.53 c | 17114 | 150 25 300 | 14265 10590 55 | 0.004 % | 4.49/4.52 c | 25763 | 150 25 300 | 15692 12065 54 | 0.004 % | 7.48/7.51 c | 38737 | 150 25 300 | 17261 9263 50 | 0.004 % | 10.88/10.96 c | 58199 | 150 25 300 | 18987 11370 47 | 0.004 % | 17.29/17.39 c | 87392 | 150 25 300 | 20886 11928 52 | 0.004 % | 27.88/27.90 c | 131181 | 150 25 300 | 22974 13782 50 | 0.004 % | 45.10/45.12 c | 196865 | 150 25 300 | 25272 21843 45 | 0.004 % | 78.29/78.34 c | 295395 | 150 25 300 | 27799 16428 51 | 0.004 % | 123.20/123.28 c | 443184 | 150 25 300 | 30579 17123 54 | 0.004 % | 201.19/201.24 c | 664869 | 150 25 300 | 33637 26436 55 | 0.004 % | 323.89/323.96 c | 997395 | 149 25 300 | 37001 33546 58 | 0.671 % | 409.10/409.11 c =============================================================================== 417.30/417.30 c core #1 417.30/417.30 c ============================[ Search Statistics ]============================== 417.30/417.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 417.30/417.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 417.30/417.30 c =============================================================================== 417.30/417.30 c | 0 | 171 46 572 | 5000 0 nan | 0.000 % | 417.30/417.35 c | 102 | 171 46 572 | 5500 102 33 | 0.003 % | 417.40/417.40 c | 252 | 171 46 572 | 6050 252 35 | 0.003 % | 417.40/417.41 c | 478 | 171 46 572 | 6655 478 42 | 0.003 % | 417.40/417.42 c | 818 | 171 46 572 | 7320 818 50 | 0.003 % | 417.40/417.44 c | 1327 | 171 46 572 | 8052 1327 51 | 0.003 % | 417.40/417.49 c | 2087 | 171 46 572 | 8857 2087 53 | 0.003 % | 417.49/417.56 c | 3229 | 171 46 572 | 9743 3229 53 | 0.003 % | 417.79/417.84 c | 4937 | 171 46 572 | 10717 4937 53 | 0.003 % | 418.19/418.22 c | 7500 | 171 46 572 | 11789 7500 56 | 0.003 % | 418.99/419.04 c | 11347 | 171 46 572 | 12968 11347 55 | 0.003 % | 420.09/420.17 c | 17113 | 171 46 572 | 14265 10590 50 | 0.003 % | 422.50/422.57 c | 25763 | 171 46 572 | 15692 12081 48 | 0.003 % | 426.90/426.95 c | 38738 | 171 46 572 | 17261 9291 47 | 0.003 % | 432.29/432.33 c | 58204 | 171 46 572 | 18987 11420 46 | 0.003 % | 441.79/441.88 c | 87396 | 171 46 572 | 20886 12012 51 | 0.003 % | 456.69/456.75 c | 131186 | 171 46 572 | 22974 13852 56 | 0.003 % | 477.89/477.94 c | 196874 | 171 46 572 | 25272 21871 51 | 0.003 % | 510.40/510.43 c | 295401 | 171 46 572 | 27799 16546 46 | 0.003 % | 557.90/558.00 c | 443190 | 170 46 572 | 30579 14614 48 | 0.588 % | 641.00/641.04 c | 664873 | 170 46 572 | 33637 25676 47 | 0.588 % | 752.20/752.21 c | 997398 | 170 46 572 | 37001 18458 54 | 0.588 % | 927.60/927.67 c | 1496187 | 170 46 572 | 40701 36969 46 | 0.588 % | 1180.81/1180.84 c =============================================================================== 1197.30/1197.30 c core #2 1197.30/1197.30 c ============================[ Search Statistics ]============================== 1197.30/1197.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1197.30/1197.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1197.30/1197.30 c =============================================================================== 1197.30/1197.30 c | 0 | 191 66 827 | 5000 0 nan | 0.000 % | 1197.30/1197.37 c | 102 | 191 66 827 | 5500 102 36 | 0.003 % | 1197.40/1197.41 c =============================================================================== 1197.40/1197.41 c #cores: 2 1197.40/1197.41 c Final Weight: 2 1197.40/1197.41 o 2 1197.40/1197.41 s OPTIMUM FOUND 1197.40/1197.41 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1197.40/1197.41 c Total CPU time: 1192.62 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689733-1277892035/watcher-2689733-1277892035 -o /tmp/evaluation-result-2689733-1277892035/solver-2689733-1277892035 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689733-1277892035.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.08 3/196 21991 /proc/meminfo: memFree=31129864/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=2572 CPUtime=0 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 162843092 2633728 200 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21991/statm: 643 200 143 303 0 338 0 [startup+0.100518 s] /proc/loadavg: 2.00 2.00 2.08 3/196 21991 /proc/meminfo: memFree=31129864/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=3364 CPUtime=0.09 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 482 0 0 0 9 0 0 0 25 0 1 0 162843092 3444736 399 4089446400 134512640 135751879 4293501760 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21991/statm: 841 400 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.2005 s] /proc/loadavg: 2.00 2.00 2.08 3/196 21991 /proc/meminfo: memFree=31129864/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=3760 CPUtime=0.19 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 574 0 0 0 19 0 0 0 25 0 1 0 162843092 3850240 491 4089446400 134512640 135751879 4293501760 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21991/statm: 940 491 143 303 0 635 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3760 [startup+0.300485 s] /proc/loadavg: 2.00 2.00 2.08 3/196 21991 /proc/meminfo: memFree=31129864/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=4024 CPUtime=0.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 654 0 0 0 29 0 0 0 25 0 1 0 162843092 4120576 571 4089446400 134512640 135751879 4293501760 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/21991/statm: 1006 571 143 303 0 701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4024 [startup+0.700415 s] /proc/loadavg: 2.00 2.00 2.08 3/196 21991 /proc/meminfo: memFree=31129864/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=5088 CPUtime=0.68 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 920 0 0 0 68 0 0 0 25 0 1 0 162843092 5210112 837 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 1272 837 143 303 0 967 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5088 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.08 3/197 21992 /proc/meminfo: memFree=31126260/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=7340 CPUtime=1.48 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 1477 0 0 0 147 1 0 0 25 0 1 0 162843092 7516160 1394 4089446400 134512640 135751879 4293501760 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 1835 1394 143 303 0 1530 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7340 [startup+3.10103 s] /proc/loadavg: 2.00 2.00 2.08 3/197 21992 /proc/meminfo: memFree=31123180/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=10272 CPUtime=3.08 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 2222 0 0 0 306 2 0 0 25 0 1 0 162843092 10518528 2139 4089446400 134512640 135751879 4293501760 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 2568 2139 143 303 0 2263 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10272 [startup+6.30048 s] /proc/loadavg: 2.00 2.00 2.08 3/197 21992 /proc/meminfo: memFree=31117476/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=15736 CPUtime=6.28 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 3559 0 0 0 624 4 0 0 25 0 1 0 162843092 16113664 3476 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 3934 3476 143 303 0 3629 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15736 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.08 3/197 21992 /proc/meminfo: memFree=31105580/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=27664 CPUtime=12.69 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 6529 0 0 0 1261 8 0 0 25 0 1 0 162843092 28327936 6446 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 6916 6446 143 303 0 6611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27664 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.08 3/197 21992 /proc/meminfo: memFree=31085232/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=47868 CPUtime=25.49 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 11567 0 0 0 2533 16 0 0 25 0 1 0 162843092 49016832 11484 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 11967 11484 143 303 0 11662 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47868 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.08 3/197 22001 /proc/meminfo: memFree=31052440/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=77892 CPUtime=51.09 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 19074 0 0 0 5081 28 0 0 25 0 1 0 162843092 79761408 18991 4089446400 134512640 135751879 4293501760 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 19473 18991 143 303 0 19168 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 77892 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.07 3/197 22003 /proc/meminfo: memFree=30982944/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=132888 CPUtime=102.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 32726 0 0 0 10184 45 0 0 25 0 1 0 162843092 136077312 32643 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 33222 32643 143 303 0 32917 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 132888 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.06 3/197 22005 /proc/meminfo: memFree=30921756/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=194960 CPUtime=162.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 48228 0 0 0 16162 67 0 0 25 0 1 0 162843092 199639040 48145 4089446400 134512640 135751879 4293501760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 48740 48145 143 303 0 48435 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 194960 [startup+222.306 s] /proc/loadavg: 1.93 1.98 2.05 3/197 22007 /proc/meminfo: memFree=30864156/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=251688 CPUtime=222.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 62349 0 0 0 22143 86 0 0 25 0 1 0 162843092 257728512 62266 4089446400 134512640 135751879 4293501760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 62922 62266 143 303 0 62617 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 251688 [startup+282.3 s] /proc/loadavg: 2.04 2.00 2.05 3/197 22007 /proc/meminfo: memFree=30807184/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=308804 CPUtime=282.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 76594 0 0 0 28124 105 0 0 25 0 1 0 162843092 316215296 76511 4089446400 134512640 135751879 4293501760 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 77201 76511 143 303 0 76896 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 308804 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.05 3/197 22009 /proc/meminfo: memFree=30753540/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=361916 CPUtime=342.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 89862 0 0 0 34102 127 0 0 25 0 1 0 162843092 370601984 89779 4089446400 134512640 135751879 4293501760 18446744073709551615 134616760 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 90479 89779 143 303 0 90174 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 361916 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.04 3/197 22011 /proc/meminfo: memFree=30701032/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=414264 CPUtime=402.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 102971 0 0 0 40078 151 0 0 25 0 1 0 162843092 424206336 102888 4089446400 134512640 135751879 4293501760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 103566 102888 143 303 0 103261 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 414264 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.03 3/197 22013 /proc/meminfo: memFree=30654708/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=458992 CPUtime=462.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 114440 0 0 0 46058 171 0 0 25 0 1 0 162843092 470007808 114320 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 114748 114320 146 303 0 114443 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 458992 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.03 3/197 22015 /proc/meminfo: memFree=30629108/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=480932 CPUtime=522.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 119842 0 0 0 52038 191 0 0 25 0 1 0 162843092 492474368 119722 4089446400 134512640 135751879 4293501760 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 120233 119722 146 303 0 119928 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 480932 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.02 3/197 22015 /proc/meminfo: memFree=30591728/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=517964 CPUtime=582.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 129052 0 0 0 58018 211 0 0 25 0 1 0 162843092 530395136 128932 4089446400 134512640 135751879 4293501760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 129491 128932 146 303 0 129186 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 517964 [startup+642.301 s] /proc/loadavg: 2.03 2.01 2.02 3/197 22017 /proc/meminfo: memFree=30555720/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=553952 CPUtime=642.29 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 137974 0 0 0 63996 233 0 0 25 0 1 0 162843092 567246848 137854 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 138488 137854 146 303 0 138183 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 553952 [startup+702.301 s] /proc/loadavg: 2.01 2.01 2.02 3/197 22019 /proc/meminfo: memFree=30508916/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=599768 CPUtime=702.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 149348 0 0 0 69973 257 0 0 25 0 1 0 162843092 614162432 149228 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 149942 149228 146 303 0 149637 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 599768 [startup+762.301 s] /proc/loadavg: 2.00 2.00 2.01 3/197 22021 /proc/meminfo: memFree=30466416/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=641968 CPUtime=762.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 159881 0 0 0 75955 275 0 0 25 0 1 0 162843092 657375232 159761 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 160492 159761 146 303 0 160187 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 641968 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22023 /proc/meminfo: memFree=30403756/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=704796 CPUtime=822.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 175571 0 0 0 81932 298 0 0 25 0 1 0 162843092 721711104 175451 4089446400 134512640 135751879 4293501760 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 176199 175451 146 303 0 175894 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 704796 [startup+882.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22023 /proc/meminfo: memFree=30340352/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=761896 CPUtime=882.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 189825 0 0 0 87913 317 0 0 25 0 1 0 162843092 780181504 189705 4089446400 134512640 135751879 4293501760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/21991/statm: 190474 189705 146 303 0 190169 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 761896 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22055 /proc/meminfo: memFree=30427588/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=820468 CPUtime=942.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 204433 0 0 0 93887 343 0 0 25 0 1 0 162843092 840159232 204313 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 205117 204313 146 303 0 204812 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 820468 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22057 /proc/meminfo: memFree=30158080/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=878476 CPUtime=1002.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 218900 0 0 0 99852 378 0 0 25 0 1 0 162843092 899559424 218780 4089446400 134512640 135751879 4293501760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 219619 218780 146 303 0 219314 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 878476 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22059 /proc/meminfo: memFree=29934604/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=928484 CPUtime=1062.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 231400 0 0 0 105820 410 0 0 25 0 1 0 162843092 950767616 231280 4089446400 134512640 135751879 4293501760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 232121 231280 146 303 0 231816 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 928484 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22061 /proc/meminfo: memFree=29747216/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=982724 CPUtime=1122.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 244929 0 0 0 111787 443 0 0 25 0 1 0 162843092 1006309376 244809 4089446400 134512640 135751879 4293501760 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 245681 244809 146 303 0 245376 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 982724 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 22061 /proc/meminfo: memFree=29525088/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1048624 CPUtime=1182.3 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 261425 0 0 0 117752 478 0 0 25 0 1 0 162843092 1073790976 261305 4089446400 134512640 135751879 4293501760 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 262156 261305 146 303 0 261851 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1048624 Solver just ended. Dumping a history of the last processes samples [startup+1190.4 s] /proc/loadavg: 2.04 2.01 2.00 3/179 22061 /proc/meminfo: memFree=29448448/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1190.4 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273144 0 0 0 118561 479 0 0 25 0 1 0 162843092 1121910784 273024 4089446400 134512640 135751879 4293501760 18446744073709551615 134618325 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273024 146 303 0 273599 0 Current children cumulated CPU time (s) 1190.4 Current children cumulated vsize (KiB) 1095616 [startup+1193.61 s] /proc/loadavg: 2.04 2.01 2.00 3/179 22061 /proc/meminfo: memFree=29440264/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1193.6 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273144 0 0 0 118881 479 0 0 25 0 1 0 162843092 1121910784 273024 4089446400 134512640 135751879 4293501760 18446744073709551615 134618707 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273024 146 303 0 273599 0 Current children cumulated CPU time (s) 1193.6 Current children cumulated vsize (KiB) 1095616 [startup+1195.2 s] /proc/loadavg: 2.04 2.01 2.00 3/179 22061 /proc/meminfo: memFree=29438652/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1195.2 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273144 0 0 0 119041 479 0 0 25 0 1 0 162843092 1121910784 273024 4089446400 134512640 135751879 4293501760 18446744073709551615 134618710 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273024 146 303 0 273599 0 Current children cumulated CPU time (s) 1195.2 Current children cumulated vsize (KiB) 1095616 [startup+1196.8 s] /proc/loadavg: 2.03 2.01 2.00 3/179 22063 /proc/meminfo: memFree=29434684/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1196.8 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273152 0 0 0 119201 479 0 0 25 0 1 0 162843092 1121910784 273032 4089446400 134512640 135751879 4293501760 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273032 146 303 0 273599 0 Current children cumulated CPU time (s) 1196.8 Current children cumulated vsize (KiB) 1095616 [startup+1197.2 s] /proc/loadavg: 2.03 2.01 2.00 3/179 22063 /proc/meminfo: memFree=29434684/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1197.2 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273152 0 0 0 119241 479 0 0 25 0 1 0 162843092 1121910784 273032 4089446400 134512640 135751879 4293501760 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273032 146 303 0 273599 0 Current children cumulated CPU time (s) 1197.2 Current children cumulated vsize (KiB) 1095616 [startup+1197.4 s] /proc/loadavg: 2.03 2.01 2.00 3/179 22063 /proc/meminfo: memFree=29434684/32951124 swapFree=67111528/67111528 [pid=21991] ppid=21989 vsize=1095616 CPUtime=1197.4 /proc/21991/stat : 21991 (wbo1.4a) R 21989 21991 20735 0 -1 4202496 273152 0 0 0 119261 479 0 0 18 0 1 0 162843092 1121910784 273032 4089446400 134512640 135751879 4293501760 18446744073709551615 135204436 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/21991/statm: 273904 273032 146 303 0 273599 0 Current children cumulated CPU time (s) 1197.4 Current children cumulated vsize (KiB) 1095616 Child status: 0 Real time (s): 1197.45 CPU time (s): 1197.46 CPU user time (s): 1192.62 CPU system time (s): 4.83427 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1095616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1192.62 system time used= 4.83427 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273152 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= 3 involuntary context switches= 1111 runsolver used 1.63075 second user time and 3.81742 second system time The end
Begin job on node118 at 2010-06-30 12:00:35 IDJOB=2689733 IDBENCH=78712 IDSOLVER=1200 FILE ID=node118/2689733-1277892035 PBS_JOBID= 11197117 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689733-1277892035/watcher-2689733-1277892035 -o /tmp/evaluation-result-2689733-1277892035/solver-2689733-1277892035 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689733-1277892035.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8d5ed276152247cc0d8dd0253710bfc RANDOM SEED=9976007 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.83 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.791 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.75 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.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31130268 kB Buffers: 174808 kB Cached: 1284468 kB SwapCached: 0 kB Active: 674724 kB Inactive: 1005112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31130268 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 220944 kB Mapped: 20476 kB Slab: 77640 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1639620 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node118 at 2010-06-30 12:20:33