Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 2 | 348.16 | 348.291 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.150976 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
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 | 13 |
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) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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/452994-1178007891/instance-452994-1178007891.opb 0.00/0.00 c File size is 6827 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.002 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off LPR mode. 296.18/296.36 c 101 528 888 8641 9 3012 4875 101 6312 0.02 296.18/296.36 c 251 528 1038 18050 17 3316 5363 251 10458 0.02 296.18/296.36 c 476 528 1263 31470 24 3715 5900 476 11333 0.04 296.18/296.36 c 815 528 1602 52929 33 4360 6491 815 10584 0.08 296.18/296.36 c 1323 528 2110 83644 39 5360 7141 1323 10022 0.13 296.18/296.36 c 2086 528 2873 137709 47 6891 7856 2086 10326 0.20 296.18/296.36 c 3233 528 4020 219254 54 9162 8642 3233 8621 0.38 296.18/296.36 c 4954 528 5741 338039 58 12621 9507 4954 6484 0.76 296.18/296.36 c 7538 528 8325 509074 61 17737 10458 7538 5847 1.29 296.18/296.36 c 11418 528 6761 396219 58 14658 11504 5974 4034 2.83 296.18/296.36 c 17241 528 6540 393172 60 14133 12655 5753 4164 4.14 296.18/296.36 c 25978 528 8652 477729 55 18424 13921 7865 3830 6.78 296.18/296.36 c 39088 528 14507 926304 63 30117 15314 13720 2903 13.46 296.18/296.36 c 58758 528 10599 646380 60 22342 16846 9812 2239 26.24 296.18/296.36 c 88268 528 13966 947559 67 29043 18531 13179 2064 42.76 296.18/296.36 c 132538 528 10054 583286 58 21276 20385 9267 1549 85.54 296.18/296.36 c 198951 528 12739 956894 75 26578 22424 11952 1410 141.06 296.18/296.36 c 298571 528 18369 1146758 62 37857 24667 17582 1292 231.03 296.18/296.36 o 65 296.246 303.97/304.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 303.97/304.15 c 383305 528 22260 1416152 63 45658 4447 21473 1293 296.25 303.97/304.15 c 383405 528 3113 152614 49 7423 4892 2326 1292 296.54 303.97/304.15 c 383655 528 3363 169426 50 7910 5382 2576 1293 296.56 303.97/304.15 c 384130 528 3838 202567 52 8811 5921 3051 1295 296.61 303.97/304.15 c 384943 528 4651 259700 55 10478 6514 3864 1297 296.71 303.97/304.15 c 386264 528 5972 343465 57 13075 7166 5185 1300 296.99 303.97/304.15 c 388345 528 4371 232302 53 9868 7883 3584 1305 297.38 303.97/304.15 c 391569 528 7595 451407 59 16325 8672 6808 1313 298.14 303.97/304.15 c 396506 518 7897 481925 61 16985 9540 7110 1325 299.07 303.97/304.15 c 404013 518 5559 298297 53 12266 10495 4772 1340 301.50 303.97/304.15 o 17 304.034 320.17/320.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 320.17/320.33 c 413533 518 9356 534295 57 19893 4445 8569 1360 304.04 320.17/320.33 c 413634 508 3114 149123 47 7330 4890 2327 1360 304.10 320.17/320.33 c 413886 508 3366 167328 49 7869 5380 2579 1360 304.12 320.17/320.33 c 414361 508 3841 201100 52 8910 5919 3054 1362 304.16 320.17/320.33 c 415174 508 4654 254097 54 10485 6511 3867 1364 304.26 320.17/320.33 c 416495 508 5975 341522 57 13122 7163 5188 1367 304.53 320.17/320.33 c 418577 508 4372 246893 56 9947 7880 3585 1372 304.89 320.17/320.33 c 421800 498 7595 473425 62 16411 8669 6808 1380 305.49 320.17/320.33 c 426736 498 7837 474138 60 16852 9536 7050 1392 306.36 320.17/320.33 c 434243 498 10163 607966 59 21470 10490 9376 1404 309.24 320.17/320.33 c 445604 498 10628 658404 61 22327 11540 9841 1419 313.81 320.17/320.33 o 14 320.216 347.37/347.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 347.37/347.52 c 462460 498 9223 529492 57 19636 4441 8436 1444 320.22 347.37/347.52 c 462560 498 3112 147723 47 7377 4886 2325 1444 320.27 347.37/347.52 c 462810 498 3362 165038 49 7856 5375 2575 1444 320.30 347.37/347.52 c 463286 498 3838 196796 51 8820 5913 3051 1446 320.35 347.37/347.52 c 464100 498 4652 253093 54 10501 6505 3865 1448 320.45 347.37/347.52 c 465421 498 5973 337445 56 13112 7156 5186 1451 320.74 347.37/347.52 c 467504 498 4369 238856 54 9863 7872 3582 1455 321.15 347.37/347.52 c 470727 498 7592 466584 61 16283 8660 6805 1463 321.72 347.37/347.52 c 475663 498 7759 479984 61 16664 9527 6972 1472 323.03 347.37/347.52 c 483169 498 10275 634725 61 21633 10480 9488 1486 325.15 347.37/347.52 c 494530 498 10754 670596 62 22669 11529 9967 1490 331.76 347.37/347.52 c 511676 498 9413 586159 62 19969 12682 8626 1496 341.90 347.37/347.52 o 3 347.389 348.07/348.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 348.07/348.28 c 526277 488 10995 659418 59 23148 4439 10208 1514 347.39 348.07/348.28 c 526378 478 3113 151682 48 7436 4883 2326 1514 347.50 348.07/348.28 c 526629 457 3364 166404 49 7867 5372 2577 1515 347.55 348.07/348.28 c 527104 457 3839 197084 51 8814 5910 3052 1516 347.60 348.07/348.28 c 527918 457 4653 247282 53 10403 6502 3866 1518 347.73 348.07/348.28 c 529239 457 5974 325767 54 13031 7153 5187 1520 348.08 348.07/348.28 o 2 348.152 348.07/348.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 348.07/348.28 c 529720 457 6456 356406 55 14015 4431 5669 1521 348.15 348.07/348.28 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 348.07/348.28 v -x30 -x31 x32 x33 x34 -x35 x36 -x37 x38 x39 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 348.07/348.28 v x58 -x59 -x60 x61 -x62 -x63 -x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x65 x66 -x67 -x68 x69 -x70 -x71 x72 -x105 -x106 348.07/348.28 v x107 -x108 -x109 -x110 -x111 -x112 -x73 x74 -x75 -x76 x77 -x78 -x79 x80 x113 -x114 -x115 x116 -x117 -x118 x119 -x120 -x81 x82 348.07/348.28 v x83 -x84 -x85 -x86 -x87 -x88 x121 -x122 x123 x124 x125 x126 -x127 -x128 -x89 x90 -x91 -x92 x93 x94 x95 -x96 -x129 -x130 -x131 348.07/348.28 v -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 348.07/348.28 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 348.07/348.28 c 58 529720 9896 566564 6456 356406 5669 1521 348.15 348.07/348.28 c Objective: 2 348.07/348.28 s OPTIMUM FOUND 348.07/348.28 c Total time: 348.153 s
OK 2
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-452994-1178007891 -o ROOT/results/node42/solver-452994-1178007891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452994-1178007891/instance-452994-1178007891.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.99 1.00 1.00 2/77 1426 /proc/meminfo: memFree=1834144/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=19556 CPUtime=0 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 248700979 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 4889 342 288 324 0 3957 0 [startup+0.0440971 s] /proc/loadavg: 0.99 1.00 1.00 2/77 1426 /proc/meminfo: memFree=1834144/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=4584 CPUtime=0.03 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 546 0 0 0 3 0 0 0 18 0 1 0 248700979 4694016 514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 1146 514 310 324 0 216 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4584 [startup+0.101107 s] /proc/loadavg: 0.99 1.00 1.00 2/77 1426 /proc/meminfo: memFree=1834144/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=4968 CPUtime=0.09 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 659 0 0 0 9 0 0 0 18 0 1 0 248700979 5087232 627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 1242 627 310 324 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4968 [startup+0.301144 s] /proc/loadavg: 0.99 1.00 1.00 2/77 1426 /proc/meminfo: memFree=1834144/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=6656 CPUtime=0.29 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 1077 0 0 0 29 0 0 0 20 0 1 0 248700979 6815744 1045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 1664 1045 310 324 0 734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6656 [startup+0.701221 s] /proc/loadavg: 0.99 1.00 1.00 2/77 1426 /proc/meminfo: memFree=1834144/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=8852 CPUtime=0.68 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 1614 0 0 0 68 0 0 0 23 0 1 0 248700979 9064448 1582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 2213 1582 310 324 0 1283 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8852 [startup+1.50137 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1827800/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=12076 CPUtime=1.48 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 2438 0 0 0 147 1 0 0 25 0 1 0 248700979 12365824 2406 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 3019 2406 310 324 0 2089 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12076 [startup+3.10168 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1824280/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=14520 CPUtime=3.09 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 3033 0 0 0 307 2 0 0 25 0 1 0 248700979 14868480 3001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 3630 3001 310 324 0 2700 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14520 [startup+6.30129 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1821984/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=16336 CPUtime=6.29 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 3489 0 0 0 627 2 0 0 25 0 1 0 248700979 16728064 3457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 4084 3457 310 324 0 3154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16336 [startup+12.7015 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1820128/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=17472 CPUtime=12.68 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 3774 0 0 0 1266 2 0 0 25 0 1 0 248700979 17891328 3742 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 4368 3742 310 324 0 3438 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17472 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1818336/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=19280 CPUtime=25.48 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 4241 0 0 0 2545 3 0 0 25 0 1 0 248700979 19742720 4209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 4820 4209 310 324 0 3890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19280 [startup+51.1018 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1814304/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=23188 CPUtime=51.06 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 5215 0 0 0 5103 3 0 0 25 0 1 0 248700979 23744512 5183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 5797 5183 310 324 0 4867 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 23188 [startup+102.306 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1811488/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=26024 CPUtime=102.25 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 5930 0 0 0 10221 4 0 0 25 0 1 0 248700979 26648576 5898 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 6506 5898 310 324 0 5576 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26024 [startup+162.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1809120/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=28384 CPUtime=162.22 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6516 0 0 0 16217 5 0 0 25 0 1 0 248700979 29065216 6484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7096 6484 310 324 0 6166 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 28384 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1809056/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=28332 CPUtime=222.21 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6516 0 0 0 22215 6 0 0 25 0 1 0 248700979 29011968 6475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12836933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7083 6475 310 324 0 6153 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 28332 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=30024 CPUtime=282.18 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6932 0 0 0 28212 6 0 0 25 0 1 0 248700979 30744576 6891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7506 6891 310 324 0 6576 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 30024 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=342.17 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34210 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 29780 Solver just ended. Dumping a history of the last processes samples [startup+345.502 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=345.37 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34530 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 345.37 Current children cumulated vsize (KiB) 29780 [startup+347.101 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=346.97 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34690 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 346.97 Current children cumulated vsize (KiB) 29780 [startup+347.901 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=347.77 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34770 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 347.77 Current children cumulated vsize (KiB) 29780 [startup+348.101 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=347.97 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34790 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 347.97 Current children cumulated vsize (KiB) 29780 [startup+348.201 s] /proc/loadavg: 0.99 1.00 1.00 2/78 1427 /proc/meminfo: memFree=1807456/2055920 swapFree=4147452/4192956 [pid=1426] ppid=1424 vsize=29780 CPUtime=348.07 /proc/1426/stat : 1426 (bsolo3.0.17) R 1424 1426 952 0 -1 4194304 6933 0 0 0 34800 7 0 0 25 0 1 0 248700979 30494720 6838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/1426/statm: 7445 6838 311 324 0 6515 0 Current children cumulated CPU time (s) 348.07 Current children cumulated vsize (KiB) 29780 Child status: 0 Real time (s): 348.291 CPU time (s): 348.16 CPU user time (s): 348.084 CPU system time (s): 0.075988 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 30024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 348.084 system time used= 0.075988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6937 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= 7037 runsolver used 0.280957 second user time and 0.758884 second system time The end
Begin job on node42 on Tue May 1 08:24:51 UTC 2007 IDJOB= 452994 IDBENCH= 48061 IDSOLVER= 199 FILE ID= node42/452994-1178007891 PBS_JOBID= 4728301 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=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452994-1178007891/instance-452994-1178007891.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-452994-1178007891 -o ROOT/results/node42/solver-452994-1178007891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452994-1178007891/instance-452994-1178007891.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED= 977108446 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1834552 kB Buffers: 29292 kB Cached: 102524 kB SwapCached: 14316 kB Active: 58740 kB Inactive: 97056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834552 kB SwapTotal: 4192956 kB SwapFree: 4147452 kB Dirty: 6600 kB Writeback: 0 kB Mapped: 30828 kB Slab: 50912 kB Committed_AS: 3742976 kB PageTables: 1912 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 node42 on Tue May 1 08:30:39 UTC 2007