Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 753.877 | 754.238 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb |
MD5SUM | 52bf383ed9b3de8fe398adacf729ec57 |
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.818874 |
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-1879372-1245243541.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. 0.99/1.02 c 100 216 515 15189 29 4207 2019 184 2439 0.04 0.99/1.02 c 252 216 814 41816 51 9438 2221 483 2625 0.10 0.99/1.02 c 478 216 1256 84821 67 19652 2444 925 1444 0.33 0.99/1.02 c 817 216 1915 139872 73 37817 2689 1584 1083 0.75 0.99/1.02 o 385 11.29/11.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 11.29/11.36 c 955 216 2182 164137 75 38489 1853 1851 932 1.02 11.29/11.36 c 1055 216 1290 88714 68 10019 2039 959 825 1.28 11.29/11.36 c 1305 216 1776 128160 72 19708 2243 1445 925 1.41 11.29/11.36 c 1780 216 1499 92179 61 11746 2468 1168 797 2.23 11.29/11.36 c 2594 216 1634 108876 66 13941 2715 1303 773 3.35 11.29/11.36 c 3915 216 2693 186329 69 33732 2987 2362 717 5.46 11.29/11.36 c 5996 216 1963 132328 67 21817 3286 1632 541 11.07 11.29/11.36 o 101 14.49/14.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.49/14.55 c 6364 216 2679 196928 73 45879 1853 2348 560 11.36 14.49/14.55 c 6465 216 1456 96675 66 16632 2039 1125 560 11.54 14.49/14.55 c 6717 216 1948 135965 69 25688 2243 1617 570 11.78 14.49/14.55 c 7192 216 1636 104943 64 18961 2468 1305 570 12.60 14.49/14.55 c 8006 216 1894 118342 62 23210 2715 1563 554 14.44 14.49/14.55 o 29 22.08/22.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.08/22.17 c 8101 216 2077 133622 64 33487 1853 1746 556 14.55 22.08/22.17 c 8202 216 1259 70512 56 7948 2039 928 554 14.79 22.08/22.17 c 8453 216 1742 109426 62 14367 2243 1411 559 15.10 22.08/22.17 c 8928 216 1454 89061 61 17546 2468 1123 554 16.11 22.08/22.17 c 9742 216 1686 103409 61 20589 2715 1355 538 18.09 22.08/22.17 c 11062 216 2755 181874 66 39156 2987 2424 504 21.93 22.08/22.17 o 3 753.83/754.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 753.83/754.23 c 11189 172 2998 198280 66 49490 1845 2667 504 22.16 753.83/754.23 c 11289 127 1453 80909 55 13673 2030 1122 504 22.39 753.83/754.23 c 11540 127 1940 121375 62 22538 2234 1609 508 22.67 753.83/754.23 c 12016 127 1586 97752 61 17629 2458 1255 505 23.75 753.83/754.23 c 12830 127 1732 112063 64 16265 2704 1401 491 26.11 753.83/754.23 c 14150 127 2719 187541 68 44009 2975 2388 484 29.21 753.83/754.23 c 16231 127 3376 246284 72 34240 3273 3045 453 35.81 753.83/754.23 c 19454 127 2272 152663 67 32918 3601 1941 402 48.31 753.83/754.23 c 24391 127 3800 272803 71 65181 3962 3469 378 64.42 753.83/754.23 c 31898 127 3030 215605 71 46009 4359 2699 342 93.09 753.83/754.23 c 43260 127 3432 244063 71 53640 4795 3101 309 139.64 753.83/754.23 c 60406 127 5073 375246 73 102615 5275 4742 244 246.79 753.83/754.23 c 86225 127 5499 406308 73 96056 5803 5168 193 445.66 753.83/754.23 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 753.83/754.23 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 753.83/754.23 c 35 123790 739 127376 4497 296018 4166 164 753.87 753.83/754.23 c Objective: 3 753.83/754.23 s OPTIMUM FOUND 753.83/754.23 c Total time: 753.874 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-1879372-1245243541/watcher-1879372-1245243541 -o /tmp/evaluation-result-1879372-1245243541/solver-1879372-1245243541 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879372-1245243541.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: 0.99 0.98 0.93 3/65 10331 /proc/meminfo: memFree=1769336/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=10708 CPUtime=0 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 191950946 10964992 262 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 2677 262 197 640 0 2033 0 [startup+0.0196769 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10331 /proc/meminfo: memFree=1769336/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=10840 CPUtime=0.01 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 312 0 0 0 1 0 0 0 18 0 1 0 191950946 11100160 293 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 2710 293 197 640 0 2066 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10840 [startup+0.101693 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10331 /proc/meminfo: memFree=1769336/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=11620 CPUtime=0.09 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 498 0 0 0 9 0 0 0 18 0 1 0 191950946 11898880 479 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 2905 479 198 640 0 2261 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11620 [startup+0.301736 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10331 /proc/meminfo: memFree=1769336/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=12272 CPUtime=0.29 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 668 0 0 0 29 0 0 0 19 0 1 0 191950946 12566528 649 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3068 649 198 640 0 2424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.701817 s] /proc/loadavg: 0.99 0.98 0.93 3/65 10331 /proc/meminfo: memFree=1769336/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=13576 CPUtime=0.69 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 991 0 0 0 69 0 0 0 23 0 1 0 191950946 13901824 972 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3394 972 198 640 0 2750 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13576 [startup+1.50298 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1765616/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=14492 CPUtime=1.49 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1223 0 0 0 149 0 0 0 25 0 1 0 191950946 14839808 1204 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3623 1204 198 640 0 2979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14492 [startup+3.10131 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1764976/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=14492 CPUtime=3.09 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1223 0 0 0 308 1 0 0 25 0 1 0 191950946 14839808 1204 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3623 1204 198 640 0 2979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14492 [startup+6.30198 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1764592/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=15024 CPUtime=6.29 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1364 0 0 0 628 1 0 0 25 0 1 0 191950946 15384576 1345 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3756 1346 198 640 0 3112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15024 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1763760/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=15672 CPUtime=12.69 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1522 0 0 0 1267 2 0 0 25 0 1 0 191950946 16048128 1503 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3918 1503 198 640 0 3274 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15672 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1763760/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=15672 CPUtime=25.48 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1522 0 0 0 2546 2 0 0 25 0 1 0 191950946 16048128 1503 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 3918 1503 198 640 0 3274 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15672 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1763248/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=16324 CPUtime=51.07 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 1696 0 0 0 5103 4 0 0 25 0 1 0 191950946 16715776 1677 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 4081 1677 198 640 0 3437 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16324 [startup+102.307 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10332 /proc/meminfo: memFree=1761392/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=18144 CPUtime=102.25 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2142 0 0 0 10219 6 0 0 25 0 1 0 191950946 18579456 2123 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 4536 2123 198 640 0 3892 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 18144 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1760624/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=19068 CPUtime=162.21 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2358 0 0 0 16211 10 0 0 25 0 1 0 191950946 19525632 2339 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 4767 2339 198 640 0 4123 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 19068 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1760368/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=19068 CPUtime=222.17 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2386 0 0 0 22204 13 0 0 25 0 1 0 191950946 19525632 2367 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 4767 2367 198 640 0 4123 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 19068 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1759408/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=20112 CPUtime=282.15 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2622 0 0 0 28199 16 0 0 25 0 1 0 191950946 20594688 2603 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5028 2603 198 640 0 4384 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 20112 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1759280/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=20240 CPUtime=342.13 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2654 0 0 0 34195 18 0 0 25 0 1 0 191950946 20725760 2635 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5060 2635 198 640 0 4416 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 20240 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1759280/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=20240 CPUtime=402.09 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2654 0 0 0 40190 19 0 0 25 0 1 0 191950946 20725760 2635 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5060 2635 198 640 0 4416 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 20240 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1758960/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=20500 CPUtime=462.06 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2734 0 0 0 46185 21 0 0 25 0 1 0 191950946 20992000 2715 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5125 2715 198 640 0 4481 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 20500 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1758256/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=522.04 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 52181 23 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 21160 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1758192/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=582.01 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 58176 25 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 21160 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1758128/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=641.98 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 64172 26 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 21160 [startup+702.303 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1758000/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=701.96 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 70168 28 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 21160 Solver just ended. Dumping a history of the last processes samples [startup+716.702 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=716.35 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 71607 28 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 716.35 Current children cumulated vsize (KiB) 21160 [startup+729.501 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=729.14 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 72886 28 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 729.14 Current children cumulated vsize (KiB) 21160 [startup+742.302 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=741.93 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 74164 29 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 741.93 Current children cumulated vsize (KiB) 21160 [startup+748.701 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=748.34 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 74804 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 748.34 Current children cumulated vsize (KiB) 21160 [startup+751.902 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=751.53 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 75123 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 751.53 Current children cumulated vsize (KiB) 21160 [startup+753.505 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=753.14 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 75284 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 753.14 Current children cumulated vsize (KiB) 21160 [startup+753.901 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=753.53 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 75323 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 753.53 Current children cumulated vsize (KiB) 21160 [startup+754.101 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=753.73 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 75343 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134539796 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 753.73 Current children cumulated vsize (KiB) 21160 [startup+754.201 s] /proc/loadavg: 0.99 0.98 0.93 2/66 10338 /proc/meminfo: memFree=1757936/2055920 swapFree=4192812/4192956 [pid=10331] ppid=10329 vsize=21160 CPUtime=753.83 /proc/10331/stat : 10331 (bsolo) R 10329 10331 10142 0 -1 4194304 2907 0 0 0 75353 30 0 0 25 0 1 0 191950946 21667840 2888 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/10331/statm: 5290 2888 198 640 0 4646 0 Current children cumulated CPU time (s) 753.83 Current children cumulated vsize (KiB) 21160 Child status: 0 Real time (s): 754.238 CPU time (s): 753.877 CPU user time (s): 753.572 CPU system time (s): 0.304953 CPU usage (%): 99.9522 Max. virtual memory (cumulated for all children) (KiB): 21160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 753.572 system time used= 0.304953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2909 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= 2275 runsolver used 0.739887 second user time and 2.00969 second system time The end
Begin job on node54 at 2009-06-17 14:59:02 IDJOB=1879372 IDBENCH=47922 IDSOLVER=701 FILE ID=node54/1879372-1245243541 PBS_JOBID= 9372287 Free space on /tmp= 66496 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=419-P1=479-P2=367-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879372-1245243541/watcher-1879372-1245243541 -o /tmp/evaluation-result-1879372-1245243541/solver-1879372-1245243541 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879372-1245243541.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 52bf383ed9b3de8fe398adacf729ec57 RANDOM SEED=2088710417 node54.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.259 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 : 5931.00 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.259 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: 1769816 kB Buffers: 39732 kB Cached: 171748 kB SwapCached: 0 kB Active: 54112 kB Inactive: 171124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769816 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4020 kB Writeback: 0 kB Mapped: 23608 kB Slab: 46768 kB Committed_AS: 134804 kB PageTables: 1372 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-1879372-1245243541.opb Free space on /tmp at the end= 66492 MiB End job on node54 at 2009-06-17 15:11:36