Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 473.6 | 473.724 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb |
MD5SUM | 8a882d07e0fbb307eb9e9c234ecc464c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.162974 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
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 | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452943-1177999820/instance-452943-1177999820.opb 0.00/0.00 c File size is 8050 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % of total variables) 0.00/0.01 c Pre-processing Time: 0.01 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off LPR mode. 135.36/135.44 c 106 616 1024 9941 9 3458 5691 106 6235 0.02 135.36/135.44 c 258 616 1176 19189 16 3604 6261 258 8600 0.03 135.36/135.44 c 484 616 1402 32445 23 4065 6888 484 9877 0.05 135.36/135.44 c 822 616 1740 54775 31 4809 7577 822 10815 0.08 135.36/135.44 c 1331 616 2249 89420 39 5863 8335 1331 11184 0.12 135.36/135.44 c 2095 616 3013 137676 45 7356 9169 2095 10169 0.21 135.36/135.44 c 3241 616 4159 211767 50 9572 10086 3241 9129 0.35 135.36/135.44 c 4962 616 5880 326131 55 13011 11095 4962 7340 0.68 135.36/135.44 c 7546 616 8464 476233 56 18155 12205 7546 5013 1.50 135.36/135.44 c 11426 616 12344 704120 57 25908 13426 11426 3166 3.61 135.36/135.44 c 17250 616 11295 652062 57 23837 14769 10377 2978 5.79 135.36/135.44 c 25987 616 12446 752609 60 26158 16246 11528 2564 10.13 135.36/135.44 c 39097 616 9200 478083 51 19693 17871 8282 1885 20.74 135.36/135.44 c 58767 613 9894 791083 79 21142 19659 8976 1856 31.66 135.36/135.44 c 88277 613 19321 1165366 60 39916 21625 18403 1431 61.66 135.36/135.44 c 132547 613 19924 1200357 60 41118 23788 19006 1115 118.79 135.36/135.44 o 225 135.408 142.96/143.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 142.96/143.00 c 157718 613 18959 1325366 69 39182 5189 18041 1164 135.41 142.96/143.00 c 157821 613 3619 196618 54 8684 5708 2701 1163 135.59 142.96/143.00 c 158071 613 3869 213695 55 9012 6279 2951 1165 135.62 142.96/143.00 c 158546 613 4344 244742 56 9970 6907 3426 1168 135.67 142.96/143.00 c 159359 613 5157 299427 58 11595 7598 4239 1173 135.81 142.96/143.00 c 160680 613 6478 386525 59 14231 8358 5560 1180 136.14 142.96/143.00 c 162762 613 8560 523717 61 18432 9194 7642 1188 136.92 142.96/143.00 c 165986 613 7116 405518 56 15525 10114 6198 1199 138.44 142.96/143.00 c 170923 613 6937 386116 55 15180 11126 6019 1209 141.34 142.96/143.00 o 129 142.965 212.73/212.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 212.73/212.89 c 177381 613 7366 442194 60 16063 5189 6448 1240 142.97 212.73/212.89 c 177481 613 3616 189674 52 8478 5708 2698 1241 143.01 212.73/212.89 c 177731 613 3866 204966 53 8972 6279 2948 1242 143.04 212.73/212.89 c 178207 613 4342 239409 55 9949 6907 3424 1245 143.09 212.73/212.89 c 179020 613 5155 294513 57 11579 7598 4237 1250 143.19 212.73/212.89 c 180341 613 6476 384882 59 14264 8358 5558 1257 143.37 212.73/212.89 c 182422 613 8557 523007 61 18389 9194 7639 1268 143.81 212.73/212.89 c 185647 613 6928 412741 59 15197 10114 6010 1279 145.06 212.73/212.89 c 190583 613 6738 371859 55 14766 11126 5820 1289 147.84 212.73/212.89 c 198089 613 8633 491941 56 18555 12239 7715 1299 152.38 212.73/212.89 c 209450 613 7620 422283 55 16552 13463 6702 1311 159.72 212.73/212.89 c 226594 613 10745 676570 62 22834 14810 9827 1331 170.13 212.73/212.89 c 252414 612 14049 818990 58 29410 16292 13131 1291 195.41 212.73/212.89 o 81 212.831 317.71/317.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 317.71/317.88 c 274754 612 11374 679599 59 24132 5189 10456 1290 212.83 317.71/317.88 c 274855 612 3618 186393 51 8627 5708 2700 1290 212.91 317.71/317.88 c 275106 612 3869 203224 52 9134 6279 2951 1292 212.93 317.71/317.88 c 275583 612 4346 235408 54 10095 6907 3428 1293 212.99 317.71/317.88 c 276397 612 5160 288178 55 11705 7598 4242 1296 213.14 317.71/317.88 c 277718 612 6481 375697 57 14367 8358 5563 1301 213.44 317.71/317.88 c 279799 612 8562 513801 60 18507 9194 7644 1306 214.19 317.71/317.88 c 283022 612 7115 411109 57 15617 10114 6197 1311 215.73 317.71/317.88 c 287959 612 6926 389823 56 15207 11126 6008 1312 219.43 317.71/317.88 c 295466 612 8806 510494 57 18938 12239 7888 1324 223.09 317.71/317.88 c 306827 612 7479 418446 55 16224 13463 6561 1331 230.40 317.71/317.88 c 323972 612 10953 660713 60 23152 14810 10035 1339 241.78 317.71/317.88 c 349791 612 14362 857230 59 30043 16292 13444 1316 265.63 317.71/317.88 c 388625 612 11190 709804 63 23717 17922 10272 1335 290.93 317.71/317.88 o 65 317.803 437.38/437.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 437.38/437.58 c 427437 611 13022 833509 64 27449 5189 12104 1344 317.80 437.38/437.58 c 427538 611 3619 196193 54 8598 5708 2701 1344 317.96 437.38/437.58 c 427788 611 3869 213517 55 9183 6279 2951 1345 317.98 437.38/437.58 c 428266 611 4347 246844 56 10108 6907 3429 1346 318.03 437.38/437.58 c 429079 611 5160 303354 58 11722 7598 4242 1348 318.17 437.38/437.58 c 430399 611 6480 394103 60 14337 8358 5562 1350 318.66 437.38/437.58 c 432480 611 8561 533272 62 18525 9194 7643 1352 319.66 437.38/437.58 c 435704 611 7116 418611 58 15650 10114 6198 1355 321.37 437.38/437.58 c 440640 611 6932 393999 56 15245 11126 6014 1359 324.22 437.38/437.58 c 448146 611 8732 502871 57 18799 12239 7814 1363 328.66 437.38/437.58 c 459508 611 7043 413189 58 15329 13463 6125 1380 332.77 437.38/437.58 c 476653 611 10527 613960 58 22335 14810 9609 1390 342.77 437.38/437.58 c 502472 611 13944 825476 59 29169 16292 13026 1381 363.59 437.38/437.58 c 541305 600 10011 585889 58 21376 17922 9093 1398 387.11 437.38/437.58 c 599657 599 13301 821758 61 27973 19715 12383 1371 437.24 437.38/437.58 o 3 437.468 473.57/473.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 473.57/473.71 c 600487 599 14132 873838 61 29602 5187 13214 1372 437.47 473.57/473.71 c 600589 599 3623 164081 45 8652 5706 2705 1372 437.62 473.57/473.71 c 600841 599 3875 180487 46 9134 6277 2957 1372 437.66 473.57/473.71 c 601316 599 4350 212059 48 10054 6905 3432 1373 437.75 473.57/473.71 c 602130 599 5164 265835 51 11721 7596 4246 1374 437.96 473.57/473.71 c 603451 599 6485 351935 54 14369 8356 5567 1376 438.36 473.57/473.71 c 605533 581 8567 488462 57 18572 9192 7649 1379 439.11 473.57/473.71 c 608756 571 7094 409010 57 15637 10112 6176 1381 440.64 473.57/473.71 c 613692 571 6874 386978 56 15195 11124 5956 1381 444.12 473.57/473.71 c 621198 571 8730 495340 56 18910 12237 7812 1382 449.39 473.57/473.71 c 632559 571 7683 425807 55 16755 13461 6765 1385 456.54 473.57/473.71 c 649704 562 11023 619610 56 23334 14808 10105 1383 469.62 473.57/473.71 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 473.57/473.71 v -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 473.57/473.71 v -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 473.57/473.71 v -x77 -x78 -x79 -x80 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132 473.57/473.71 v -x133 -x134 -x135 -x136 x89 -x90 x91 x92 -x93 -x94 -x95 x96 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 x99 -x100 473.57/473.71 v x101 -x102 -x103 x104 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x153 x154 x155 473.57/473.71 v x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168 473.57/473.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 473.57/473.71 c 79 654540 3868 674841 8371 415812 7453 1382 473.59 473.57/473.71 c Objective: 3 473.57/473.71 s OPTIMUM FOUND 473.57/473.71 c Total time: 473.591 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-452943-1177999820 -o ROOT/results/node63/solver-452943-1177999820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452943-1177999820/instance-452943-1177999820.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: 1.11 1.06 1.01 3/64 20232 /proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=3932 CPUtime=0 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 275971953 4026368 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 983 345 289 324 0 51 0 [startup+0.041551 s] /proc/loadavg: 1.11 1.06 1.01 3/64 20232 /proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=4456 CPUtime=0.03 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 538 0 0 0 3 0 0 0 18 0 1 0 275971953 4562944 506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 1114 506 310 324 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4456 [startup+0.101544 s] /proc/loadavg: 1.11 1.06 1.01 3/64 20232 /proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=5232 CPUtime=0.09 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 275971953 5357568 686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 1308 686 310 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301565 s] /proc/loadavg: 1.11 1.06 1.01 3/64 20232 /proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=6788 CPUtime=0.29 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 1101 0 0 0 29 0 0 0 19 0 1 0 275971953 6950912 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 1697 1069 310 324 0 767 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6788 [startup+0.701607 s] /proc/loadavg: 1.11 1.06 1.01 3/64 20232 /proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=8864 CPUtime=0.69 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 1640 0 0 0 69 0 0 0 23 0 1 0 275971953 9076736 1608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 2216 1608 310 324 0 1286 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8864 [startup+1.50169 s] /proc/loadavg: 1.10 1.05 1.00 2/65 20233 /proc/meminfo: memFree=1793388/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=11056 CPUtime=1.49 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 2174 0 0 0 148 1 0 0 25 0 1 0 275971953 11321344 2142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 2764 2142 310 324 0 1834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11056 [startup+3.10186 s] /proc/loadavg: 1.10 1.05 1.00 2/65 20233 /proc/meminfo: memFree=1790636/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=13900 CPUtime=3.09 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 2872 0 0 0 307 2 0 0 25 0 1 0 275971953 14233600 2840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 3475 2840 310 324 0 2545 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13900 [startup+6.3012 s] /proc/loadavg: 1.09 1.05 1.00 2/65 20233 /proc/meminfo: memFree=1786604/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=16356 CPUtime=6.29 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 3499 0 0 0 626 3 0 0 25 0 1 0 275971953 16748544 3467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 4089 3467 310 324 0 3159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16356 [startup+12.7019 s] /proc/loadavg: 1.08 1.05 1.00 2/65 20233 /proc/meminfo: memFree=1785076/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=17908 CPUtime=12.69 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 3901 0 0 0 1266 3 0 0 25 0 1 0 275971953 18337792 3869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 4477 3869 310 324 0 3547 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17908 [startup+25.5012 s] /proc/loadavg: 1.07 1.05 1.00 2/65 20233 /proc/meminfo: memFree=1783988/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=19064 CPUtime=25.49 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 4178 0 0 0 2545 4 0 0 25 0 1 0 275971953 19521536 4146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 4766 4146 310 324 0 3836 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19064 [startup+51.1019 s] /proc/loadavg: 1.04 1.04 1.00 2/65 20233 /proc/meminfo: memFree=1777524/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=25608 CPUtime=51.08 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 5813 0 0 0 5103 5 0 0 25 0 1 0 275971953 26222592 5781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 6402 5781 310 324 0 5472 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 25608 [startup+102.305 s] /proc/loadavg: 1.02 1.04 1.00 2/65 20233 /proc/meminfo: memFree=1777524/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=25560 CPUtime=102.27 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 5815 0 0 0 10222 5 0 0 25 0 1 0 275971953 26173440 5782 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 6390 5782 310 324 0 5460 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25560 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28964 CPUtime=162.25 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 16219 6 0 0 25 0 1 0 275971953 29659136 6629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7241 6629 311 324 0 6311 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 28964 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28956 CPUtime=222.23 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 22217 6 0 0 25 0 1 0 275971953 29650944 6629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401553 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7239 6629 311 324 0 6309 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28956 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=282.21 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 28215 6 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28800 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=342.21 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 34214 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28800 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=402.19 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 40212 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 28800 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=462.17 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 46210 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28800 Solver just ended. Dumping a history of the last processes samples [startup+467.103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=466.97 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 46690 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 466.97 Current children cumulated vsize (KiB) 28800 [startup+470.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=470.17 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47010 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 470.17 Current children cumulated vsize (KiB) 28800 [startup+471.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=471.77 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47170 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 471.77 Current children cumulated vsize (KiB) 28800 [startup+472.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=472.57 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47250 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 472.57 Current children cumulated vsize (KiB) 28800 [startup+473.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=473.37 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47330 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 473.37 Current children cumulated vsize (KiB) 28800 [startup+473.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 20233 /proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956 [pid=20232] ppid=20230 vsize=28800 CPUtime=473.57 /proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47350 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20232/statm: 7200 6593 311 324 0 6270 0 Current children cumulated CPU time (s) 473.57 Current children cumulated vsize (KiB) 28800 Child status: 0 Real time (s): 473.724 CPU time (s): 473.6 CPU user time (s): 473.52 CPU system time (s): 0.079987 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 28976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 473.52 system time used= 0.079987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6666 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= 12 involuntary context switches= 535 runsolver used 0.352946 second user time and 0.949855 second system time The end
Begin job on node63 on Tue May 1 06:10:20 UTC 2007 IDJOB= 452943 IDBENCH= 48010 IDSOLVER= 199 FILE ID= node63/452943-1177999820 PBS_JOBID= 4728232 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452943-1177999820/instance-452943-1177999820.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-452943-1177999820 -o ROOT/results/node63/solver-452943-1177999820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452943-1177999820/instance-452943-1177999820.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8a882d07e0fbb307eb9e9c234ecc464c RANDOM SEED= 416848675 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1800012 kB Buffers: 16316 kB Cached: 162948 kB SwapCached: 3860 kB Active: 54040 kB Inactive: 135388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800012 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 6588 kB Writeback: 0 kB Mapped: 16100 kB Slab: 52528 kB Committed_AS: 2398924 kB PageTables: 1460 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= 66558 MiB End job on node63 on Tue May 1 06:18:14 UTC 2007