Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 435.054 | 435.212 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb |
MD5SUM | 83b6f70c71dbcf261c00790940be437e |
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.171972 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
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) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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/431276-1178004334/instance-431276-1178004334.opb 0.00/0.00 c File size is 8050 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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368 0.00/0.00 c Obj. Vars: 8 (1.2987 % 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 616 918 3856 4 3312 5173 0 0 0.01 0.00/0.01 c Switching off LPR mode. 226.61/226.73 c 100 616 1018 10024 9 3446 5691 100 5263 0.02 226.61/226.73 c 251 616 1169 19524 16 3735 6261 251 8096 0.03 226.61/226.73 c 476 616 1394 35559 25 4017 6888 476 6704 0.07 226.61/226.73 c 814 616 1732 57302 33 4715 7577 814 7826 0.10 226.61/226.73 c 1322 616 2240 88749 39 5784 8335 1322 8932 0.15 226.61/226.73 c 2085 616 3003 134965 44 7315 9169 2085 8615 0.24 226.61/226.73 c 3231 616 4149 203276 48 9597 10086 3231 7461 0.43 226.61/226.73 c 4952 616 5870 304584 51 13049 11095 4952 5738 0.86 226.61/226.73 c 7537 616 8455 475856 56 18257 12205 7537 5304 1.42 226.61/226.73 c 11416 616 12334 704806 57 25962 13426 11416 2886 3.96 226.61/226.73 c 17238 616 11394 620718 54 24094 14769 10476 2156 8.00 226.61/226.73 c 25976 616 12586 743318 59 26514 16246 11668 2145 12.11 226.61/226.73 c 39086 615 9259 534456 57 19815 17871 8341 1889 20.69 226.61/226.73 c 58757 615 10338 655429 63 21966 19659 9420 1822 32.24 226.61/226.73 c 88267 615 19982 1196181 59 41263 21625 19064 1516 58.20 226.61/226.73 c 132537 615 19347 1355396 70 40044 23788 18429 1443 91.83 226.61/226.73 c 198948 615 20995 1287849 61 43382 26167 20077 1309 151.96 226.61/226.73 o 5 226.644 305.18/305.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 305.18/305.30 c 272475 615 17210 1117088 64 35810 5189 16292 1202 226.65 305.18/305.30 c 272577 575 3620 188225 51 8642 5708 2702 1201 226.86 305.18/305.30 c 272831 575 3874 204233 52 9136 6279 2956 1202 226.88 305.18/305.30 c 273307 575 4350 236176 54 10034 6907 3432 1204 226.94 305.18/305.30 c 274121 575 5164 291741 56 11708 7598 4246 1207 227.05 305.18/305.30 c 275441 575 6484 381545 58 14351 8358 5566 1212 227.21 305.18/305.30 c 277522 575 8565 515974 60 18539 9194 7647 1218 227.69 305.18/305.30 c 280747 575 6950 383443 55 15245 10114 6032 1228 228.59 305.18/305.30 c 285685 574 6597 342387 51 14538 11126 5679 1239 230.52 305.18/305.30 c 293191 574 8127 469571 57 17651 12239 7209 1255 233.48 305.18/305.30 c 304553 574 7048 389602 55 15464 13463 6130 1264 240.89 305.18/305.30 c 321697 574 10537 599109 56 22430 14810 9619 1270 253.19 305.18/305.30 c 347517 574 13179 790569 59 27757 16292 12261 1294 268.43 305.18/305.30 c 386350 562 10469 604480 57 22263 17922 9551 1266 305.13 305.18/305.30 o 3 305.19 435.04/435.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 435.04/435.20 c 386902 562 11022 640148 58 23400 5179 10104 1267 305.19 435.04/435.20 c 387002 541 3620 171916 47 8662 5697 2702 1267 305.31 435.04/435.20 c 387253 541 3871 190105 49 9152 6267 2953 1268 305.33 435.04/435.20 c 387728 541 4346 224516 51 10113 6894 3428 1269 305.40 435.04/435.20 c 388542 541 5160 280832 54 11732 7584 4242 1271 305.54 435.04/435.20 c 389863 541 6481 368122 56 14357 8343 5563 1274 305.91 435.04/435.20 c 391945 541 8563 504226 58 18538 9178 7645 1277 306.74 435.04/435.20 c 395169 541 7067 399708 56 15526 10096 6149 1281 308.47 435.04/435.20 c 400106 541 6845 379958 55 15084 11106 5927 1282 311.96 435.04/435.20 c 407612 541 8672 492888 56 18736 12217 7754 1289 316.21 435.04/435.20 c 418974 541 7243 370419 51 15835 13439 6325 1308 320.29 435.04/435.20 c 436118 541 9827 597568 60 21038 14783 8909 1332 327.18 435.04/435.20 c 461937 541 13023 766793 58 27439 16262 12105 1342 344.16 435.04/435.20 c 500769 536 9733 579603 59 20815 17889 8815 1333 375.66 435.04/435.20 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 435.04/435.20 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 435.04/435.20 v -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 x74 -x75 -x76 -x77 435.04/435.20 v -x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 x130 -x131 -x132 435.04/435.20 v -x133 -x134 -x135 -x136 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 435.04/435.20 v -x100 -x101 -x102 -x103 -x104 x145 -x146 x147 x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 -x153 435.04/435.20 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 435.04/435.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 435.04/435.20 c 45 558957 4007 574773 13338 715823 12420 1284 435.05 435.04/435.20 c Objective: 3 435.04/435.20 s OPTIMUM FOUND 435.04/435.20 c Total time: 435.047 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-431276-1178004334 -o ROOT/results/node37/solver-431276-1178004334 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431276-1178004334/instance-431276-1178004334.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.85 0.94 0.98 3/78 8335 /proc/meminfo: memFree=1823008/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=3932 CPUtime=0 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 248345830 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3602043 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 983 349 292 324 0 50 0 [startup+0.0420409 s] /proc/loadavg: 0.85 0.94 0.98 3/78 8335 /proc/meminfo: memFree=1823008/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=4460 CPUtime=0.03 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 540 0 0 0 3 0 0 0 18 0 1 0 248345830 4567040 507 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 1115 507 312 324 0 184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4460 [startup+0.10104 s] /proc/loadavg: 0.85 0.94 0.98 3/78 8335 /proc/meminfo: memFree=1823008/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=4972 CPUtime=0.09 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 646 0 0 0 9 0 0 0 18 0 1 0 248345830 5091328 613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 1243 614 312 324 0 312 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.301077 s] /proc/loadavg: 0.85 0.94 0.98 3/78 8335 /proc/meminfo: memFree=1823008/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=6392 CPUtime=0.29 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 1023 0 0 0 29 0 0 0 19 0 1 0 248345830 6545408 990 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 1598 990 312 324 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6392 [startup+0.701152 s] /proc/loadavg: 0.85 0.94 0.98 3/78 8335 /proc/meminfo: memFree=1823008/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=8072 CPUtime=0.69 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 1434 0 0 0 68 1 0 0 22 0 1 0 248345830 8265728 1401 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 2018 1401 312 324 0 1087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8072 [startup+1.5013 s] /proc/loadavg: 0.86 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1817880/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=11432 CPUtime=1.48 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 2258 0 0 0 147 1 0 0 25 0 1 0 248345830 11706368 2225 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 2858 2225 312 324 0 1927 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11432 [startup+3.1016 s] /proc/loadavg: 0.86 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1813976/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=13632 CPUtime=3.09 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 2834 0 0 0 307 2 0 0 25 0 1 0 248345830 13959168 2801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 3408 2801 312 324 0 2477 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13632 [startup+6.30121 s] /proc/loadavg: 0.86 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1810968/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=16164 CPUtime=6.29 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 3450 0 0 0 626 3 0 0 25 0 1 0 248345830 16551936 3417 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 4041 3417 312 324 0 3110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16164 [startup+12.7014 s] /proc/loadavg: 0.88 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1809392/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=17156 CPUtime=12.68 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 3699 0 0 0 1264 4 0 0 25 0 1 0 248345830 17567744 3666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 4289 3666 312 324 0 3358 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17156 [startup+25.5018 s] /proc/loadavg: 0.90 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1805104/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=21656 CPUtime=25.48 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 4827 0 0 0 2540 8 0 0 25 0 1 0 248345830 22175744 4794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 5414 4794 312 324 0 4483 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21656 [startup+51.1017 s] /proc/loadavg: 0.93 0.94 0.98 2/79 8336 /proc/meminfo: memFree=1803312/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=23444 CPUtime=51.07 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 5275 0 0 0 5095 12 0 0 25 0 1 0 248345830 24006656 5242 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 5861 5242 312 324 0 4930 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23444 [startup+102.305 s] /proc/loadavg: 0.97 0.95 0.98 2/79 8336 /proc/meminfo: memFree=1797168/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=29516 CPUtime=102.25 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 6797 0 0 0 10205 20 0 0 25 0 1 0 248345830 30224384 6764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7379 6764 312 324 0 6448 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 29516 [startup+162.302 s] /proc/loadavg: 0.99 0.96 0.98 2/79 8336 /proc/meminfo: memFree=1797168/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=29520 CPUtime=162.22 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 6799 0 0 0 16194 28 0 0 25 0 1 0 248345830 30228480 6766 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3599868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7380 6766 312 324 0 6449 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 29520 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/79 8336 /proc/meminfo: memFree=1796400/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30420 CPUtime=222.2 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7013 0 0 0 22183 37 0 0 25 0 1 0 248345830 31150080 6980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7605 6980 312 324 0 6674 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 30420 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30460 CPUtime=282.19 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 28170 49 0 0 25 0 1 0 248345830 31191040 7009 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3284084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7615 7009 313 324 0 6684 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 30460 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=342.17 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 34157 60 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 30416 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=402.15 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 40147 68 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 30416 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=409.34 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 40865 69 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 409.34 Current children cumulated vsize (KiB) 30416 [startup+422.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=422.14 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 42144 70 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 422.14 Current children cumulated vsize (KiB) 30416 [startup+428.702 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=428.54 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 42783 71 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 428.54 Current children cumulated vsize (KiB) 30416 [startup+431.901 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=431.73 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43102 71 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 431.73 Current children cumulated vsize (KiB) 30416 [startup+433.502 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=433.33 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43262 71 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 433.33 Current children cumulated vsize (KiB) 30416 [startup+434.302 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=434.14 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43342 72 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 434.14 Current children cumulated vsize (KiB) 30416 [startup+434.702 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=434.54 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43382 72 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 434.54 Current children cumulated vsize (KiB) 30416 [startup+435.101 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=434.94 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43422 72 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 434.94 Current children cumulated vsize (KiB) 30416 [startup+435.201 s] /proc/loadavg: 0.99 0.97 0.98 2/79 8336 /proc/meminfo: memFree=1796144/2055920 swapFree=4145560/4192956 [pid=8335] ppid=8333 vsize=30416 CPUtime=435.04 /proc/8335/stat : 8335 (bsolo3.0.16) R 8333 8335 8179 0 -1 4194304 7054 0 0 0 43432 72 0 0 25 0 1 0 248345830 31145984 6998 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8335/statm: 7604 6998 313 324 0 6673 0 Current children cumulated CPU time (s) 435.04 Current children cumulated vsize (KiB) 30416 Child status: 0 Real time (s): 435.212 CPU time (s): 435.054 CPU user time (s): 434.326 CPU system time (s): 0.727889 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 30532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 434.326 system time used= 0.727889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7055 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= 927 runsolver used 0.417936 second user time and 1.03884 second system time The end
Begin job on node37 on Tue May 1 07:25:34 UTC 2007 IDJOB= 431276 IDBENCH= 48040 IDSOLVER= 163 FILE ID= node37/431276-1178004334 PBS_JOBID= 4728263 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=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431276-1178004334/instance-431276-1178004334.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-431276-1178004334 -o ROOT/results/node37/solver-431276-1178004334 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431276-1178004334/instance-431276-1178004334.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED= 593995412 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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: 1823544 kB Buffers: 34084 kB Cached: 112192 kB SwapCached: 14952 kB Active: 31844 kB Inactive: 137008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823544 kB SwapTotal: 4192956 kB SwapFree: 4145560 kB Dirty: 6892 kB Writeback: 0 kB Mapped: 29508 kB Slab: 48848 kB Committed_AS: 2210300 kB PageTables: 2000 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 node37 on Tue May 1 07:32:49 UTC 2007