Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 3 | 1800.01 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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.149976 |
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 | 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.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/429176-1177981379/instance-429176-1177981379.opb 0.00/0.00 c File size is 6829 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: 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.008 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. 93.05/93.14 c 101 528 888 9727 10 2983 4875 101 6312 0.02 93.05/93.14 c 251 528 1038 19669 18 3202 5363 251 8655 0.03 93.05/93.14 c 477 528 1264 33391 26 3644 5900 477 9734 0.05 93.05/93.14 c 815 528 1602 55746 34 4350 6491 815 10061 0.08 93.05/93.14 c 1323 528 2110 90366 42 5388 7141 1323 10176 0.13 93.05/93.14 c 2086 528 2873 150933 52 6874 7856 2086 9525 0.22 93.05/93.14 c 3233 528 4020 232134 57 9127 8642 3233 6792 0.48 93.05/93.14 c 4954 528 5741 350499 61 12633 9507 4954 6116 0.81 93.05/93.14 c 7538 528 8325 504441 60 17770 10458 7538 5395 1.40 93.05/93.14 c 11418 528 6905 365288 52 14928 11504 6118 4434 2.58 93.05/93.14 c 17240 528 6592 386257 58 14351 12655 5805 4340 3.97 93.05/93.14 c 25977 528 8614 454167 52 18404 13921 7827 3781 6.87 93.05/93.14 c 39087 528 14702 808268 54 30561 15314 13915 2426 16.11 93.05/93.14 c 58758 528 10662 660489 61 22419 16846 9875 2221 26.45 93.05/93.14 c 88268 528 14097 898840 63 29290 18531 13310 2197 40.18 93.05/93.14 c 132538 527 10097 601524 59 21298 20385 9310 1966 67.40 93.05/93.14 o 7 93.109 121.25/121.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.25/121.36 c 178584 525 14456 921325 63 30067 4447 13669 1917 93.11 121.25/121.36 c 178684 489 3117 152609 48 7310 4892 2330 1916 93.26 121.25/121.36 c 178936 489 3369 170445 50 7851 5382 2582 1918 93.28 121.25/121.36 c 179411 489 3844 202344 52 8831 5921 3057 1922 93.33 121.25/121.36 c 180224 489 4657 255191 54 10441 6514 3870 1928 93.44 121.25/121.36 c 181545 489 5978 340199 56 13081 7166 5191 1936 93.75 121.25/121.36 c 183626 489 4380 231272 52 9897 7883 3593 1944 94.44 121.25/121.36 c 186850 489 7604 442097 58 16364 8672 6817 1953 95.63 121.25/121.36 c 191787 489 8105 472347 58 17352 9540 7318 1946 98.54 121.25/121.36 c 199294 489 5567 325984 58 12262 10495 4780 1978 100.72 121.25/121.36 c 210656 489 6045 339357 56 13170 11545 5258 1985 106.11 121.25/121.36 c 227801 475 11480 664640 57 24090 12700 10693 1948 116.93 121.25/121.36 o 3 121.314 1799.91/1800.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.91/1800.67 c 238363 475 8448 648650 76 18095 4437 7661 1964 121.31 1799.91/1800.67 c 238463 454 3117 189249 60 7391 4881 2330 1964 121.38 1799.91/1800.67 c 238714 454 3368 208197 61 7921 5370 2581 1966 121.41 1799.91/1800.67 c 239190 454 3844 241946 62 8824 5908 3057 1969 121.48 1799.91/1800.67 c 240003 454 4657 295170 63 10440 6499 3870 1973 121.62 1799.91/1800.67 c 241325 454 5979 380787 63 13059 7149 5192 1979 121.93 1799.91/1800.67 c 243407 454 4374 231519 52 9850 7864 3587 1983 122.73 1799.91/1800.67 c 246631 454 7598 438575 57 16295 8651 6811 1993 123.70 1799.91/1800.67 c 251567 454 8049 474577 58 17267 9517 7262 2003 125.56 1799.91/1800.67 c 259073 454 5565 322099 57 12286 10469 4778 2025 127.91 1799.91/1800.67 c 270435 454 6034 345917 57 13202 11516 5247 2036 132.80 1799.91/1800.67 c 287579 454 10737 689175 64 22558 12668 9950 2016 142.61 1799.91/1800.67 c 313399 454 9532 562526 59 20188 13935 8745 2022 154.93 1799.91/1800.67 c 352233 454 11680 691309 59 24513 15329 10893 1922 183.22 1799.91/1800.67 c 410586 454 13454 863206 64 28028 16862 12667 1857 220.99 1799.91/1800.67 c 498218 454 12921 763408 59 26969 18549 12134 1622 307.02 1799.91/1800.67 c 629771 454 18727 1151786 61 38574 20404 17940 1438 437.74 1799.91/1800.67 c 827204 453 14605 931045 63 30339 22445 13818 1294 639.13 1799.91/1800.67 c 1123456 443 17194 1019124 59 35559 24690 16407 1123 999.72 1799.91/1800.67 c 1567939 441 21670 1245221 57 44434 27160 20883 962 1629.82 1799.91/1800.67 c Resources Exceeded 1799.91/1800.67 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 -x31 1799.91/1800.67 v -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 -x60 1799.91/1800.67 v -x61 -x62 -x63 -x64 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x105 -x106 -x107 -x108 1799.91/1800.67 v -x109 -x110 -x111 -x112 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 1799.91/1800.67 v -x84 -x85 -x86 -x87 -x88 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x129 -x130 -x131 1799.91/1800.67 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 1799.91/1800.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.67 c 48 1695104 11236 1734897 20278 1063668 19491 941 1800.00 1799.91/1800.67 c Objective: 3 1799.91/1800.67 s SATISFIABLE 1799.91/1800.67 c Total time: 1800 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-429176-1177981379 -o ROOT/results/node23/solver-429176-1177981379 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429176-1177981379/instance-429176-1177981379.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.02 1.02 0.89 3/77 6631 /proc/meminfo: memFree=1899704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=19556 CPUtime=0 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 246055071 20025344 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 4889 337 285 324 0 3956 0 [startup+0.104073 s] /proc/loadavg: 1.02 1.02 0.89 3/77 6631 /proc/meminfo: memFree=1899704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=5100 CPUtime=0.09 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 246055071 5222400 665 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 1275 665 312 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5100 [startup+0.201091 s] /proc/loadavg: 1.02 1.02 0.89 3/77 6631 /proc/meminfo: memFree=1899704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=6136 CPUtime=0.18 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 942 0 0 0 18 0 0 0 18 0 1 0 246055071 6283264 909 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 1534 909 312 324 0 603 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 6136 [startup+0.30111 s] /proc/loadavg: 1.02 1.02 0.89 3/77 6631 /proc/meminfo: memFree=1899704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=6652 CPUtime=0.29 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 1062 0 0 0 28 1 0 0 19 0 1 0 246055071 6811648 1029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 1663 1029 312 324 0 732 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6652 [startup+0.701188 s] /proc/loadavg: 1.02 1.02 0.89 3/77 6631 /proc/meminfo: memFree=1899704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=8736 CPUtime=0.69 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 1600 0 0 0 68 1 0 0 23 0 1 0 246055071 8945664 1567 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 2184 1567 312 324 0 1253 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8736 [startup+1.50134 s] /proc/loadavg: 1.02 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1892976/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=11848 CPUtime=1.49 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 2385 0 0 0 147 2 0 0 25 0 1 0 246055071 12132352 2352 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 2962 2352 312 324 0 2031 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11848 [startup+3.10165 s] /proc/loadavg: 1.01 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1889328/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=14060 CPUtime=3.09 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 2922 0 0 0 306 3 0 0 25 0 1 0 246055071 14397440 2889 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 3515 2889 312 324 0 2584 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14060 [startup+6.30127 s] /proc/loadavg: 1.01 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1887792/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=15980 CPUtime=6.29 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 3414 0 0 0 624 5 0 0 25 0 1 0 246055071 16363520 3381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 3995 3381 312 324 0 3064 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15980 [startup+12.7015 s] /proc/loadavg: 1.01 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1886960/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=16112 CPUtime=12.69 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 3443 0 0 0 1263 6 0 0 25 0 1 0 246055071 16498688 3410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 4028 3410 312 324 0 3097 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16112 [startup+25.502 s] /proc/loadavg: 1.01 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1884400/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=18968 CPUtime=25.48 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 4158 0 0 0 2539 9 0 0 25 0 1 0 246055071 19423232 4125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 4742 4125 312 324 0 3811 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18968 [startup+51.1019 s] /proc/loadavg: 1.00 1.02 0.89 2/78 6632 /proc/meminfo: memFree=1880496/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=22576 CPUtime=51.07 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5064 0 0 0 5090 17 0 0 25 0 1 0 246055071 23117824 5031 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 5644 5031 312 324 0 4713 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22576 [startup+102.302 s] /proc/loadavg: 1.00 1.01 0.90 2/78 6632 /proc/meminfo: memFree=1878960/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=102.25 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 10198 27 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 24044 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.90 2/78 6632 /proc/meminfo: memFree=1878896/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=162.22 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 16181 41 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 24044 [startup+222.304 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1878960/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=222.21 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 22170 51 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 24044 [startup+282.302 s] /proc/loadavg: 1.05 1.01 0.91 2/78 6632 /proc/meminfo: memFree=1878896/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=282.19 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 28159 60 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 24044 [startup+342.301 s] /proc/loadavg: 1.01 1.01 0.91 2/78 6632 /proc/meminfo: memFree=1878896/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=342.16 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 34146 70 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 24044 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1878832/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24044 CPUtime=402.14 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5439 0 0 0 40136 78 0 0 25 0 1 0 246055071 24621056 5406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6011 5406 313 324 0 5080 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 24044 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1878704/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=24172 CPUtime=462.12 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5459 0 0 0 46125 87 0 0 25 0 1 0 246055071 24752128 5426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6043 5426 313 324 0 5112 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 24172 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1876784/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=26036 CPUtime=522.09 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5929 0 0 0 52113 96 0 0 25 0 1 0 246055071 26660864 5896 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6509 5896 313 324 0 5578 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 26036 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1876720/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=26036 CPUtime=582.07 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5929 0 0 0 58103 104 0 0 25 0 1 0 246055071 26660864 5896 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6509 5896 313 324 0 5578 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 26036 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1876656/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=26008 CPUtime=642.05 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 5930 0 0 0 64092 113 0 0 25 0 1 0 246055071 26632192 5897 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6502 5897 313 324 0 5571 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 26008 ################ # More data... # ################ /proc/meminfo: memFree=1874480/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27724 CPUtime=1061.89 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 106016 173 0 0 25 0 1 0 246055071 28389376 6326 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6931 6326 313 324 0 6000 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 27724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874416/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27720 CPUtime=1121.87 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 112003 184 0 0 25 0 1 0 246055071 28385280 6325 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6930 6325 313 324 0 5999 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 27720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874352/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1181.86 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 117994 192 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 27716 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874352/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1241.83 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 123984 199 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 27716 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874224/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1301.8 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 129975 205 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 27716 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874160/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1361.79 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 135965 214 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 27716 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.91 2/78 6632 /proc/meminfo: memFree=1874160/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1421.77 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 141956 221 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 27716 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 0.92 2/78 6632 /proc/meminfo: memFree=1874096/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1481.73 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 147945 228 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 27716 [startup+1542.31 s] /proc/loadavg: 1.02 1.01 0.92 2/78 6632 /proc/meminfo: memFree=1874032/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1541.72 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 153937 235 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 27716 [startup+1602.3 s] /proc/loadavg: 1.01 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873968/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27716 CPUtime=1601.69 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6378 0 0 0 159927 242 0 0 25 0 1 0 246055071 28381184 6324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6929 6324 313 324 0 5998 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 27716 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873776/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27852 CPUtime=1661.68 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 165916 252 0 0 25 0 1 0 246055071 28520448 6357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6963 6357 313 324 0 6032 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 27852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873776/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1721.65 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 171907 258 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 27840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1781.63 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 177897 266 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 27840 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1791.33 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 178866 267 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 27840 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1794.53 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 179185 268 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 27840 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1797.72 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 179504 268 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 27840 [startup+1800 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1799.31 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 179663 268 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1799.31 Current children cumulated vsize (KiB) 27840 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1799.71 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 179703 268 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (KiB) 27840 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6632 /proc/meminfo: memFree=1873648/2055920 swapFree=4169104/4192956 [pid=6631] ppid=6629 vsize=27840 CPUtime=1799.91 /proc/6631/stat : 6631 (bsolo3.0.16) R 6629 6631 14988 0 -1 4194304 6411 0 0 0 179723 268 0 0 25 0 1 0 246055071 28508160 6355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2928412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6631/statm: 6960 6355 313 324 0 6029 0 Current children cumulated CPU time (s) 1799.91 Current children cumulated vsize (KiB) 27840 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.01 CPU user time (s): 1797.31 CPU system time (s): 2.69559 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 27852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.31 system time used= 2.69559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6412 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= 36934 runsolver used 1.36479 second user time and 3.89641 second system time The end
Begin job on node23 on Tue May 1 01:02:59 UTC 2007 IDJOB= 429176 IDBENCH= 47890 IDSOLVER= 163 FILE ID= node23/429176-1177981379 PBS_JOBID= 4728174 Free space on /tmp= 66558 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=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429176-1177981379/instance-429176-1177981379.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-429176-1177981379 -o ROOT/results/node23/solver-429176-1177981379 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429176-1177981379/instance-429176-1177981379.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED= 282823653 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.276 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.276 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1900112 kB Buffers: 16720 kB Cached: 50600 kB SwapCached: 2176 kB Active: 65468 kB Inactive: 24416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1900112 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 6744 kB Writeback: 0 kB Mapped: 30168 kB Slab: 51392 kB Committed_AS: 3045624 kB PageTables: 1796 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node23 on Tue May 1 01:33:00 UTC 2007