Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 156 | 1800.04 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1802.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
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 | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
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/459124-1178649439/instance-459124-1178649439.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 948 0.00/0.00 o 830 0.00/0.00 o 700 0.00/0.01 o 698 0.09/0.16 o 696 0.09/0.19 o 695 0.19/0.22 o 694 0.19/0.23 o 693 0.19/0.25 o 692 0.19/0.26 o 691 0.19/0.29 o 690 0.29/0.30 o 689 0.29/0.32 o 688 0.29/0.38 o 687 0.29/0.38 o 686 0.29/0.40 o 684 0.39/0.43 o 683 0.39/0.44 o 682 0.39/0.46 o 681 0.49/0.53 o 680 0.49/0.58 o 679 0.59/0.63 o 678 0.59/0.65 o 677 0.69/0.74 o 676 0.69/0.78 o 675 0.79/0.88 o 674 0.89/0.99 o 672 0.99/1.05 o 670 1.09/1.14 o 669 1.09/1.17 o 668 1.09/1.19 o 667 1.19/1.21 o 666 1.19/1.22 o 665 1.19/1.24 o 663 1.29/1.30 o 662 1.29/1.32 o 661 1.29/1.34 o 660 1.29/1.35 o 659 1.29/1.37 o 657 1.29/1.38 o 656 1.39/1.40 o 653 1.39/1.49 o 651 1.49/1.54 o 650 1.58/1.62 o 646 1.58/1.62 o 642 1.58/1.63 o 630 1.58/1.65 o 617 1.69/1.71 o 616 1.69/1.75 o 615 1.79/1.81 o 614 1.79/1.85 o 613 1.79/1.87 o 612 1.89/1.90 o 611 1.89/1.94 o 610 1.89/1.96 o 609 1.89/1.99 o 608 1.99/2.09 o 597 2.69/2.76 o 595 2.79/2.84 o 594 4.19/4.23 o 593 4.19/4.27 o 592 4.19/4.29 o 591 4.29/4.39 o 590 4.39/4.42 o 589 4.39/4.43 o 545 4.39/4.43 o 543 4.49/4.51 o 541 4.49/4.55 o 540 4.49/4.58 o 539 4.59/4.60 o 538 4.59/4.64 o 537 4.68/4.74 o 523 4.99/5.09 o 520 5.09/5.15 o 515 5.19/5.23 o 514 5.29/5.38 o 406 9.29/9.31 o 405 9.29/9.39 o 404 9.49/9.53 o 402 12.98/13.01 o 396 13.29/13.39 o 394 13.59/13.63 o 393 13.68/13.71 o 392 13.68/13.75 o 391 13.78/13.85 o 390 13.88/13.91 o 388 13.98/14.01 o 386 38.78/38.84 o 384 38.87/38.92 o 383 39.18/39.29 o 374 39.38/39.42 o 373 39.49/39.57 o 372 39.59/39.65 o 371 39.68/39.74 o 370 39.78/39.85 o 369 40.08/40.10 o 367 40.18/40.29 o 365 40.28/40.39 o 364 40.38/40.48 o 363 40.68/40.72 o 362 40.98/41.00 o 360 41.48/41.53 o 359 50.48/50.54 o 357 50.58/50.66 o 356 51.98/52.07 o 350 52.18/52.27 o 349 52.38/52.48 o 348 53.77/53.81 o 347 53.87/53.92 o 346 54.28/54.36 o 337 54.38/54.46 o 335 60.77/60.80 o 326 60.87/60.95 o 325 60.97/61.02 o 324 61.07/61.11 o 322 61.27/61.31 o 321 61.27/61.33 o 320 61.27/61.34 o 318 61.27/61.35 o 316 63.78/63.82 o 315 64.07/64.10 o 314 64.27/64.30 o 313 64.37/64.41 o 312 74.06/74.14 o 310 74.16/74.27 o 307 103.76/103.84 o 306 103.86/103.98 o 305 104.06/104.14 o 304 104.36/104.43 o 303 104.46/104.53 o 302 104.56/104.63 o 301 104.96/105.08 o 299 105.06/105.15 o 298 105.86/105.99 o 297 106.05/106.16 o 296 160.84/160.97 o 257 161.44/161.54 o 253 161.94/162.07 o 252 162.14/162.21 o 251 351.68/351.89 o 250 352.07/352.27 o 249 355.18/355.31 o 231 687.17/687.47 o 230 687.47/687.79 o 229 1071.05/1071.47 o 227 1071.75/1072.12 o 226 1072.25/1072.61 o 225 1073.84/1074.25 o 223 1074.64/1075.00 o 222 1074.94/1075.31 o 221 1075.64/1076.04 o 219 1075.84/1076.22 o 218 1076.04/1076.42 o 217 1076.64/1077.09 o 216 1076.94/1077.39 o 215 1077.94/1078.36 o 213 1078.14/1078.58 o 212 1078.34/1078.75 o 211 1078.54/1079.00 o 210 1078.75/1079.18 o 209 1079.85/1080.28 o 207 1081.74/1082.19 o 206 1082.74/1083.19 o 205 1084.24/1084.60 o 203 1084.54/1084.93 o 202 1084.74/1085.14 o 200 1085.14/1085.50 o 199 1085.54/1085.92 o 198 1085.84/1086.23 o 197 1086.34/1086.71 o 196 1086.74/1087.15 o 195 1087.14/1087.57 o 194 1087.74/1088.17 o 193 1087.94/1088.39 o 192 1088.14/1088.54 o 191 1088.55/1088.91 o 189 1089.24/1089.63 o 188 1089.54/1089.99 o 187 1089.94/1090.31 o 186 1090.34/1090.71 o 185 1092.24/1092.64 o 183 1092.44/1092.86 o 182 1092.74/1093.18 o 181 1093.94/1094.36 o 179 1094.14/1094.58 o 178 1100.24/1100.62 o 177 1100.54/1100.90 o 176 1137.83/1138.26 o 174 1138.23/1138.62 o 173 1245.99/1246.48 o 172 1247.89/1248.31 o 171 1252.09/1252.56 o 169 1252.39/1252.87 o 168 1252.89/1253.37 o 167 1255.29/1255.76 o 165 1255.59/1256.08 o 164 1255.99/1256.44 o 162 1256.49/1256.96 o 161 1256.79/1257.26 o 160 1257.89/1258.34 o 159 1681.74/1682.47 o 157 1682.45/1683.14 o 156 1800.01/1800.71 s SATISFIABLE 1800.01/1800.71 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x11 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.01/1800.71 v -x119 -x12 -x120 x121 -x122 x123 x124 -x125 -x126 -x127 -x128 x129 -x13 -x130 -x131 x132 -x133 x134 x135 x136 x137 -x138 x139 1800.01/1800.71 v x14 x140 -x141 -x142 -x143 x144 -x145 x146 x147 -x148 x149 -x15 x150 x151 -x152 -x153 x154 -x155 x156 x157 -x158 x159 -x16 x160 1800.01/1800.71 v -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 x17 x170 x171 x172 -x173 -x174 x175 x176 -x177 -x178 x179 -x18 x180 -x181 1800.01/1800.71 v x182 x183 -x184 x185 x186 -x187 x188 x189 -x19 -x190 -x191 x192 -x193 x194 -x195 -x196 x197 -x198 -x2 -x20 x21 -x22 -x23 -x24 1800.01/1800.71 v -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 -x48 -x49 1800.01/1800.71 v -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 -x73 1800.01/1800.71 v -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 -x98 1800.01/1800.71 v -x99
OK 156
/tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-459124-1178649439 -o ROOT/results/node39/solver-459124-1178649439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.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.97 0.99 3/77 8870 /proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=1324 CPUtime=0 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 312855953 1355776 118 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 331 118 86 219 0 108 0 [startup+0.0268731 s] /proc/loadavg: 0.91 0.97 0.99 3/77 8870 /proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=1468 CPUtime=0.02 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 179 0 0 0 2 0 0 0 18 0 1 0 312855953 1503232 161 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 367 161 102 219 0 144 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1468 [startup+0.101886 s] /proc/loadavg: 0.91 0.97 0.99 3/77 8870 /proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=1724 CPUtime=0.09 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 248 0 0 0 9 0 0 0 18 0 1 0 312855953 1765376 230 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 431 230 102 219 0 208 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1724 [startup+0.301918 s] /proc/loadavg: 0.91 0.97 0.99 3/77 8870 /proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=2368 CPUtime=0.29 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 431 0 0 0 29 0 0 0 19 0 1 0 312855953 2424832 413 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 592 413 102 219 0 369 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2368 [startup+0.701986 s] /proc/loadavg: 0.91 0.97 0.99 3/77 8870 /proc/meminfo: memFree=1454472/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=5572 CPUtime=0.69 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 799 0 0 0 68 1 0 0 22 0 1 0 312855953 5705728 781 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 1393 781 102 219 0 1170 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5572 [startup+1.50112 s] /proc/loadavg: 0.91 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1450816/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=6032 CPUtime=1.49 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 1355 0 0 0 147 2 0 0 25 0 1 0 312855953 6176768 1337 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 1508 1337 102 219 0 1285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6032 [startup+3.10139 s] /proc/loadavg: 0.91 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1448000/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=10584 CPUtime=3.09 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2000 0 0 0 306 3 0 0 25 0 1 0 312855953 10838016 1933 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 2646 1933 102 219 0 2423 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10584 [startup+6.30194 s] /proc/loadavg: 0.92 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1445008/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=11372 CPUtime=6.29 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2555 0 0 0 624 5 0 0 25 0 1 0 312855953 11644928 2391 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 2843 2391 102 219 0 2620 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11372 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1444368/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=11928 CPUtime=12.68 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 2775 0 0 0 1262 6 0 0 25 0 1 0 312855953 12214272 2611 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 2982 2611 102 219 0 2759 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11928 [startup+25.5012 s] /proc/loadavg: 0.94 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1439376/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=21600 CPUtime=25.49 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 4180 0 0 0 2538 11 0 0 25 0 1 0 312855953 22118400 3823 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 5400 3823 102 219 0 5177 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21600 [startup+51.1016 s] /proc/loadavg: 0.96 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1433040/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=39168 CPUtime=51.08 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 5808 0 0 0 5092 16 0 0 25 0 1 0 312855953 40108032 5451 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 9792 5451 102 219 0 9569 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39168 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1422480/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=42592 CPUtime=102.27 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 8755 0 0 0 10201 26 0 0 25 0 1 0 312855953 43614208 8013 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 10648 8013 102 219 0 10425 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42592 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1415312/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=44680 CPUtime=162.24 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 10540 0 0 0 16191 33 0 0 25 0 1 0 312855953 45752320 9798 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 11170 9798 102 219 0 10947 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 44680 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1407696/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=78784 CPUtime=222.22 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 12440 0 0 0 22183 39 0 0 25 0 1 0 312855953 80674816 11698 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 19696 11698 102 219 0 19473 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 78784 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8871 /proc/meminfo: memFree=1402192/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=82240 CPUtime=282.2 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 14590 0 0 0 28174 46 0 0 25 0 1 0 312855953 84213760 13079 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 20560 13079 102 219 0 20337 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 82240 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1397648/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=82948 CPUtime=342.18 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 15688 0 0 0 34166 52 0 0 25 0 1 0 312855953 84938752 14177 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547216 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 20737 14177 102 219 0 20514 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 82948 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1394832/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=84716 CPUtime=402.16 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16385 0 0 0 40159 57 0 0 25 0 1 0 312855953 86749184 14874 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 21179 14874 102 219 0 20956 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 84716 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1394000/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=85264 CPUtime=462.14 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16590 0 0 0 46153 61 0 0 25 0 1 0 312855953 87310336 15079 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 21316 15079 102 219 0 21093 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 85264 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1392656/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=86584 CPUtime=522.12 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 16926 0 0 0 52148 64 0 0 25 0 1 0 312855953 88662016 15415 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 21646 15415 102 219 0 21423 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 86584 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1390160/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=87900 CPUtime=582.1 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 17592 0 0 0 58142 68 0 0 25 0 1 0 312855953 90009600 16048 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 21975 16048 102 219 0 21752 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 87900 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1387152/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=88568 CPUtime=642.09 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 18343 0 0 0 64137 72 0 0 25 0 1 0 312855953 90693632 16799 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 22142 16799 102 219 0 21919 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 88568 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1372368/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=91868 CPUtime=882.01 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 22091 0 0 0 88113 88 0 0 25 0 1 0 312855953 94072832 20481 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 22967 20481 102 219 0 22744 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 91868 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1369744/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=92812 CPUtime=941.99 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 22785 0 0 0 94108 91 0 0 25 0 1 0 312855953 95039488 21142 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 23203 21142 102 219 0 22980 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 92812 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1367952/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=99916 CPUtime=1001.96 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 24755 0 0 0 100103 93 0 0 25 0 1 0 312855953 102313984 21575 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 24979 21575 102 219 0 24756 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 99916 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1366544/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=100224 CPUtime=1061.95 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 25109 0 0 0 106099 96 0 0 25 0 1 0 312855953 102629376 21929 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 25056 21929 102 219 0 24833 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 100224 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1361616/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=165888 CPUtime=1121.93 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26383 0 0 0 112092 101 0 0 25 0 1 0 312855953 169869312 23170 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41472 23170 102 219 0 41249 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 165888 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1361104/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=165888 CPUtime=1181.91 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26527 0 0 0 118088 103 0 0 25 0 1 0 312855953 169869312 23314 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41472 23314 102 219 0 41249 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 165888 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1360464/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=166608 CPUtime=1241.89 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26738 0 0 0 124083 106 0 0 25 0 1 0 312855953 170606592 23459 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41652 23459 102 219 0 41429 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 166608 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1359504/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=166820 CPUtime=1301.87 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 26982 0 0 0 130078 109 0 0 25 0 1 0 312855953 170823680 23703 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41705 23703 102 219 0 41482 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 166820 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 8873 /proc/meminfo: memFree=1359184/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=166948 CPUtime=1361.85 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 27100 0 0 0 136073 112 0 0 25 0 1 0 312855953 170954752 23788 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41737 23788 102 219 0 41514 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 166948 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/84 8899 /proc/meminfo: memFree=1356176/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=167724 CPUtime=1421.83 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 27642 0 0 0 142067 116 0 0 25 0 1 0 312855953 171749376 24231 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 41931 24231 102 219 0 41708 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 167724 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1355000/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=168188 CPUtime=1481.71 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28132 0 0 0 148052 119 0 0 25 0 1 0 312855953 172224512 24721 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42047 24721 102 219 0 41824 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 168188 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1354760/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=168440 CPUtime=1541.69 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28235 0 0 0 154047 122 0 0 25 0 1 0 312855953 172482560 24824 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42110 24824 102 219 0 41887 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 168440 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1353544/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=169744 CPUtime=1601.67 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28607 0 0 0 160041 126 0 0 25 0 1 0 312855953 173817856 25130 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42436 25130 102 219 0 42213 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 169744 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1353288/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=169744 CPUtime=1661.65 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28675 0 0 0 166036 129 0 0 25 0 1 0 312855953 173817856 25198 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42436 25198 102 219 0 42213 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 169744 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1352776/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=170260 CPUtime=1721.63 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 28880 0 0 0 172031 132 0 0 25 0 1 0 312855953 174346240 25337 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42565 25337 102 219 0 42342 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 170260 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1352328/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=170516 CPUtime=1781.61 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29057 0 0 0 178027 134 0 0 25 0 1 0 312855953 174608384 25448 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42629 25448 102 219 0 42406 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 170516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1352272/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=170516 CPUtime=1800.01 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29082 0 0 0 179866 135 0 0 25 0 1 0 312855953 174608384 25473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42629 25473 102 219 0 42406 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 170516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 9071 /proc/meminfo: memFree=1352272/2055920 swapFree=4159344/4192956 [pid=8870] ppid=8868 vsize=170516 CPUtime=1800.01 /proc/8870/stat : 8870 (PBS4_SAT07v2) R 8868 8870 7664 0 -1 4194304 29082 0 0 0 179866 135 0 0 25 0 1 0 312855953 174608384 25473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8870/statm: 42629 25473 102 219 0 42406 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 170516 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.04 CPU user time (s): 1798.67 CPU system time (s): 1.37079 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 170516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 1.37079 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29085 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= 10570 runsolver used 1.78573 second user time and 4.54631 second system time The end
Begin job on node39 on Tue May 8 18:37:19 UTC 2007 IDJOB= 459124 IDBENCH= 2895 IDSOLVER= 200 FILE ID= node39/459124-1178649439 PBS_JOBID= 5218348 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_2.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-459124-1178649439 -o ROOT/results/node39/conversion-459124-1178649439 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-459124-1178649439 -o ROOT/results/node39/solver-459124-1178649439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459124-1178649439/instance-459124-1178649439.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 432916646 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1454880 kB Buffers: 40620 kB Cached: 415192 kB SwapCached: 12912 kB Active: 413716 kB Inactive: 102716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1454880 kB SwapTotal: 4192956 kB SwapFree: 4159344 kB Dirty: 2288 kB Writeback: 0 kB Mapped: 67700 kB Slab: 69764 kB Committed_AS: 5247340 kB PageTables: 2128 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 node39 on Tue May 8 19:07:22 UTC 2007