Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 143 | 1800.1 | 1800.83 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 42 |
Best CPU time to get the best result obtained on this benchmark | 1802.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
Number of bits of the biggest sum of numbers | 13 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 1086 0.00/0.00 o 944 0.00/0.00 o 577 0.00/0.09 o 575 0.00/0.10 o 572 0.39/0.50 o 570 0.49/0.58 o 568 1.69/1.75 o 567 1.69/1.78 o 566 2.09/2.10 o 565 2.09/2.14 o 564 2.49/2.55 o 563 2.59/2.66 o 561 2.69/2.70 o 560 2.69/2.74 o 553 2.79/2.84 o 551 2.89/2.91 o 550 2.89/2.93 o 547 2.89/2.95 o 546 2.99/3.02 o 545 2.99/3.06 o 544 3.09/3.11 o 543 3.09/3.14 o 542 3.09/3.15 o 541 3.09/3.17 o 540 3.19/3.22 o 527 3.59/3.68 o 479 4.19/4.21 o 477 4.40/4.46 o 475 4.50/4.52 o 474 4.59/4.61 o 473 4.69/4.72 o 472 4.99/5.07 o 469 4.99/5.08 o 465 4.99/5.08 o 463 5.29/5.32 o 462 6.29/6.37 o 460 6.39/6.40 o 459 6.49/6.50 o 458 6.60/6.65 o 457 6.69/6.75 o 456 7.09/7.11 o 443 7.09/7.15 o 442 7.09/7.18 o 441 7.39/7.43 o 439 8.19/8.21 o 437 8.19/8.28 o 436 12.39/12.46 o 412 13.19/13.25 o 410 13.69/13.77 o 408 13.79/13.86 o 406 13.79/13.89 o 404 17.59/17.62 o 402 17.59/17.68 o 401 17.79/17.86 o 400 17.89/17.97 o 399 21.08/21.13 o 357 35.38/35.46 o 355 36.28/36.36 o 354 36.38/36.47 o 353 36.47/36.58 o 352 40.37/40.41 o 350 40.47/40.52 o 349 41.38/41.41 o 347 41.38/41.46 o 340 41.88/41.94 o 339 42.07/42.10 o 338 46.87/46.93 o 315 59.86/59.95 o 314 59.96/60.08 o 311 60.16/60.20 o 310 60.27/60.31 o 309 67.56/67.68 o 307 67.76/67.83 o 306 71.06/71.18 o 304 71.16/71.26 o 303 71.47/71.55 o 302 71.66/71.72 o 301 72.36/72.49 o 288 72.36/72.49 o 280 72.46/72.50 o 278 120.25/120.34 o 277 120.45/120.53 o 276 128.84/128.90 o 275 128.94/129.08 o 274 234.51/234.67 o 273 234.81/234.94 o 272 252.70/252.83 o 271 253.10/253.25 o 270 253.30/253.46 o 269 253.50/253.65 o 268 259.30/259.45 o 266 259.60/259.74 o 265 259.70/259.85 o 264 260.00/260.10 o 263 283.39/283.58 o 262 285.39/285.58 o 229 287.79/287.93 o 227 290.49/290.69 o 226 293.89/294.04 o 224 294.49/294.67 o 223 294.99/295.15 o 222 295.59/295.75 o 220 295.89/296.02 o 219 296.18/296.37 o 218 296.58/296.76 o 216 296.79/296.92 o 215 297.39/297.58 o 214 297.59/297.72 o 213 303.28/303.49 o 211 306.58/306.70 o 210 307.19/307.39 o 209 339.17/339.34 o 208 339.67/339.83 o 207 386.16/386.39 o 205 487.62/487.85 o 204 488.23/488.41 o 203 489.33/489.53 o 201 490.32/490.58 o 200 491.42/491.64 o 198 491.53/491.78 o 197 492.32/492.55 o 196 492.52/492.71 o 193 492.52/492.79 o 191 777.62/777.96 o 189 778.92/779.24 o 188 779.32/779.66 o 187 779.52/779.83 o 186 779.82/780.11 o 185 780.32/780.68 o 183 780.62/780.91 o 182 780.72/781.08 o 181 781.02/781.31 o 179 781.22/781.55 o 178 782.72/783.04 o 176 783.62/783.95 o 175 784.81/785.14 o 174 785.01/785.38 o 173 908.58/908.95 o 171 909.18/909.52 o 168 909.38/909.80 o 167 909.68/910.08 o 166 909.98/910.36 o 165 910.18/910.52 o 164 1108.10/1108.64 o 162 1108.41/1108.99 o 161 1108.80/1109.34 o 160 1109.00/1109.59 o 159 1109.30/1109.84 o 158 1109.80/1110.32 o 157 1110.30/1110.82 o 155 1110.50/1111.05 o 153 1110.70/1111.21 o 152 1110.90/1111.48 o 151 1111.20/1111.76 o 150 1111.40/1111.90 o 149 1293.74/1294.32 o 148 1325.33/1325.90 o 146 1326.03/1326.64 o 145 1327.13/1327.79 o 143 1800.06/1800.80 s SATISFIABLE 1800.06/1800.80 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.06/1800.80 v -x118 -x119 -x12 -x120 -x121 -x122 x123 -x124 x125 x126 -x127 -x128 x129 -x13 -x130 -x131 x132 x133 x134 x135 -x136 x137 -x138 1800.06/1800.80 v -x139 -x14 -x140 x141 x142 x143 x144 x145 -x146 -x147 -x148 x149 -x15 x150 x151 -x152 x153 -x154 x155 x156 -x157 x158 x159 -x16 1800.06/1800.80 v -x160 x161 x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x17 -x170 -x171 x172 x173 x174 -x175 x176 x177 -x178 -x179 -x18 -x180 1800.06/1800.80 v -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x19 -x190 x191 x192 x193 -x194 x195 -x196 x197 -x198 x2 -x20 -x21 -x22 1800.06/1800.80 v -x23 -x24 x25 x26 x27 -x28 -x29 -x3 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1800.06/1800.80 v -x48 x49 x5 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x7 -x70 -x71 -x72 1800.06/1800.80 v -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1800.06/1800.80 v x98 x99
OK 143
/tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-459149-1178649858 -o ROOT/results/node23/solver-459149-1178649858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32204 /proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=1324 CPUtime=0 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 312902960 1355776 118 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 331 118 86 219 0 108 0 [startup+0.10078 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32204 /proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=1468 CPUtime=0.09 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 214 0 0 0 9 0 0 0 18 0 1 0 312902960 1503232 196 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 367 196 102 219 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1468 [startup+0.2028 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32204 /proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=2236 CPUtime=0.19 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 313 0 0 0 19 0 0 0 19 0 1 0 312902960 2289664 295 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 559 295 102 219 0 336 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2236 [startup+0.30282 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32204 /proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=2236 CPUtime=0.29 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 393 0 0 0 29 0 0 0 19 0 1 0 312902960 2289664 375 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 559 375 102 219 0 336 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2236 [startup+0.701896 s] /proc/loadavg: 0.91 0.95 0.98 3/77 32204 /proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=3460 CPUtime=0.69 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 312902960 3543040 683 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 865 683 102 219 0 642 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3460 [startup+1.50105 s] /proc/loadavg: 0.92 0.95 0.98 2/78 32205 /proc/meminfo: memFree=1851960/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=5840 CPUtime=1.49 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 1158 0 0 0 149 0 0 0 25 0 1 0 312902960 5980160 1140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 1460 1140 102 219 0 1237 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5840 [startup+3.10136 s] /proc/loadavg: 0.92 0.95 0.98 3/78 32205 /proc/meminfo: memFree=1849528/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=10660 CPUtime=3.09 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 1914 0 0 0 307 2 0 0 25 0 1 0 312902960 10915840 1847 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 2665 1847 102 219 0 2442 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10660 [startup+6.30198 s] /proc/loadavg: 0.92 0.95 0.98 2/78 32205 /proc/meminfo: memFree=1845304/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=11588 CPUtime=6.29 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 2805 0 0 0 625 4 0 0 25 0 1 0 312902960 11866112 2641 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 2897 2641 102 219 0 2674 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11588 [startup+12.7012 s] /proc/loadavg: 0.93 0.96 0.98 2/78 32205 /proc/meminfo: memFree=1841656/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=20324 CPUtime=12.69 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 3603 0 0 0 1262 7 0 0 25 0 1 0 312902960 20811776 3439 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 5081 3439 102 219 0 4858 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20324 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.98 2/78 32205 /proc/meminfo: memFree=1838328/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=21804 CPUtime=25.48 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 4615 0 0 0 2538 10 0 0 25 0 1 0 312902960 22327296 4258 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 5451 4258 102 219 0 5228 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21804 [startup+51.1027 s] /proc/loadavg: 0.96 0.96 0.98 2/78 32205 /proc/meminfo: memFree=1833976/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=22696 CPUtime=51.07 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 5685 0 0 0 5092 15 0 0 25 0 1 0 312902960 23240704 5328 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 5674 5328 102 219 0 5451 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22696 [startup+102.302 s] /proc/loadavg: 0.98 0.96 0.98 2/78 32205 /proc/meminfo: memFree=1826296/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=42272 CPUtime=102.26 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 7991 0 0 0 10201 25 0 0 25 0 1 0 312902960 43286528 7249 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 10568 7249 102 219 0 10345 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42272 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1823032/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=43524 CPUtime=162.23 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 8832 0 0 0 16191 32 0 0 25 0 1 0 312902960 44568576 8090 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 10881 8090 102 219 0 10658 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 43524 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1814968/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=48640 CPUtime=222.22 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 11571 0 0 0 22183 39 0 0 25 0 1 0 312902960 49807360 10060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 12160 10060 102 219 0 11937 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 48640 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1808632/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=82404 CPUtime=282.19 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 13150 0 0 0 28172 47 0 0 25 0 1 0 312902960 84381696 11639 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 20601 11639 102 219 0 20378 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 82404 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1802872/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=83324 CPUtime=342.18 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 14572 0 0 0 34166 52 0 0 25 0 1 0 312902960 85323776 13061 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 20831 13061 102 219 0 20608 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 83324 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1801528/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=84436 CPUtime=402.15 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 14911 0 0 0 40159 56 0 0 25 0 1 0 312902960 86462464 13400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 21109 13400 102 219 0 20886 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 84436 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1800760/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=84884 CPUtime=462.13 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 15089 0 0 0 46152 61 0 0 25 0 1 0 312902960 86921216 13578 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 21221 13578 102 219 0 20998 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 84884 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1797944/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=85268 CPUtime=522.1 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 15802 0 0 0 52144 66 0 0 25 0 1 0 312902960 87314432 14291 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 21317 14291 102 219 0 21094 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 85268 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1795256/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=85824 CPUtime=582.08 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 16464 0 0 0 58138 70 0 0 25 0 1 0 312902960 87883776 14953 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 21456 14953 102 219 0 21233 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 85824 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1791288/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=87008 CPUtime=642.06 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 17474 0 0 0 64131 75 0 0 25 0 1 0 312902960 89096192 15930 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 21752 15930 102 219 0 21529 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 87008 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1777336/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=98256 CPUtime=881.99 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22464 0 0 0 88108 91 0 0 25 0 1 0 312902960 100614144 19350 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 24564 19350 102 219 0 24341 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 98256 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1776504/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=99060 CPUtime=941.96 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22681 0 0 0 94101 95 0 0 25 0 1 0 312902960 101437440 19567 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 24765 19567 102 219 0 24542 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 99060 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32205 /proc/meminfo: memFree=1775736/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=99324 CPUtime=1001.95 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22864 0 0 0 100097 98 0 0 25 0 1 0 312902960 101707776 19750 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 24831 19750 102 219 0 24608 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 99324 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1774960/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=99620 CPUtime=1061.81 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22947 0 0 0 106080 101 0 0 25 0 1 0 312902960 102010880 19833 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 24905 19833 102 219 0 24682 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 99620 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1774264/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=100012 CPUtime=1121.8 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23137 0 0 0 112074 106 0 0 25 0 1 0 312902960 102412288 20023 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25003 20023 102 219 0 24780 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 100012 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1773560/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=100324 CPUtime=1181.77 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23301 0 0 0 118068 109 0 0 25 0 1 0 312902960 102731776 20187 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25081 20187 102 219 0 24858 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 100324 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1773176/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=100656 CPUtime=1241.75 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23394 0 0 0 124063 112 0 0 25 0 1 0 312902960 103071744 20280 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25164 20280 102 219 0 24941 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 100656 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1772408/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=101312 CPUtime=1301.73 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23587 0 0 0 130057 116 0 0 25 0 1 0 312902960 103743488 20473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25328 20473 102 219 0 25105 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 101312 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1771128/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=102584 CPUtime=1361.71 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23927 0 0 0 136051 120 0 0 25 0 1 0 312902960 105046016 20780 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25646 20780 102 219 0 25423 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 102584 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1770744/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=102584 CPUtime=1421.69 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24009 0 0 0 142046 123 0 0 25 0 1 0 312902960 105046016 20862 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25646 20862 102 219 0 25423 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 102584 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1770424/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=102716 CPUtime=1481.67 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24101 0 0 0 148040 127 0 0 25 0 1 0 312902960 105181184 20954 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25679 20954 102 219 0 25456 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 102716 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1769976/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=103224 CPUtime=1541.65 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24195 0 0 0 154036 129 0 0 25 0 1 0 312902960 105701376 21048 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25806 21048 102 219 0 25583 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 103224 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1769208/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=103876 CPUtime=1601.63 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24392 0 0 0 160031 132 0 0 25 0 1 0 312902960 106369024 21212 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 25969 21212 102 219 0 25746 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 103876 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1766904/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=104784 CPUtime=1661.6 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25110 0 0 0 166024 136 0 0 25 0 1 0 312902960 107298816 21831 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 26196 21831 102 219 0 25973 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 104784 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1765560/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=105968 CPUtime=1721.59 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25473 0 0 0 172020 139 0 0 25 0 1 0 312902960 108511232 22128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 26492 22128 102 219 0 26269 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 105968 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1764472/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=107296 CPUtime=1781.57 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25868 0 0 0 178015 142 0 0 25 0 1 0 312902960 109871104 22391 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 26824 22391 102 219 0 26601 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 107296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1764408/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=107296 CPUtime=1800.06 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25907 0 0 0 179863 143 0 0 25 0 1 0 312902960 109871104 22430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 26824 22430 102 219 0 26601 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 107296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.98 2/78 32403 /proc/meminfo: memFree=1764408/2055920 swapFree=4169188/4192956 [pid=32204] ppid=32202 vsize=107296 CPUtime=1800.06 /proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25907 0 0 0 179863 143 0 0 25 0 1 0 312902960 109871104 22430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32204/statm: 26824 22430 102 219 0 26601 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 107296 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.1 CPU user time (s): 1798.64 CPU system time (s): 1.45478 CPU usage (%): 99.9594 Max. virtual memory (cumulated for all children) (KiB): 107296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.64 system time used= 1.45478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25910 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= 8 involuntary context switches= 1742 runsolver used 1.46678 second user time and 4.25735 second system time The end
Begin job on node23 on Tue May 8 18:44:18 UTC 2007 IDJOB= 459149 IDBENCH= 2920 IDSOLVER= 200 FILE ID= node23/459149-1178649858 PBS_JOBID= 5218339 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-459149-1178649858 -o ROOT/results/node23/conversion-459149-1178649858 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-459149-1178649858 -o ROOT/results/node23/solver-459149-1178649858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED= 586311853 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.276 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.276 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1855768 kB Buffers: 23784 kB Cached: 70164 kB SwapCached: 2612 kB Active: 56952 kB Inactive: 60296 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855768 kB SwapTotal: 4192956 kB SwapFree: 4169188 kB Dirty: 2284 kB Writeback: 0 kB Mapped: 30912 kB Slab: 68384 kB Committed_AS: 5172840 kB PageTables: 1796 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node23 on Tue May 8 19:14:21 UTC 2007