Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 257 | 1800.01 | 1801.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb |
MD5SUM | 133707692e98c55077a0d19203c18204 |
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.201969 |
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/431010-1178001884/instance-431010-1178001884.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.003 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.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 648 991 4149 4 3569 5543 0 0 0.01 0.00/0.01 c Switching off LPR mode. 426.66/427.05 c 101 648 1092 10882 9 3730 6098 101 5611 0.02 426.66/427.05 c 253 648 1244 22977 18 3956 6708 253 8433 0.03 426.66/427.05 c 478 648 1469 40985 27 4370 7379 478 9018 0.05 426.66/427.05 c 817 648 1808 70530 39 5016 8117 817 9284 0.09 426.66/427.05 c 1326 648 2317 117018 50 5996 8929 1326 8339 0.16 426.66/427.05 c 2089 648 3080 182363 59 7483 9822 2089 8668 0.24 426.66/427.05 c 3236 648 4227 274583 64 9789 10805 3236 7797 0.41 426.66/427.05 c 4958 648 5949 411388 69 13258 11886 4958 7489 0.66 426.66/427.05 c 7542 648 8533 602216 70 18399 13075 7542 5061 1.49 426.66/427.05 c 11422 648 12413 923547 74 26179 14383 11422 4650 2.46 426.66/427.05 c 17244 648 10743 786397 73 22897 15822 9752 3381 5.10 426.66/427.05 c 25982 648 11497 788846 68 24320 17405 10506 2042 12.72 426.66/427.05 c 39093 648 15327 1295028 84 32026 19146 14336 2077 18.82 426.66/427.05 c 58764 648 15311 1380990 90 31907 21061 14320 1693 34.69 426.66/427.05 c 88274 648 12989 911375 70 27254 23168 11998 1217 72.51 426.66/427.05 c 132544 648 19695 1614827 81 40844 25485 18704 1149 115.30 426.66/427.05 c 198954 648 12639 856882 67 26644 28034 11648 1038 191.56 426.66/427.05 c 298575 645 26922 2057184 76 55254 30838 25931 964 309.66 426.66/427.05 o 281 426.725 541.27/541.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 541.27/541.75 c 401722 645 29494 2306887 78 60361 5561 28503 941 426.73 541.27/541.75 c 401823 645 3876 236987 61 9195 6118 2885 939 427.69 541.27/541.75 c 402073 645 4126 257890 62 9817 6730 3135 940 427.71 541.27/541.75 c 402548 645 4601 299625 65 10700 7404 3610 941 427.76 541.27/541.75 c 403361 645 5414 369064 68 12336 8145 4423 942 427.86 541.27/541.75 c 404681 645 6734 479049 71 14974 8960 5743 945 428.21 541.27/541.75 c 406763 645 8816 651002 73 19113 9857 7825 947 429.14 541.27/541.75 c 409986 645 6543 471335 72 14605 10843 5552 953 429.89 541.27/541.75 c 414922 645 11479 895646 78 24420 11928 10488 962 430.97 541.27/541.75 c 422428 645 12835 1020307 79 27110 13121 11844 974 433.58 541.27/541.75 c 433789 645 10874 814247 74 23135 14434 9883 980 442.25 541.27/541.75 c 450933 645 12914 1101472 85 27191 15878 11923 997 451.97 541.27/541.75 c 476752 645 13794 1175868 85 29016 17466 12803 1016 469.13 541.27/541.75 c 515585 645 15704 1368431 87 32819 19213 14713 1033 498.65 541.27/541.75 o 257 541.33 1799.98/1801.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1801.52 c 558998 645 19558 1602895 81 40576 5561 18567 1032 541.33 1799.98/1801.52 c 559099 645 3876 244338 63 9332 6118 2885 1032 541.56 1799.98/1801.52 c 559349 645 4126 266326 64 9652 6730 3135 1032 541.59 1799.98/1801.52 c 559824 645 4601 306960 66 10582 7404 3610 1033 541.64 1799.98/1801.52 c 560639 645 5416 375311 69 12223 8145 4425 1034 541.77 1799.98/1801.52 c 561960 645 6737 489607 72 14974 8960 5746 1036 542.07 1799.98/1801.52 c 564041 645 8818 666669 75 19125 9857 7827 1039 542.58 1799.98/1801.52 c 567264 645 7018 512810 73 15519 10843 6027 1042 544.03 1799.98/1801.52 c 572201 645 6449 447101 69 14347 11928 5458 1044 547.96 1799.98/1801.52 c 579707 645 7405 576903 77 16215 13121 6414 1054 549.65 1799.98/1801.52 c 591068 645 11603 943982 81 24546 14434 10612 1066 554.30 1799.98/1801.52 c 608213 645 14099 1079592 76 29539 15878 13108 1068 569.33 1799.98/1801.52 c 634032 645 15833 1194151 75 32989 17466 14842 1058 598.77 1799.98/1801.52 c 672864 645 10578 783055 74 22497 19213 9587 1056 636.76 1799.98/1801.52 c 731218 645 18505 1375049 74 38467 21135 17514 1049 696.78 1799.98/1801.52 c 818850 645 17316 1869987 107 36045 23249 16325 994 823.56 1799.98/1801.52 c 950403 645 22649 1765788 77 46717 25574 21658 950 1000.38 1799.98/1801.52 c 1147835 645 19813 1448532 73 41014 28132 18822 934 1228.71 1799.98/1801.52 c 1444087 645 18245 1426673 78 37957 30946 17254 882 1636.82 1799.98/1801.52 c Resources Exceeded 1799.98/1801.52 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 -x32 1799.98/1801.52 v -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.98/1801.52 v x61 -x62 x63 x64 x65 x66 -x67 -x68 -x69 x70 -x71 -x72 -x109 -x110 x111 -x112 -x113 x114 -x115 x116 -x117 x73 -x74 -x75 -x76 -x77 1799.98/1801.52 v -x78 -x79 -x80 -x81 -x118 -x119 x120 -x121 x122 x123 -x124 -x125 -x126 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x127 -x128 1799.98/1801.52 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x136 -x137 -x138 x139 x140 x141 -x142 1799.98/1801.52 v -x143 -x144 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 1799.98/1801.52 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1799.98/1801.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1801.52 c 51 1548767 9283 1579372 23264 1761986 22273 860 1800.00 1799.98/1801.52 c Objective: 257 1799.98/1801.52 s SATISFIABLE 1799.98/1801.52 c Total time: 1800 s
OK 257
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node66/watcher-431010-1178001884 -o ROOT/results/node66/solver-431010-1178001884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431010-1178001884/instance-431010-1178001884.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.94 3/64 17156 /proc/meminfo: memFree=1818288/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=3936 CPUtime=0 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 384 0 0 0 0 0 0 0 18 0 1 0 276178007 4030464 353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10117770 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 984 353 292 324 0 50 0 [startup+0.0761721 s] /proc/loadavg: 0.91 0.95 0.94 3/64 17156 /proc/meminfo: memFree=1818288/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=4972 CPUtime=0.07 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 668 0 0 0 7 0 0 0 18 0 1 0 276178007 5091328 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 1243 634 312 324 0 312 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4972 [startup+0.103933 s] /proc/loadavg: 0.91 0.95 0.94 3/64 17156 /proc/meminfo: memFree=1818288/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=5360 CPUtime=0.09 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 736 0 0 0 9 0 0 0 18 0 1 0 276178007 5488640 702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 1340 702 312 324 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5360 [startup+0.301218 s] /proc/loadavg: 0.91 0.95 0.94 3/64 17156 /proc/meminfo: memFree=1818288/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=7176 CPUtime=0.29 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 1196 0 0 0 29 0 0 0 19 0 1 0 276178007 7348224 1162 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 1794 1162 312 324 0 863 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7176 [startup+0.701295 s] /proc/loadavg: 0.91 0.95 0.94 3/64 17156 /proc/meminfo: memFree=1818288/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=10132 CPUtime=0.69 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 1932 0 0 0 68 1 0 0 23 0 1 0 276178007 10375168 1898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 2533 1898 312 324 0 1602 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10132 [startup+1.50145 s] /proc/loadavg: 0.91 0.95 0.94 2/65 17157 /proc/meminfo: memFree=1810216/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=12720 CPUtime=1.49 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 2589 0 0 0 148 1 0 0 25 0 1 0 276178007 13025280 2555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 3180 2555 312 324 0 2249 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12720 [startup+3.10177 s] /proc/loadavg: 0.91 0.95 0.94 2/65 17157 /proc/meminfo: memFree=1807016/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=19044 CPUtime=3.09 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 4166 0 0 0 307 2 0 0 25 0 1 0 276178007 19501056 4132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 4761 4132 312 324 0 3830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19044 [startup+6.30141 s] /proc/loadavg: 0.92 0.95 0.94 2/65 17157 /proc/meminfo: memFree=1800696/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=20976 CPUtime=6.29 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 4654 0 0 0 626 3 0 0 25 0 1 0 276178007 21479424 4620 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 5244 4620 312 324 0 4313 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20976 [startup+12.7017 s] /proc/loadavg: 0.93 0.95 0.94 2/65 17157 /proc/meminfo: memFree=1799864/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=21832 CPUtime=12.68 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 4870 0 0 0 1263 5 0 0 25 0 1 0 276178007 22355968 4836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 5458 4836 312 324 0 4527 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21832 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.94 2/65 17157 /proc/meminfo: memFree=1791992/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=29788 CPUtime=25.47 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 6871 0 0 0 2539 8 0 0 25 0 1 0 276178007 30502912 6837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 7447 6837 312 324 0 6516 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 29788 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.94 2/65 17157 /proc/meminfo: memFree=1789112/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=32596 CPUtime=51.06 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 7564 0 0 0 5094 12 0 0 25 0 1 0 276178007 33378304 7530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 8149 7530 312 324 0 7218 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32596 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.94 2/65 17157 /proc/meminfo: memFree=1789048/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=32592 CPUtime=102.22 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 7566 0 0 0 10204 18 0 0 25 0 1 0 276178007 33374208 7532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10270020 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 8148 7532 312 324 0 7217 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 32592 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1786872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=34804 CPUtime=162.16 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 8126 0 0 0 16191 25 0 0 25 0 1 0 276178007 35639296 8092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 8701 8092 312 324 0 7770 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 34804 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1786872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=34784 CPUtime=222.13 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 8128 0 0 0 22182 31 0 0 25 0 1 0 276178007 35618816 8090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 8696 8090 312 324 0 7765 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 34784 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1786872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=34780 CPUtime=282.07 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 8128 0 0 0 28169 38 0 0 25 0 1 0 276178007 35614720 8089 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 8695 8089 312 324 0 7764 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 34780 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780152/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41548 CPUtime=342.02 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9818 0 0 0 34155 47 0 0 25 0 1 0 276178007 42545152 9779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10387 9779 312 324 0 9456 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 41548 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780152/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41528 CPUtime=401.97 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9818 0 0 0 40144 53 0 0 25 0 1 0 276178007 42524672 9776 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10382 9776 312 324 0 9451 0 Current children cumulated CPU time (s) 401.97 Current children cumulated vsize (KiB) 41528 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780152/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41440 CPUtime=461.94 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9819 0 0 0 46129 65 0 0 25 0 1 0 276178007 42434560 9755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10360 9755 313 324 0 9429 0 Current children cumulated CPU time (s) 461.94 Current children cumulated vsize (KiB) 41440 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780088/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41440 CPUtime=521.88 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9819 0 0 0 52117 71 0 0 25 0 1 0 276178007 42434560 9755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10360 9755 313 324 0 9429 0 Current children cumulated CPU time (s) 521.88 Current children cumulated vsize (KiB) 41440 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780024/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41440 CPUtime=581.84 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9819 0 0 0 58104 80 0 0 25 0 1 0 276178007 42434560 9755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10360 9755 313 324 0 9429 0 Current children cumulated CPU time (s) 581.84 Current children cumulated vsize (KiB) 41440 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17157 /proc/meminfo: memFree=1780088/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=41440 CPUtime=641.79 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 9819 0 0 0 64092 87 0 0 25 0 1 0 276178007 42434560 9755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 10360 9755 313 324 0 9429 0 Current children cumulated CPU time (s) 641.79 Current children cumulated vsize (KiB) 41440 ################ # More data... # ################ /proc/meminfo: memFree=1770296/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50732 CPUtime=1061.43 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 105991 152 0 0 25 0 1 0 276178007 51949568 12078 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12683 12078 313 324 0 11752 0 Current children cumulated CPU time (s) 1061.43 Current children cumulated vsize (KiB) 50732 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770744/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50304 CPUtime=1121.38 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 111978 160 0 0 25 0 1 0 276178007 51511296 11971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12576 11971 313 324 0 11645 0 Current children cumulated CPU time (s) 1121.38 Current children cumulated vsize (KiB) 50304 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770808/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50304 CPUtime=1181.34 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 117969 165 0 0 25 0 1 0 276178007 51511296 11971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527358 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12576 11971 313 324 0 11645 0 Current children cumulated CPU time (s) 1181.34 Current children cumulated vsize (KiB) 50304 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770744/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50304 CPUtime=1241.3 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 123956 174 0 0 25 0 1 0 276178007 51511296 11971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12576 11971 313 324 0 11645 0 Current children cumulated CPU time (s) 1241.3 Current children cumulated vsize (KiB) 50304 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770744/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1301.24 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 129943 181 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1301.24 Current children cumulated vsize (KiB) 50280 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770744/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1361.18 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 135930 188 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1361.18 Current children cumulated vsize (KiB) 50280 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1421.08 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 141915 193 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1421.08 Current children cumulated vsize (KiB) 50280 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1481.02 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 147903 199 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573504 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1481.02 Current children cumulated vsize (KiB) 50280 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1540.99 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 153894 205 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1540.99 Current children cumulated vsize (KiB) 50280 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1600.93 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 159882 211 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1600.93 Current children cumulated vsize (KiB) 50280 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1660.89 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 165872 217 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1660.89 Current children cumulated vsize (KiB) 50280 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1720.84 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 171861 223 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1720.84 Current children cumulated vsize (KiB) 50280 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1780.79 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 177850 229 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1780.79 Current children cumulated vsize (KiB) 50280 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1790.39 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 178809 230 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (KiB) 50280 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1796.77 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 179447 230 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 50280 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1798.38 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 179607 231 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1798.38 Current children cumulated vsize (KiB) 50280 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1799.18 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 179687 231 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1799.18 Current children cumulated vsize (KiB) 50280 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1799.58 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 179727 231 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 50280 [startup+1801.5 s] /proc/loadavg: 0.99 0.97 0.94 2/65 17355 /proc/meminfo: memFree=1770872/2055920 swapFree=4183004/4192956 [pid=17156] ppid=17154 vsize=50280 CPUtime=1799.98 /proc/17156/stat : 17156 (bsolo3.0.16) R 17154 17156 15386 0 -1 4194304 12156 0 0 0 179767 231 0 0 25 0 1 0 276178007 51486720 11965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17156/statm: 12570 11965 313 324 0 11639 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 50280 Child status: 0 Real time (s): 1801.53 CPU time (s): 1800.01 CPU user time (s): 1797.69 CPU system time (s): 2.32065 CPU usage (%): 99.9158 Max. virtual memory (cumulated for all children) (KiB): 50824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.69 system time used= 2.32065 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12157 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= 7924 runsolver used 1.91571 second user time and 3.9684 second system time The end
Begin job on node66 on Tue May 1 06:44:44 UTC 2007 IDJOB= 431010 IDBENCH= 48021 IDSOLVER= 163 FILE ID= node66/431010-1178001884 PBS_JOBID= 4728257 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=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431010-1178001884/instance-431010-1178001884.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-431010-1178001884 -o ROOT/results/node66/solver-431010-1178001884 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431010-1178001884/instance-431010-1178001884.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 133707692e98c55077a0d19203c18204 RANDOM SEED= 741433587 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node66.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.281 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.281 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: 1818696 kB Buffers: 22160 kB Cached: 138708 kB SwapCached: 3760 kB Active: 56436 kB Inactive: 114828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1818696 kB SwapTotal: 4192956 kB SwapFree: 4183004 kB Dirty: 6592 kB Writeback: 0 kB Mapped: 16036 kB Slab: 52048 kB Committed_AS: 2887944 kB PageTables: 1376 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 node66 on Tue May 1 07:14:46 UTC 2007