Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 1060.24 | 1060.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb |
MD5SUM | 2a7888c7c4f71cd1bd795e0b54484781 |
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 | 2.39664 |
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 | 54 |
Total number of constraints | 5 |
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 | 5 |
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) | 162 |
Sum of products size (including duplicates) | 324 |
Number of different products | 162 |
Sum of products size | 324 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning 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 HOME/instance-1879378-1245243553.opb 0.00/0.00 c File size is 11884 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.001 s 0.00/0.00 c Var: 216 Constr: 331 162/0/169 Lit: 1377 Watch. Lit: 848 0.00/0.00 c Obj. Vars: 9 (4.16667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 216 331 1377 4 1185 1835 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 4.49/4.51 c 101 216 528 16627 31 4785 2019 197 2885 0.04 4.49/4.51 c 251 216 765 35878 46 4201 2221 434 2241 0.11 4.49/4.51 c 477 216 1180 68856 58 10017 2444 849 1820 0.26 4.49/4.51 c 815 216 1830 121017 66 23357 2689 1499 1342 0.61 4.49/4.51 c 1325 216 2814 200632 71 42351 2958 2483 809 1.64 4.49/4.51 c 2088 216 2723 192863 70 42681 3254 2392 594 3.51 4.49/4.51 o 3 1060.19/1060.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1060.19/1060.64 c 2685 216 2071 151581 73 19839 1853 1740 594 4.51 1060.19/1060.64 c 2785 216 1259 79929 63 9631 2039 928 594 4.68 1060.19/1060.64 c 3037 216 1745 118586 67 21303 2243 1414 609 4.99 1060.19/1060.64 c 3512 127 2658 189107 71 44349 2468 2327 597 5.88 1060.19/1060.64 c 4326 127 2824 187755 66 37132 2715 2493 547 7.90 1060.19/1060.64 c 5646 127 2309 152181 65 30930 2987 1978 470 12.01 1060.19/1060.64 c 7727 127 2948 208598 70 47388 3286 2617 416 18.55 1060.19/1060.64 c 10951 127 3628 259685 71 60288 3615 3297 369 29.64 1060.19/1060.64 c 15887 127 3060 211784 69 53718 3977 2729 303 52.34 1060.19/1060.64 c 23394 127 2324 156836 67 36094 4375 1993 280 83.37 1060.19/1060.64 c 34756 127 2523 170894 67 43635 4813 2192 238 145.49 1060.19/1060.64 c 51901 127 3986 290916 72 74030 5295 3655 205 252.62 1060.19/1060.64 c 77721 127 4323 317342 73 78785 5825 3992 171 452.44 1060.19/1060.64 c 116555 127 6124 462952 75 112424 6408 5793 158 737.49 1060.19/1060.64 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 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 1060.19/1060.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1060.19/1060.64 c 20 151541 901 153949 6837 473888 6506 142 1060.23 1060.19/1060.64 c Objective: 3 1060.19/1060.64 s OPTIMUM FOUND 1060.19/1060.64 c Total time: 1060.23 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879378-1245243553/watcher-1879378-1245243553 -o /tmp/evaluation-result-1879378-1245243553/solver-1879378-1245243553 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879378-1245243553.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.95 3/65 797 /proc/meminfo: memFree=1853616/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=10708 CPUtime=0 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 191953357 10964992 256 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 2677 256 191 640 0 2033 0 [startup+0.050079 s] /proc/loadavg: 1.00 1.00 0.95 3/65 797 /proc/meminfo: memFree=1853616/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=11100 CPUtime=0.04 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 363 0 0 0 4 0 0 0 18 0 1 0 191953357 11366400 344 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 2775 344 197 640 0 2131 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11100 [startup+0.102084 s] /proc/loadavg: 1.00 1.00 0.95 3/65 797 /proc/meminfo: memFree=1853616/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=11232 CPUtime=0.09 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 410 0 0 0 9 0 0 0 18 0 1 0 191953357 11501568 391 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 2808 392 197 640 0 2164 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11232 [startup+0.301105 s] /proc/loadavg: 1.00 1.00 0.95 3/65 797 /proc/meminfo: memFree=1853616/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=12016 CPUtime=0.29 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 618 0 0 0 29 0 0 0 19 0 1 0 191953357 12304384 599 1992294400 134512640 137136520 4294956256 18446744073709551615 134598527 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 3004 599 198 640 0 2360 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12016 [startup+0.702146 s] /proc/loadavg: 1.00 1.00 0.95 3/65 797 /proc/meminfo: memFree=1853616/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=13064 CPUtime=0.69 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 884 0 0 0 69 0 0 0 23 0 1 0 191953357 13377536 865 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 3266 865 198 640 0 2622 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13064 [startup+1.50123 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1850408/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=14376 CPUtime=1.49 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1193 0 0 0 149 0 0 0 25 0 1 0 191953357 14721024 1174 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 3594 1174 198 640 0 2950 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14376 [startup+3.1014 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1848680/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=15956 CPUtime=3.09 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1580 0 0 0 309 0 0 0 25 0 1 0 191953357 16338944 1561 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 3989 1561 198 640 0 3345 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15956 [startup+6.30174 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1847720/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=16220 CPUtime=6.29 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1669 0 0 0 629 0 0 0 25 0 1 0 191953357 16609280 1650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4055 1650 198 640 0 3411 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16220 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1847664/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=16220 CPUtime=12.68 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1669 0 0 0 1267 1 0 0 25 0 1 0 191953357 16609280 1650 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4055 1650 198 640 0 3411 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16220 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1847664/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=16220 CPUtime=25.48 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1669 0 0 0 2546 2 0 0 25 0 1 0 191953357 16609280 1650 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4055 1650 198 640 0 3411 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16220 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1846704/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=17404 CPUtime=51.06 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 1952 0 0 0 5103 3 0 0 25 0 1 0 191953357 17821696 1933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4351 1933 198 640 0 3707 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 17404 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.95 2/66 798 /proc/meminfo: memFree=1845552/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=18452 CPUtime=102.25 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2229 0 0 0 10219 6 0 0 25 0 1 0 191953357 18894848 2210 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4613 2210 198 640 0 3969 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18452 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1844848/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=18984 CPUtime=162.22 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2344 0 0 0 16213 9 0 0 25 0 1 0 191953357 19439616 2325 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4746 2325 198 640 0 4102 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 18984 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1844784/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=19100 CPUtime=222.2 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2369 0 0 0 22209 11 0 0 25 0 1 0 191953357 19558400 2350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 4775 2350 198 640 0 4131 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 19100 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1844016/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=20128 CPUtime=282.17 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2641 0 0 0 28204 13 0 0 25 0 1 0 191953357 20611072 2622 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5032 2622 198 640 0 4388 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 20128 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1843120/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=20780 CPUtime=342.16 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2790 0 0 0 34200 16 0 0 25 0 1 0 191953357 21278720 2771 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5195 2771 198 640 0 4551 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 20780 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1843120/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=20780 CPUtime=402.13 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2790 0 0 0 40195 18 0 0 25 0 1 0 191953357 21278720 2771 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5195 2771 198 640 0 4551 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 20780 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1843120/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=20900 CPUtime=462.1 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2818 0 0 0 46190 20 0 0 25 0 1 0 191953357 21401600 2799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544789 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5225 2799 198 640 0 4581 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 20900 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1842800/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21032 CPUtime=522.08 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2877 0 0 0 52186 22 0 0 25 0 1 0 191953357 21536768 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5258 2858 198 640 0 4614 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 21032 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1842736/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21032 CPUtime=582.06 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2877 0 0 0 58181 25 0 0 25 0 1 0 191953357 21536768 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5258 2858 198 640 0 4614 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 21032 [startup+642.303 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1842672/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21032 CPUtime=642.04 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2877 0 0 0 64176 28 0 0 25 0 1 0 191953357 21536768 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5258 2858 198 640 0 4614 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 21032 [startup+702.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1842544/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21032 CPUtime=702.01 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 2877 0 0 0 70172 29 0 0 25 0 1 0 191953357 21536768 2858 1992294400 134512640 137136520 4294956256 18446744073709551615 136518848 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5258 2858 198 640 0 4614 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 21032 [startup+762.306 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841776/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21944 CPUtime=762 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3079 0 0 0 76169 31 0 0 25 0 1 0 191953357 22470656 3060 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5486 3060 198 640 0 4842 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 21944 [startup+822.303 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841776/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21936 CPUtime=821.97 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3079 0 0 0 82164 33 0 0 25 0 1 0 191953357 22462464 3060 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5484 3060 198 640 0 4840 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 21936 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841776/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21932 CPUtime=881.95 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3079 0 0 0 88161 34 0 0 25 0 1 0 191953357 22458368 3060 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5483 3060 198 640 0 4839 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 21932 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841712/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21932 CPUtime=941.93 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3079 0 0 0 94156 37 0 0 25 0 1 0 191953357 22458368 3060 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5483 3060 198 640 0 4839 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 21932 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841712/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=21932 CPUtime=1001.9 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3079 0 0 0 100151 39 0 0 25 0 1 0 191953357 22458368 3060 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5483 3060 198 640 0 4839 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 21932 Solver just ended. Dumping a history of the last processes samples [startup+1023.9 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22044 CPUtime=1023.5 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 102310 40 0 0 25 0 1 0 191953357 22573056 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5511 3085 198 640 0 4867 0 Current children cumulated CPU time (s) 1023.5 Current children cumulated vsize (KiB) 22044 [startup+1036.7 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22044 CPUtime=1036.3 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 103589 41 0 0 25 0 1 0 191953357 22573056 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5511 3085 198 640 0 4867 0 Current children cumulated CPU time (s) 1036.3 Current children cumulated vsize (KiB) 22044 [startup+1049.5 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1049.09 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 104868 41 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1049.09 Current children cumulated vsize (KiB) 22040 [startup+1055.9 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1055.49 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105507 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1055.49 Current children cumulated vsize (KiB) 22040 [startup+1059.1 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1058.69 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105827 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1058.69 Current children cumulated vsize (KiB) 22040 [startup+1059.9 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1059.49 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105907 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1059.49 Current children cumulated vsize (KiB) 22040 [startup+1060.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1059.89 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105947 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1059.89 Current children cumulated vsize (KiB) 22040 [startup+1060.5 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1060.09 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105967 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1060.09 Current children cumulated vsize (KiB) 22040 [startup+1060.6 s] /proc/loadavg: 1.00 1.00 0.95 2/66 804 /proc/meminfo: memFree=1841648/2055920 swapFree=4175776/4192956 [pid=797] ppid=795 vsize=22040 CPUtime=1060.19 /proc/797/stat : 797 (bsolo) R 795 797 509 0 -1 4194304 3104 0 0 0 105977 42 0 0 25 0 1 0 191953357 22568960 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/797/statm: 5510 3085 198 640 0 4866 0 Current children cumulated CPU time (s) 1060.19 Current children cumulated vsize (KiB) 22040 Child status: 0 Real time (s): 1060.64 CPU time (s): 1060.24 CPU user time (s): 1059.81 CPU system time (s): 0.422935 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (KiB): 22044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1059.81 system time used= 0.422935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3106 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= 2 involuntary context switches= 4124 runsolver used 1.3328 second user time and 2.33764 second system time The end
Begin job on node82 at 2009-06-17 14:59:13 IDJOB=1879378 IDBENCH=47928 IDSOLVER=701 FILE ID=node82/1879378-1245243553 PBS_JOBID= 9372269 Free space on /tmp= 66388 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879378-1245243553/watcher-1879378-1245243553 -o /tmp/evaluation-result-1879378-1245243553/solver-1879378-1245243553 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879378-1245243553.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2a7888c7c4f71cd1bd795e0b54484781 RANDOM SEED=1339841834 node82.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1854096 kB Buffers: 20336 kB Cached: 111768 kB SwapCached: 10628 kB Active: 24548 kB Inactive: 120936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854096 kB SwapTotal: 4192956 kB SwapFree: 4175776 kB Dirty: 4028 kB Writeback: 0 kB Mapped: 19056 kB Slab: 42236 kB Committed_AS: 101740 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879378-1245243553.opb Free space on /tmp at the end= 66384 MiB End job on node82 at 2009-06-17 15:16:54