Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pwbo 2.02 | OPTIMUM | 30.2004 | 15.1126 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo |
MD5SUM | 415715e3de5713a6aca23e12a1a413cb |
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 | 206 |
Best CPU time to get the best result obtained on this benchmark | 0.100984 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.02 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing wbo file format. File HOME/instance-3728762-1338675053.wbo. 0.00/0.00 c Instance file HOME/instance-3728762-1338675053.wbo 0.00/0.00 c File size is 44983 bytes. 0.00/0.00 c Highest Coefficient sum: 21 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 1050 | 0.00/0.00 c | Number Clauses: 1050 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c | | 0.00/0.01 c | Problem Type: Optimization | 0.00/0.01 c | Objective Function: PB Constraint | 0.00/0.01 c | | 0.00/0.01 c =============================================================================== 30.16/15.10 o 16449 30.16/15.10 o 16415 30.16/15.10 o 16333 30.16/15.10 o 14076 30.16/15.10 o 13947 30.16/15.10 o 13118 30.16/15.10 o 13099 30.16/15.10 o 12951 30.16/15.10 o 11927 30.16/15.10 o 11028 30.16/15.10 o 10634 30.16/15.10 o 9975 30.16/15.10 o 9894 30.16/15.10 o 9529 30.16/15.10 o 9306 30.16/15.10 o 8345 30.16/15.10 o 7951 30.16/15.10 o 7818 30.16/15.10 o 7801 30.16/15.10 o 7777 30.16/15.10 o 7747 30.16/15.10 o 7611 30.16/15.10 o 7581 30.16/15.10 o 7536 30.16/15.10 o 7465 30.16/15.10 o 7332 30.16/15.10 o 7049 30.16/15.10 o 6916 30.16/15.10 o 6888 30.16/15.10 o 6863 30.16/15.10 o 6850 30.16/15.10 o 6772 30.16/15.10 o 6669 30.16/15.10 o 6592 30.16/15.10 o 6550 30.16/15.10 o 6468 30.16/15.10 o 6400 30.16/15.10 o 6321 30.16/15.10 o 6211 30.16/15.10 o 6150 30.16/15.10 o 5952 30.16/15.10 o 5932 30.16/15.10 o 5854 30.16/15.10 o 5693 30.16/15.10 o 5656 30.16/15.10 o 5595 30.16/15.10 o 5564 30.16/15.10 o 5492 30.16/15.10 o 5344 30.16/15.10 o 5291 30.16/15.10 o 5246 30.16/15.10 o 5210 30.16/15.10 o 5096 30.16/15.10 o 5045 30.16/15.10 o 5023 30.16/15.10 o 4968 30.16/15.10 o 4957 30.16/15.10 o 4915 30.16/15.10 o 4888 30.16/15.10 o 4869 30.16/15.10 o 4808 30.16/15.10 o 4694 30.16/15.10 o 4642 30.16/15.10 o 4638 30.16/15.10 o 4631 30.16/15.10 o 4575 30.16/15.10 o 4386 30.16/15.10 o 4344 30.16/15.10 o 4254 30.16/15.10 o 4209 30.16/15.10 o 4191 30.16/15.10 o 4133 30.16/15.10 o 4063 30.16/15.10 o 4005 30.16/15.10 o 3987 30.16/15.10 o 3964 30.16/15.10 o 3956 30.16/15.10 o 3932 30.16/15.10 o 3912 30.16/15.10 o 3904 30.16/15.10 o 3889 30.16/15.10 o 3884 30.16/15.10 o 3728 30.16/15.10 o 3670 30.16/15.10 o 3660 30.16/15.10 o 3548 30.16/15.10 o 3537 30.16/15.10 o 3523 30.16/15.10 o 3493 30.16/15.10 o 3489 30.16/15.10 o 3402 30.16/15.10 o 3311 30.16/15.10 o 3218 30.16/15.10 o 3129 30.16/15.10 o 3125 30.16/15.10 o 3045 30.16/15.10 o 3027 30.16/15.10 o 2939 30.16/15.10 o 2907 30.16/15.10 o 2906 30.16/15.10 o 2752 30.16/15.10 o 2748 30.16/15.10 o 2722 30.16/15.10 o 2610 30.16/15.10 o 2588 30.16/15.10 o 2576 30.16/15.10 o 2487 30.16/15.10 o 2395 30.16/15.10 o 2394 30.16/15.10 o 2381 30.16/15.10 o 2296 30.16/15.10 o 2285 30.16/15.10 o 2284 30.16/15.10 o 2245 30.16/15.10 o 2153 30.16/15.10 o 2147 30.16/15.10 o 2108 30.16/15.10 o 2092 30.16/15.10 o 2080 30.16/15.10 o 2041 30.16/15.10 o 2025 30.16/15.10 o 2019 30.16/15.10 o 1952 30.16/15.10 o 1932 30.16/15.10 o 1733 30.16/15.10 o 1622 30.16/15.10 o 1610 30.16/15.10 o 1569 30.16/15.10 o 1546 30.16/15.10 o 1527 30.16/15.10 o 1517 30.16/15.10 o 1454 30.16/15.10 o 1414 30.16/15.10 o 1328 30.16/15.10 o 1302 30.16/15.10 o 1134 30.16/15.10 o 1113 30.16/15.10 o 973 30.16/15.10 o 951 30.16/15.10 o 943 30.16/15.10 o 900 30.16/15.10 o 892 30.16/15.10 o 587 30.16/15.10 o 552 30.16/15.10 o 549 30.16/15.10 o 399 30.16/15.11 o 352 30.16/15.11 o 345 30.16/15.11 o 336 30.16/15.11 o 309 30.16/15.11 o 293 30.16/15.11 o 285 30.16/15.11 o 273 30.16/15.11 o 258 30.16/15.11 o 222 30.16/15.11 o 206 30.16/15.11 c =============================================================================== 30.16/15.11 c Wall Clock Time: 15.11 s 30.16/15.11 c Best Solution: 206 30.16/15.11 s OPTIMUM FOUND 30.16/15.11 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 x170 x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 x187 -x188 x189 -x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200
OK 206
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3728762-1338675053/watcher-3728762-1338675053 -o /tmp/evaluation-result-3728762-1338675053/solver-3728762-1338675053 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728762-1338675053.wbo running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.43 2.43 2.15 4/179 20222 /proc/meminfo: memFree=27243212/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=3968 CPUtime=0 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) R 20220 20222 17860 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 333630169 4063232 265 33554432000 4194304 5964478 140736093672512 140736512512664 4344768 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 992 265 160 433 0 545 0 [startup+0.0978289 s] /proc/loadavg: 3.43 2.43 2.15 4/179 20222 /proc/meminfo: memFree=27243212/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=0.17 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 9329 0 0 0 16 1 0 0 20 0 3 0 333630169 168554496 2701 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 2701 200 433 0 40715 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 164604 [startup+0.100203 s] /proc/loadavg: 3.43 2.43 2.15 4/179 20222 /proc/meminfo: memFree=27243212/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=0.17 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 9329 0 0 0 16 1 0 0 20 0 3 0 333630169 168554496 2652 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 2652 200 433 0 40715 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 164604 [startup+0.300159 s] /proc/loadavg: 3.43 2.43 2.15 4/179 20222 /proc/meminfo: memFree=27243212/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=0.57 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 12572 0 0 0 56 1 0 0 20 0 3 0 333630169 168554496 3713 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 3713 200 433 0 40715 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 164604 [startup+0.700163 s] /proc/loadavg: 3.43 2.43 2.15 4/179 20222 /proc/meminfo: memFree=27243212/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=1.37 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 15998 0 0 0 135 2 0 0 20 0 3 0 333630169 168554496 5256 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 5256 200 433 0 40715 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 164604 [startup+1.50025 s] /proc/loadavg: 3.48 2.45 2.16 5/182 20225 /proc/meminfo: memFree=27220620/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=2.97 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 21769 0 0 0 294 3 0 0 20 0 3 0 333630169 168554496 5616 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 5616 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=1.48 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 4508 0 0 0 146 2 0 0 20 0 3 0 333630170 168554496 5616 33554432000 4194304 5964478 140736093672512 140312571754904 4413371 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=1.47 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 16400 0 0 0 145 2 0 0 20 0 3 0 333630170 168554496 5616 33554432000 4194304 5964478 140736093672512 140312561265304 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.97 Current children cumulated vsize (KiB) 164604 [startup+3.10027 s] /proc/loadavg: 3.48 2.45 2.16 5/182 20225 /proc/meminfo: memFree=27218620/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=6.17 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 27894 0 0 0 613 4 0 0 20 0 3 0 333630169 168554496 6026 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 6026 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=3.08 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 4918 0 0 0 306 2 0 0 20 0 3 0 333630170 168554496 6026 33554432000 4194304 5964478 140736093672512 140312571754840 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=3.07 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 22115 0 0 0 304 3 0 0 20 0 3 0 333630170 168554496 6026 33554432000 4194304 5964478 140736093672512 140312561265304 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.17 Current children cumulated vsize (KiB) 164604 [startup+6.30027 s] /proc/loadavg: 3.48 2.45 2.16 5/182 20225 /proc/meminfo: memFree=27215272/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=12.56 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 38337 0 0 0 1250 6 0 0 20 0 3 0 333630169 168554496 7337 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 7337 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=6.28 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 5765 0 0 0 626 2 0 0 20 0 3 0 333630170 168554496 7337 33554432000 4194304 5964478 140736093672512 140312571754488 4409250 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=6.27 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 31711 0 0 0 622 5 0 0 20 0 3 0 333630170 168554496 7337 33554432000 4194304 5964478 140736093672512 140312561265304 4400435 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 164604 [startup+12.7003 s] /proc/loadavg: 3.56 2.50 2.18 5/181 20225 /proc/meminfo: memFree=27204144/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=25.37 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 56350 0 0 0 2527 10 0 0 20 0 3 0 333630169 168554496 9685 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 9685 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=12.67 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 7611 0 0 0 1264 3 0 0 20 0 3 0 333630170 168554496 9685 33554432000 4194304 5964478 140736093672512 140312571754296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=12.67 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 47878 0 0 0 1259 8 0 0 20 0 3 0 333630170 168554496 9685 33554432000 4194304 5964478 140736093672512 140312561265304 4403664 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 164604 Solver just ended. Dumping a history of the last processes samples [startup+14.3064 s] /proc/loadavg: 3.56 2.50 2.18 5/181 20225 /proc/meminfo: memFree=27201556/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=28.58 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 61225 0 0 0 2847 11 0 0 20 0 3 0 333630169 168554496 10380 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 10380 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=14.28 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 8306 0 0 0 1425 3 0 0 20 0 3 0 333630170 168554496 10380 33554432000 4194304 5964478 140736093672512 140312571754296 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=14.28 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 52058 0 0 0 1419 9 0 0 20 0 3 0 333630170 168554496 10380 33554432000 4194304 5964478 140736093672512 140312561265160 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 28.58 Current children cumulated vsize (KiB) 164604 [startup+14.7003 s] /proc/loadavg: 3.56 2.50 2.18 5/181 20225 /proc/meminfo: memFree=27201556/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=29.36 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 62514 0 0 0 2925 11 0 0 20 0 3 0 333630169 168554496 10527 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 10527 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=14.67 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 8453 0 0 0 1464 3 0 0 20 0 3 0 333630170 168554496 10527 33554432000 4194304 5964478 140736093672512 140312571754296 4399926 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=14.67 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 53200 0 0 0 1458 9 0 0 20 0 3 0 333630170 168554496 10527 33554432000 4194304 5964478 140736093672512 140312561265160 4403677 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 29.36 Current children cumulated vsize (KiB) 164604 [startup+15.1003 s] /proc/loadavg: 3.56 2.50 2.18 5/181 20225 /proc/meminfo: memFree=27201556/32873844 swapFree=7628/7628 [pid=20222] ppid=20220 vsize=164604 CPUtime=30.16 cores=0,2,4,6 /proc/20222/stat : 20222 (pwbo2.02) S 20220 20222 17860 0 -1 4202496 69995 0 0 0 3004 12 0 0 20 0 3 0 333630169 168554496 11438 33554432000 4194304 5964478 140736093672512 140736093672032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20222/statm: 41151 11438 200 433 0 40715 0 [pid=20222/tid=20224] ppid=20220 vsize=164604 CPUtime=15.07 cores=0,2,4,6 /proc/20222/task/20224/stat : 20224 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 8622 0 0 0 1504 3 0 0 20 0 3 0 333630170 168554496 11438 33554432000 4194304 5964478 140736093672512 140312571754296 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 [pid=20222/tid=20225] ppid=20220 vsize=164604 CPUtime=15.07 cores=0,2,4,6 /proc/20222/task/20225/stat : 20225 (pwbo2.02) R 20220 20222 17860 0 -1 4202560 60512 0 0 0 1498 9 0 0 20 0 3 0 333630170 168554496 11438 33554432000 4194304 5964478 140736093672512 140312561265096 4403717 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 30.16 Current children cumulated vsize (KiB) 164604 Child status: 255 Real time (s): 15.1126 CPU time (s): 30.2004 CPU user time (s): 30.0494 CPU system time (s): 0.150977 CPU usage (%): 199.836 Max. virtual memory (cumulated for all children) (KiB): 164604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.0494 system time used= 0.150977 maximum resident set size= 47172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70006 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= 113 involuntary context switches= 70 runsolver used 0.018997 second user time and 0.073988 second system time The end
Begin job on node144 at 2012-06-03 00:10:53 IDJOB=3728762 IDBENCH=79401 IDSOLVER=2316 FILE ID=node144/3728762-1338675053 RUNJOBID= node144-1338674967-18789 PBS_JOBID= 14636488 Free space on /tmp= 70832 MiB SOLVER NAME= pwbo 2.02 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh15_wcsp.wbo COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728762-1338675053/watcher-3728762-1338675053 -o /tmp/evaluation-result-3728762-1338675053/solver-3728762-1338675053 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728762-1338675053.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb RANDOM SEED=1096708958 node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.39 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.196 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27244320 kB Buffers: 623556 kB Cached: 3618692 kB SwapCached: 464 kB Active: 2902932 kB Inactive: 1861228 kB Active(anon): 505028 kB Inactive(anon): 11204 kB Active(file): 2397904 kB Inactive(file): 1850024 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108376 kB Dirty: 5444 kB Writeback: 0 kB AnonPages: 535724 kB Mapped: 15072 kB Shmem: 172 kB Slab: 724940 kB SReclaimable: 166472 kB SUnreclaim: 558468 kB KernelStack: 1512 kB PageTables: 5072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 162352 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 106496 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70828 MiB End job on node144 at 2012-06-03 00:11:08