Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 193 | 1800.01 | 1800.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb |
MD5SUM | 80881c7fbc3c10cf38784c74294061e5 |
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.283956 |
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 | 162 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/429302-1177982862/instance-429302-1177982862.opb 0.00/0.00 c File size is 8553 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5543 0 0 0.01 0.00/0.01 c Switching off LPR mode. 482.96/483.16 c 100 648 1091 11203 10 3717 6098 100 5000 0.02 482.96/483.16 c 250 648 1241 23046 18 4015 6708 250 8064 0.03 482.96/483.16 c 475 648 1466 39690 27 4436 7379 475 8482 0.06 482.96/483.16 c 815 648 1806 65216 36 5034 8117 815 8956 0.09 482.96/483.16 c 1324 648 2315 114441 49 5967 8929 1324 9390 0.14 482.96/483.16 c 2088 648 3079 175816 57 7428 9822 2088 8810 0.24 482.96/483.16 c 3235 648 4226 265394 62 9712 10805 3235 6868 0.47 482.96/483.16 c 4956 648 5947 396332 66 13153 11886 4956 5266 0.94 482.96/483.16 c 7540 648 8531 594867 69 18340 13075 7540 3945 1.91 482.96/483.16 c 11419 648 12410 922510 74 26136 14383 11419 3848 2.97 482.96/483.16 c 17242 648 10409 822253 78 22209 15822 9418 4098 4.21 482.96/483.16 c 25980 648 10888 867358 79 23104 17405 9897 3758 6.91 482.96/483.16 c 39091 648 14897 1128546 75 31223 19146 13906 3478 11.24 482.96/483.16 c 58762 648 15054 1153220 76 31503 21061 14063 2468 23.81 482.96/483.16 c 88273 648 11829 802436 67 25113 23168 10838 1864 47.34 482.96/483.16 c 132543 648 18236 1460663 80 37976 25485 17245 1408 94.11 482.96/483.16 c 198953 648 25871 1855842 71 53239 28034 24880 1236 160.96 482.96/483.16 c 298574 648 22732 1929222 84 46866 30838 21741 1222 244.21 482.96/483.16 c 448010 648 14036 1004472 71 29461 33922 13045 966 463.56 482.96/483.16 o 193 483.029 1799.91/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.48 c 473722 648 16526 1454439 88 34416 5561 15535 980 483.03 1799.91/1800.48 c 473822 637 3873 256643 66 9306 6118 2882 980 483.23 1799.91/1800.48 c 474073 637 4124 277647 67 9746 6730 3133 980 483.26 1799.91/1800.48 c 474548 637 4599 314498 68 10614 7404 3608 981 483.32 1799.91/1800.48 c 475361 637 5412 378835 69 12262 8145 4421 983 483.48 1799.91/1800.48 c 476681 637 6732 483857 71 14877 8960 5741 985 483.77 1799.91/1800.48 c 478763 637 8814 646066 73 19074 9857 7823 988 484.51 1799.91/1800.48 c 481987 637 7006 472476 67 15429 10843 6015 991 485.97 1799.91/1800.48 c 486924 637 6450 421918 65 14321 11928 5459 995 489.25 1799.91/1800.48 c 494430 637 7895 538052 68 17215 13121 6904 999 494.57 1799.91/1800.48 c 505791 637 12606 885661 70 26646 14434 11615 1006 502.59 1799.91/1800.48 c 522935 637 15155 1068370 70 31761 15878 14164 1014 515.23 1799.91/1800.48 c 548755 637 16158 2482629 153 33708 17466 15167 1019 538.28 1799.91/1800.48 c 587587 637 10353 713589 68 22150 19213 9362 1006 583.95 1799.91/1800.48 c 645939 637 19930 1401080 70 41315 21135 18939 1002 644.60 1799.91/1800.48 c 733571 637 21018 1893632 90 43400 23249 20027 1014 723.43 1799.91/1800.48 c 865124 634 13670 1070858 78 28787 25574 12679 981 881.58 1799.91/1800.48 c 1062557 634 20051 1569269 78 41607 28132 19060 924 1149.80 1799.91/1800.48 c 1358809 633 25347 2048064 80 52117 30946 24356 882 1540.22 1799.91/1800.48 c Resources Exceeded 1799.91/1800.48 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 1799.91/1800.48 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 1799.91/1800.48 v -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x109 -x110 -x111 x112 x113 -x114 -x115 -x116 -x117 x73 -x74 1799.91/1800.48 v -x75 -x76 -x77 -x78 -x79 -x80 -x81 x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x82 -x83 x84 x85 -x86 -x87 x88 -x89 -x90 1799.91/1800.48 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 -x137 x138 -x139 x140 1799.91/1800.48 v -x141 -x142 -x143 -x144 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 1799.91/1800.48 v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1799.91/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.48 c 38 1495280 8042 1530043 23771 1804338 22780 830 1800.00 1799.91/1800.48 c Objective: 193 1799.91/1800.48 s SATISFIABLE 1799.91/1800.48 c Total time: 1800 s
OK 193
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-429302-1177982862 -o ROOT/results/node74/solver-429302-1177982862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.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.92 0.98 0.93 3/66 7447 /proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=3936 CPUtime=0 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 246200935 4030464 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 984 348 291 324 0 50 0 [startup+0.0960221 s] /proc/loadavg: 0.92 0.98 0.93 3/66 7447 /proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=5104 CPUtime=0.08 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 693 0 0 0 8 0 0 0 18 0 1 0 246200935 5226496 659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 1276 659 312 324 0 345 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5104 [startup+0.102023 s] /proc/loadavg: 0.92 0.98 0.93 3/66 7447 /proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=5232 CPUtime=0.09 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 246200935 5357568 680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 1308 680 312 324 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5232 [startup+0.301046 s] /proc/loadavg: 0.92 0.98 0.93 3/66 7447 /proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=7036 CPUtime=0.29 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 1184 0 0 0 28 1 0 0 19 0 1 0 246200935 7204864 1150 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 1759 1150 312 324 0 828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7036 [startup+0.701092 s] /proc/loadavg: 0.92 0.98 0.93 3/66 7447 /proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=8848 CPUtime=0.69 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 1613 0 0 0 68 1 0 0 22 0 1 0 246200935 9060352 1579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 2212 1579 312 324 0 1281 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8848 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1752968/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=11304 CPUtime=1.48 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 2247 0 0 0 147 1 0 0 25 0 1 0 246200935 11575296 2213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 2826 2213 312 324 0 1895 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11304 [startup+3.10137 s] /proc/loadavg: 0.92 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1749512/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=17612 CPUtime=3.09 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 3813 0 0 0 306 3 0 0 25 0 1 0 246200935 18034688 3779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 4403 3779 312 324 0 3472 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17612 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1741000/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=24180 CPUtime=6.29 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 5457 0 0 0 624 5 0 0 25 0 1 0 246200935 24760320 5423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10186750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 6045 5423 312 324 0 5114 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24180 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1737048/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=25692 CPUtime=12.69 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 5836 0 0 0 1263 6 0 0 25 0 1 0 246200935 26308608 5802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 6423 5802 312 324 0 5492 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25692 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1736152/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=27452 CPUtime=25.48 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 6274 0 0 0 2540 8 0 0 25 0 1 0 246200935 28110848 6240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 6863 6240 312 324 0 5932 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27452 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1734360/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=28440 CPUtime=51.08 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 6528 0 0 0 5096 12 0 0 25 0 1 0 246200935 29122560 6494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 7110 6494 312 324 0 6179 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28440 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1728856/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=33988 CPUtime=102.27 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 7918 0 0 0 10207 20 0 0 25 0 1 0 246200935 34803712 7884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 8497 7884 312 324 0 7566 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33988 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1728856/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=33976 CPUtime=162.25 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 7919 0 0 0 16198 27 0 0 25 0 1 0 246200935 34791424 7885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 8494 7885 312 324 0 7563 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33976 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1724120/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=38672 CPUtime=222.23 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 9092 0 0 0 22188 35 0 0 25 0 1 0 246200935 39600128 9058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 9668 9058 312 324 0 8737 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38672 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1718552/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44196 CPUtime=282.22 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10475 0 0 0 28178 44 0 0 25 0 1 0 246200935 45256704 10441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11049 10441 312 324 0 10118 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44196 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717976/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44748 CPUtime=342.2 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 34171 49 0 0 25 0 1 0 246200935 45821952 10581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11187 10581 312 324 0 10256 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44748 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717912/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44748 CPUtime=402.18 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 40162 56 0 0 25 0 1 0 246200935 45821952 10581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551119 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11187 10581 312 324 0 10256 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 44748 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717912/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44740 CPUtime=462.17 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 46154 63 0 0 25 0 1 0 246200935 45813760 10579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11185 10579 312 324 0 10254 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 44740 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44716 CPUtime=522.15 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 52143 72 0 0 25 0 1 0 246200935 45789184 10574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11179 10574 313 324 0 10248 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 44716 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44716 CPUtime=582.13 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 58134 79 0 0 25 0 1 0 246200935 45789184 10574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11179 10574 313 324 0 10248 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 44716 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7448 /proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44672 CPUtime=642.12 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 64127 85 0 0 25 0 1 0 246200935 45744128 10563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11168 10563 313 324 0 10237 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 44672 ################ # More data... # ################ /proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44652 CPUtime=1121.99 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 112065 134 0 0 25 0 1 0 246200935 45723648 10558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11163 10558 313 324 0 10232 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 44652 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44652 CPUtime=1181.97 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 118057 140 0 0 25 0 1 0 246200935 45723648 10558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11163 10558 313 324 0 10232 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 44652 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1241.96 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 124049 147 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 44640 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1301.95 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 130041 154 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 44640 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1361.93 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 136032 161 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 44640 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1421.91 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 142024 167 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 44640 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1481.89 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 148017 172 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551643 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 44640 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1541.87 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 154007 180 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 44640 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44640 CPUtime=1601.86 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 160002 184 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11160 10555 313 324 0 10229 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 44640 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44632 CPUtime=1661.85 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 165997 188 0 0 25 0 1 0 246200935 45703168 10553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11158 10553 313 324 0 10227 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 44632 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1721.83 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 171992 191 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 44624 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1781.81 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 177984 197 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 44624 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1791.41 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 178943 198 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10188100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 44624 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1794.61 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179263 198 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 44624 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1797.81 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179582 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 44624 [startup+1799.1 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1798.61 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179662 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 44624 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1799.41 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179742 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10188629 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (KiB) 44624 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1799.81 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179782 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1799.81 Current children cumulated vsize (KiB) 44624 [startup+1800.4 s] /proc/loadavg: 0.99 0.98 0.93 2/67 7450 /proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956 [pid=7447] ppid=7445 vsize=44624 CPUtime=1799.91 /proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179792 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7447/statm: 11156 10551 313 324 0 10225 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 44624 Child status: 0 Real time (s): 1800.49 CPU time (s): 1800.01 CPU user time (s): 1798.01 CPU system time (s): 2.00169 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 44876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.01 system time used= 2.00169 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10620 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= 11 involuntary context switches= 1684 runsolver used 1.34879 second user time and 3.57146 second system time The end
Begin job on node74 on Tue May 1 01:27:42 UTC 2007 IDJOB= 429302 IDBENCH= 47899 IDSOLVER= 163 FILE ID= node74/429302-1177982862 PBS_JOBID= 4728110 Free space on /tmp= 103239 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-429302-1177982862 -o ROOT/results/node74/solver-429302-1177982862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5 RANDOM SEED= 208154152 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1759720 kB Buffers: 5900 kB Cached: 220620 kB SwapCached: 2572 kB Active: 38652 kB Inactive: 197920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1759720 kB SwapTotal: 4192956 kB SwapFree: 4183036 kB Dirty: 6736 kB Writeback: 0 kB Mapped: 16192 kB Slab: 45376 kB Committed_AS: 4148724 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103239 MiB End job on node74 on Tue May 1 01:57:42 UTC 2007