Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 35.3586 | 35.3582 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-33-100-0.wbo |
MD5SUM | be3c73315139989f61de040eef6a61aa |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.370942 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
Number of bits of the biggest sum of numbers | 11 |
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-2689912-1277898385.wbo. 0.00/0.00 c Instance file HOME/instance-2689912-1277898385.wbo 0.00/0.00 c File size is 10275 bytes. 0.00/0.00 c Highest Coefficient sum: 1248 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: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 169 101 1205 | 5500 102 36 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 37 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 35 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 35 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 39 | 0.004 % | 0.00/0.06 c | 2081 | 169 101 1205 | 8857 2081 38 | 0.004 % | 0.09/0.10 c | 3220 | 169 101 1205 | 9743 3220 37 | 0.004 % | 0.09/0.18 c | 4929 | 169 101 1205 | 10717 4929 39 | 0.004 % | 0.29/0.30 c | 7494 | 169 101 1205 | 11789 7494 39 | 0.004 % | 0.49/0.53 c | 11339 | 169 101 1205 | 12968 11339 40 | 0.004 % | 0.79/0.88 c | 17109 | 169 101 1205 | 14265 10566 43 | 0.004 % | 1.39/1.43 c | 25759 | 169 101 1205 | 15692 12036 45 | 0.004 % | 2.49/2.51 c | 38734 | 169 101 1205 | 17261 9225 46 | 0.004 % | 4.30/4.39 c | 58197 | 169 101 1205 | 18987 11320 48 | 0.004 % | 5.09/5.17 c =============================================================================== 5.40/5.46 c core #1 5.40/5.46 c ============================[ Search Statistics ]============================== 5.40/5.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.40/5.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.40/5.46 c =============================================================================== 5.40/5.46 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 5.40/5.46 c | 102 | 230 161 1915 | 5500 102 38 | 0.002 % | 5.40/5.47 c | 252 | 230 161 1915 | 6050 252 37 | 0.002 % | 5.40/5.47 c | 477 | 230 161 1915 | 6655 477 36 | 0.002 % | 5.40/5.48 c | 815 | 230 161 1915 | 7320 815 33 | 0.002 % | 5.40/5.50 c | 1322 | 230 161 1915 | 8052 1322 34 | 0.002 % | 5.50/5.53 c | 2081 | 230 161 1915 | 8857 2081 34 | 0.002 % | 5.50/5.57 c | 3220 | 230 161 1915 | 9743 3220 33 | 0.002 % | 5.59/5.65 c | 4928 | 230 161 1915 | 10717 4928 34 | 0.002 % | 5.69/5.79 c | 7491 | 230 161 1915 | 11789 7491 36 | 0.002 % | 5.99/6.04 c | 11335 | 230 161 1915 | 12968 11335 37 | 0.002 % | 6.39/6.44 c | 17102 | 230 161 1915 | 14265 10550 41 | 0.002 % | 7.09/7.10 c | 25754 | 230 161 1915 | 15692 12012 41 | 0.002 % | 7.99/8.09 c | 38729 | 230 161 1915 | 17261 9192 42 | 0.002 % | 9.49/9.56 c | 58192 | 230 161 1915 | 18987 11285 46 | 0.002 % | 10.69/10.72 c =============================================================================== 11.00/11.04 c core #2 11.00/11.04 c ============================[ Search Statistics ]============================== 11.00/11.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.00/11.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.00/11.04 c =============================================================================== 11.00/11.04 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 11.00/11.04 c | 101 | 291 221 2625 | 5500 101 35 | 0.001 % | 11.00/11.05 c | 254 | 291 221 2625 | 6050 254 39 | 0.001 % | 11.00/11.06 c | 481 | 291 221 2625 | 6655 481 36 | 0.001 % | 11.00/11.07 c | 818 | 291 221 2625 | 7320 818 33 | 0.001 % | 11.00/11.08 c | 1324 | 291 221 2625 | 8052 1324 32 | 0.001 % | 11.09/11.11 c | 2083 | 291 221 2625 | 8857 2083 32 | 0.001 % | 11.09/11.16 c | 3223 | 291 221 2625 | 9743 3223 31 | 0.001 % | 11.19/11.23 c | 4931 | 291 221 2625 | 10717 4931 32 | 0.001 % | 11.29/11.36 c | 7493 | 291 221 2625 | 11789 7493 35 | 0.001 % | 11.59/11.61 c | 11337 | 291 221 2625 | 12968 11337 34 | 0.001 % | 11.99/12.00 c | 17103 | 291 221 2625 | 14265 10552 39 | 0.001 % | 12.59/12.69 c | 25752 | 291 221 2625 | 15692 12014 42 | 0.001 % | 13.59/13.62 c | 38726 | 291 221 2625 | 17261 9192 44 | 0.001 % | 14.99/15.02 c | 58193 | 291 221 2625 | 18987 11286 45 | 0.001 % | 15.40/15.48 c =============================================================================== 15.69/15.75 c core #3 15.69/15.75 c ============================[ Search Statistics ]============================== 15.69/15.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.75 c =============================================================================== 15.69/15.75 c | 0 | 349 280 3315 | 5000 0 nan | 0.000 % | 15.69/15.76 c | 101 | 349 280 3315 | 5500 101 31 | 0.001 % | 15.69/15.77 c | 256 | 349 280 3315 | 6050 256 31 | 0.001 % | 15.69/15.77 c | 481 | 349 280 3315 | 6655 481 28 | 0.001 % | 15.69/15.78 c | 819 | 349 280 3315 | 7320 819 31 | 0.001 % | 15.79/15.80 c | 1326 | 349 280 3315 | 8052 1326 32 | 0.001 % | 15.79/15.83 c | 2088 | 349 280 3315 | 8857 2088 33 | 0.001 % | 15.79/15.88 c | 3228 | 349 280 3315 | 9743 3228 32 | 0.001 % | 15.89/15.96 c | 4938 | 349 280 3315 | 10717 4938 34 | 0.001 % | 16.09/16.11 c | 7502 | 349 280 3315 | 11789 7502 34 | 0.001 % | 16.29/16.36 c | 11346 | 349 280 3315 | 12968 11346 35 | 0.001 % | 16.79/16.83 c | 17113 | 349 280 3315 | 14265 10578 38 | 0.001 % | 17.29/17.39 c | 25762 | 349 280 3315 | 15692 12034 42 | 0.001 % | 18.39/18.40 c | 38737 | 349 280 3315 | 17261 9211 45 | 0.001 % | 19.99/20.03 c | 58202 | 349 280 3315 | 18987 11307 46 | 0.001 % | 21.39/21.41 c =============================================================================== 21.69/21.75 c core #4 21.69/21.75 c ============================[ Search Statistics ]============================== 21.69/21.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.69/21.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.69/21.75 c =============================================================================== 21.69/21.75 c | 0 | 411 338 4001 | 5000 0 nan | 0.000 % | 21.69/21.75 c | 100 | 411 338 4001 | 5500 100 41 | 0.001 % | 21.69/21.76 c | 256 | 411 338 4001 | 6050 256 36 | 0.001 % | 21.69/21.77 c | 482 | 411 338 4001 | 6655 482 34 | 0.001 % | 21.69/21.78 c | 819 | 411 338 4001 | 7320 819 31 | 0.001 % | 21.69/21.79 c | 1325 | 411 338 4001 | 8052 1325 31 | 0.001 % | 21.79/21.82 c | 2085 | 411 338 4001 | 8857 2085 32 | 0.001 % | 21.79/21.88 c | 3225 | 411 338 4001 | 9743 3225 35 | 0.001 % | 21.90/21.97 c | 4934 | 411 338 4001 | 10717 4934 35 | 0.001 % | 22.09/22.13 c | 7496 | 411 338 4001 | 11789 7496 36 | 0.001 % | 22.29/22.39 c | 11341 | 411 338 4001 | 12968 11341 38 | 0.001 % | 22.69/22.79 c | 17109 | 411 338 4001 | 14265 10578 42 | 0.001 % | 23.49/23.51 c | 25759 | 411 338 4001 | 15692 12047 44 | 0.001 % | 24.49/24.54 c | 38735 | 411 338 4001 | 17261 9204 44 | 0.001 % | 26.09/26.17 c | 58199 | 411 338 4001 | 18987 11269 45 | 0.001 % | 28.50/28.53 c | 87396 | 372 338 4001 | 20886 2053 41 | 9.490 % | 28.69/28.73 c =============================================================================== 29.09/29.14 c core #5 29.09/29.14 c ============================[ Search Statistics ]============================== 29.09/29.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.09/29.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.09/29.14 c =============================================================================== 29.09/29.14 c | 0 | 477 396 4695 | 5000 0 nan | 0.000 % | 29.09/29.15 c | 100 | 477 396 4695 | 5500 100 32 | 0.000 % | 29.09/29.16 c | 250 | 477 396 4695 | 6050 250 31 | 0.000 % | 29.09/29.16 c | 478 | 477 396 4695 | 6655 478 31 | 0.000 % | 29.09/29.18 c | 816 | 477 396 4695 | 7320 816 31 | 0.000 % | 29.09/29.19 c | 1323 | 477 396 4695 | 8052 1323 32 | 0.000 % | 29.19/29.22 c | 2084 | 477 396 4695 | 8857 2084 33 | 0.000 % | 29.19/29.27 c | 3224 | 477 396 4695 | 9743 3224 34 | 0.000 % | 29.29/29.36 c | 4932 | 477 396 4695 | 10717 4932 34 | 0.000 % | 29.39/29.49 c | 7495 | 477 396 4695 | 11789 7495 35 | 0.000 % | 29.69/29.75 c | 11339 | 477 396 4695 | 12968 11339 35 | 0.000 % | 30.09/30.12 c | 17106 | 477 396 4695 | 14265 10563 37 | 0.000 % | 30.80/30.81 c | 25755 | 477 396 4695 | 15692 12025 42 | 0.000 % | 31.69/31.78 c | 38729 | 477 396 4695 | 17261 9195 45 | 0.000 % | 33.30/33.37 c | 58190 | 477 396 4695 | 18987 11278 46 | 0.000 % | 35.29/35.35 c =============================================================================== 35.29/35.35 c #cores: 5 35.29/35.35 c Final Weight: 5 35.29/35.35 o 5 35.29/35.35 s OPTIMUM FOUND 35.29/35.35 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 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 35.29/35.35 c Total CPU time: 34.8877 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689912-1277898385/watcher-2689912-1277898385 -o /tmp/evaluation-result-2689912-1277898385/solver-2689912-1277898385 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689912-1277898385.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 1.99 1.99 4/178 11724 /proc/meminfo: memFree=31300076/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=2576 CPUtime=0 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 131135268 2637824 205 4089446400 134512640 135751879 4293363088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 644 205 143 303 0 339 0 [startup+0.0659311 s] /proc/loadavg: 2.00 1.99 1.99 4/178 11724 /proc/meminfo: memFree=31300076/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=3104 CPUtime=0.05 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 430 0 0 0 5 0 0 0 25 0 1 0 131135268 3178496 346 4089446400 134512640 135751879 4293363088 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 776 346 143 303 0 471 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3104 [startup+0.100923 s] /proc/loadavg: 2.00 1.99 1.99 4/178 11724 /proc/meminfo: memFree=31300076/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=3368 CPUtime=0.09 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 492 0 0 0 9 0 0 0 25 0 1 0 131135268 3448832 408 4089446400 134512640 135751879 4293363088 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 842 408 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.30089 s] /proc/loadavg: 2.00 1.99 1.99 4/178 11724 /proc/meminfo: memFree=31300076/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=4688 CPUtime=0.29 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 813 0 0 0 28 1 0 0 25 0 1 0 131135268 4800512 729 4089446400 134512640 135751879 4293363088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 1172 729 143 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700818 s] /proc/loadavg: 2.00 1.99 1.99 4/178 11724 /proc/meminfo: memFree=31300076/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=6536 CPUtime=0.69 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 1292 0 0 0 68 1 0 0 25 0 1 0 131135268 6692864 1208 4089446400 134512640 135751879 4293363088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 1634 1208 143 303 0 1329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6536 [startup+1.50067 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31293744/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=10628 CPUtime=1.49 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 2305 0 0 0 146 3 0 0 25 0 1 0 131135268 10883072 2221 4089446400 134512640 135751879 4293363088 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 2657 2221 143 303 0 2352 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10628 [startup+3.10039 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31288784/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=16308 CPUtime=3.09 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 3720 0 0 0 304 5 0 0 25 0 1 0 131135268 16699392 3636 4089446400 134512640 135751879 4293363088 18446744073709551615 134616887 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 4077 3636 143 303 0 3772 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16308 [startup+6.30082 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31276340/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=25768 CPUtime=6.29 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 6078 0 0 0 620 9 0 0 19 0 1 0 131135268 26386432 5994 4089446400 134512640 135751879 4293363088 18446744073709551615 134616442 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 6442 5994 146 303 0 6137 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25768 [startup+12.7007 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31261700/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=40520 CPUtime=12.69 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 9780 0 0 0 1251 18 0 0 25 0 1 0 131135268 41492480 9696 4089446400 134512640 135751879 4293363088 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 10130 9696 146 303 0 9825 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40520 [startup+25.5004 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31231732/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=71416 CPUtime=25.49 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 17500 0 0 0 2515 34 0 0 25 0 1 0 131135268 73129984 17416 4089446400 134512640 135751879 4293363088 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 17854 17416 146 303 0 17549 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71416 Solver just ended. Dumping a history of the last processes samples [startup+31.9062 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31214360/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=88332 CPUtime=31.9 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 21746 0 0 0 3148 42 0 0 25 0 1 0 131135268 90451968 21662 4089446400 134512640 135751879 4293363088 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 22083 21662 146 303 0 21778 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 88332 [startup+33.501 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31211632/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=92444 CPUtime=33.49 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 22759 0 0 0 3305 44 0 0 25 0 1 0 131135268 94662656 22675 4089446400 134512640 135751879 4293363088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 23111 22675 146 303 0 22806 0 Current children cumulated CPU time (s) 33.49 Current children cumulated vsize (KiB) 92444 [startup+34.3008 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31208284/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=95128 CPUtime=34.29 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 23412 0 0 0 3384 45 0 0 25 0 1 0 131135268 97411072 23328 4089446400 134512640 135751879 4293363088 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 23782 23328 146 303 0 23477 0 Current children cumulated CPU time (s) 34.29 Current children cumulated vsize (KiB) 95128 [startup+35.1007 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31204316/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=97904 CPUtime=35.1 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 24134 0 0 0 3464 46 0 0 25 0 1 0 131135268 100253696 24050 4089446400 134512640 135751879 4293363088 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 24476 24050 146 303 0 24171 0 Current children cumulated CPU time (s) 35.1 Current children cumulated vsize (KiB) 97904 [startup+35.3006 s] /proc/loadavg: 2.00 1.99 1.99 3/179 11725 /proc/meminfo: memFree=31204316/32950904 swapFree=67111528/67111528 [pid=11724] ppid=11722 vsize=98696 CPUtime=35.29 /proc/11724/stat : 11724 (wbo1.4a) R 11722 11724 11542 0 -1 4202496 24304 0 0 0 3483 46 0 0 25 0 1 0 131135268 101064704 24220 4089446400 134512640 135751879 4293363088 18446744073709551615 134616510 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/11724/statm: 24674 24220 146 303 0 24369 0 Current children cumulated CPU time (s) 35.29 Current children cumulated vsize (KiB) 98696 Child status: 0 Real time (s): 35.3582 CPU time (s): 35.3586 CPU user time (s): 34.8877 CPU system time (s): 0.470928 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 98696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 34.8877 system time used= 0.470928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24376 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= 439 runsolver used 0.066989 second user time and 0.12698 second system time The end
Begin job on node121 at 2010-06-30 13:46:25 IDJOB=2689912 IDBENCH=78834 IDSOLVER=1200 FILE ID=node121/2689912-1277898385 PBS_JOBID= 11197191 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624--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-2689912-1277898385/watcher-2689912-1277898385 -o /tmp/evaluation-result-2689912-1277898385/solver-2689912-1277898385 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689912-1277898385.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= be3c73315139989f61de040eef6a61aa RANDOM SEED=1186527395 node121.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.876 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.75 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.876 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 : 5226.23 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.876 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.75 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.876 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.876 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.876 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.82 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.876 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.876 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31300596 kB Buffers: 181604 kB Cached: 1100296 kB SwapCached: 0 kB Active: 725900 kB Inactive: 780844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31300596 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 224728 kB Mapped: 15904 kB Slab: 80280 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 375844 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= 74204 MiB End job on node121 at 2010-06-30 13:47:01