Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 434.615 | 434.788 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452973-1178004439/instance-452973-1178004439.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.20/226.39 c 100 616 1018 10024 9 3446 5691 100 5555 0.02 226.20/226.39 c 251 616 1169 19524 16 3735 6261 251 8366 0.03 226.20/226.39 c 476 616 1394 35559 25 4017 6888 476 6800 0.07 226.20/226.39 c 814 616 1732 57302 33 4715 7577 814 7980 0.10 226.20/226.39 c 1322 616 2240 88749 39 5784 8335 1322 9054 0.15 226.20/226.39 c 2085 616 3003 134965 44 7315 9169 2085 8723 0.24 226.20/226.39 c 3231 616 4149 203276 48 9597 10086 3231 7513 0.43 226.20/226.39 c 4952 616 5870 304584 51 13049 11095 4952 5771 0.86 226.20/226.39 c 7537 616 8455 475856 56 18257 12205 7537 5345 1.41 226.20/226.39 c 11416 616 12334 704806 57 25962 13426 11416 2908 3.92 226.20/226.39 c 17238 616 11394 620718 54 24094 14769 10476 2155 8.00 226.20/226.39 c 25976 616 12586 743318 59 26514 16246 11668 2142 12.13 226.20/226.39 c 39086 615 9259 534456 57 19815 17871 8341 1886 20.72 226.20/226.39 c 58757 615 10338 655429 63 21966 19659 9420 1822 32.23 226.20/226.39 c 88267 615 19982 1196181 59 41263 21625 19064 1518 58.12 226.20/226.39 c 132537 615 19347 1355396 70 40044 23788 18429 1445 91.66 226.20/226.39 c 198948 615 20995 1287849 61 43382 26167 20077 1311 151.71 226.20/226.39 o 5 226.298 304.86/305.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 304.86/305.01 c 272475 615 17210 1117088 64 35810 5189 16292 1204 226.30 304.86/305.01 c 272577 575 3620 188225 51 8642 5708 2702 1203 226.51 304.86/305.01 c 272831 575 3874 204233 52 9136 6279 2956 1204 226.54 304.86/305.01 c 273307 575 4350 236176 54 10034 6907 3432 1206 226.59 304.86/305.01 c 274121 575 5164 291741 56 11708 7598 4246 1209 226.70 304.86/305.01 c 275441 575 6484 381545 58 14351 8358 5566 1214 226.86 304.86/305.01 c 277522 575 8565 515974 60 18539 9194 7647 1220 227.34 304.86/305.01 c 280747 575 6950 383443 55 15245 10114 6032 1230 228.25 304.86/305.01 c 285685 574 6597 342387 51 14538 11126 5679 1241 230.19 304.86/305.01 c 293191 574 8127 469571 57 17651 12239 7209 1257 233.18 304.86/305.01 c 304553 574 7048 389602 55 15464 13463 6130 1265 240.62 304.86/305.01 c 321697 574 10537 599109 56 22430 14810 9619 1272 252.90 304.86/305.01 c 347517 574 13179 790569 59 27757 16292 12261 1296 268.11 304.86/305.01 c 386350 562 10469 604480 57 22263 17922 9551 1267 304.83 304.86/305.01 o 3 304.886 434.52/434.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 434.52/434.78 c 386902 562 11022 640148 58 23400 5179 10104 1269 304.89 434.52/434.78 c 387002 541 3620 171916 47 8662 5697 2702 1268 305.01 434.52/434.78 c 387253 541 3871 190105 49 9152 6267 2953 1269 305.03 434.52/434.78 c 387728 541 4346 224516 51 10113 6894 3428 1270 305.10 434.52/434.78 c 388542 541 5160 280832 54 11732 7584 4242 1272 305.24 434.52/434.78 c 389863 541 6481 368122 56 14357 8343 5563 1275 305.60 434.52/434.78 c 391945 541 8563 504226 58 18538 9178 7645 1279 306.44 434.52/434.78 c 395169 541 7067 399708 56 15526 10096 6149 1282 308.16 434.52/434.78 c 400106 541 6845 379958 55 15084 11106 5927 1283 311.64 434.52/434.78 c 407612 541 8672 492888 56 18736 12217 7754 1290 315.93 434.52/434.78 c 418974 541 7243 370419 51 15835 13439 6325 1309 320.01 434.52/434.78 c 436118 541 9827 597568 60 21038 14783 8909 1334 326.87 434.52/434.78 c 461937 541 13023 766793 58 27439 16262 12105 1343 343.85 434.52/434.78 c 500769 536 9733 579603 59 20815 17889 8815 1334 375.35 434.52/434.78 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 434.52/434.78 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 434.52/434.78 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 434.52/434.78 v -x78 -x79 -x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 x130 -x131 -x132 434.52/434.78 v -x133 -x134 -x135 -x136 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 434.52/434.78 v -x100 -x101 -x102 -x103 -x104 x145 -x146 x147 x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 -x110 x111 -x112 -x153 434.52/434.78 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 434.52/434.78 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 434.52/434.78 c 45 558957 4007 574773 13338 715823 12420 1286 434.61 434.52/434.78 c Objective: 3 434.52/434.78 s OPTIMUM FOUND 434.52/434.78 c Total time: 434.606 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-452973-1178004439 -o ROOT/results/node33/solver-452973-1178004439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452973-1178004439/instance-452973-1178004439.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.97 3/77 31330 /proc/meminfo: memFree=1815976/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=19556 CPUtime=0 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 248359350 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 2936 344 289 324 0 2004 0 [startup+0.0937531 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31330 /proc/meminfo: memFree=1815976/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=4844 CPUtime=0.08 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 631 0 0 0 8 0 0 0 18 0 1 0 248359350 4960256 599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 1211 599 310 324 0 281 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4844 [startup+0.102756 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31330 /proc/meminfo: memFree=1815976/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=4972 CPUtime=0.09 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 248359350 5091328 616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 1243 616 310 324 0 313 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4972 [startup+0.302796 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31330 /proc/meminfo: memFree=1815976/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=6524 CPUtime=0.29 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 1023 0 0 0 29 0 0 0 19 0 1 0 248359350 6680576 991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380293 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 1631 991 310 324 0 701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6524 [startup+0.701879 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31330 /proc/meminfo: memFree=1815976/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=8072 CPUtime=0.69 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 1435 0 0 0 69 0 0 0 23 0 1 0 248359350 8265728 1403 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 2018 1403 310 324 0 1088 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8072 [startup+1.50104 s] /proc/loadavg: 0.91 0.95 0.97 2/78 31331 /proc/meminfo: memFree=1810656/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=11432 CPUtime=1.49 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 2266 0 0 0 149 0 0 0 25 0 1 0 248359350 11706368 2234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 2858 2234 310 324 0 1928 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11432 [startup+3.10137 s] /proc/loadavg: 0.91 0.95 0.97 2/78 31331 /proc/meminfo: memFree=1807008/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=13760 CPUtime=3.09 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 2839 0 0 0 308 1 0 0 25 0 1 0 248359350 14090240 2807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 3440 2807 310 324 0 2510 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13760 [startup+6.30203 s] /proc/loadavg: 0.92 0.95 0.97 2/78 31331 /proc/meminfo: memFree=1803808/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=16164 CPUtime=6.29 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 3447 0 0 0 627 2 0 0 25 0 1 0 248359350 16551936 3415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11379039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 4041 3415 310 324 0 3111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16164 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.97 2/78 31331 /proc/meminfo: memFree=1802208/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=17156 CPUtime=12.69 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 3696 0 0 0 1267 2 0 0 25 0 1 0 248359350 17567744 3664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 4289 3664 310 324 0 3359 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17156 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.97 2/78 31331 /proc/meminfo: memFree=1797664/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=21656 CPUtime=25.48 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 4824 0 0 0 2545 3 0 0 25 0 1 0 248359350 22175744 4792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 5414 4792 310 324 0 4484 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21656 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.97 2/78 31331 /proc/meminfo: memFree=1795808/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=23444 CPUtime=51.06 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 5272 0 0 0 5103 3 0 0 25 0 1 0 248359350 24006656 5240 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 5861 5240 310 324 0 4931 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 23444 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 31331 /proc/meminfo: memFree=1789728/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=29516 CPUtime=102.25 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 6794 0 0 0 10220 5 0 0 25 0 1 0 248359350 30224384 6762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7379 6762 310 324 0 6449 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 29516 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1789728/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=29520 CPUtime=162.22 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 6796 0 0 0 16217 5 0 0 25 0 1 0 248359350 30228480 6764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7380 6764 310 324 0 6450 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 29520 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788768/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30532 CPUtime=222.2 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7050 0 0 0 22214 6 0 0 25 0 1 0 248359350 31264768 7018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7633 7018 310 324 0 6703 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 30532 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788640/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30460 CPUtime=282.18 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 28212 6 0 0 25 0 1 0 248359350 31191040 7007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7615 7007 311 324 0 6685 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 30460 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788640/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=342.16 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 34209 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 30416 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788576/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=402.13 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 40206 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11386502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 30416 Solver just ended. Dumping a history of the last processes samples [startup+409.502 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788576/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=409.33 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 40926 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 409.33 Current children cumulated vsize (KiB) 30416 [startup+422.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788640/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=422.12 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 42205 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 422.12 Current children cumulated vsize (KiB) 30416 [startup+428.702 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788640/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=428.52 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 42845 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 428.52 Current children cumulated vsize (KiB) 30416 [startup+431.901 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788640/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=431.72 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 43165 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 431.72 Current children cumulated vsize (KiB) 30416 [startup+433.502 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788704/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=433.32 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 43325 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 433.32 Current children cumulated vsize (KiB) 30416 [startup+434.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788704/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=434.12 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 43405 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 434.12 Current children cumulated vsize (KiB) 30416 [startup+434.702 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31331 /proc/meminfo: memFree=1788704/2055920 swapFree=4147808/4192956 [pid=31330] ppid=31328 vsize=30416 CPUtime=434.52 /proc/31330/stat : 31330 (bsolo3.0.17) R 31328 31330 28595 0 -1 4194304 7051 0 0 0 43445 7 0 0 25 0 1 0 248359350 31145984 6996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11378172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31330/statm: 7604 6996 311 324 0 6674 0 Current children cumulated CPU time (s) 434.52 Current children cumulated vsize (KiB) 30416 Child status: 0 Real time (s): 434.788 CPU time (s): 434.615 CPU user time (s): 434.532 CPU system time (s): 0.082987 CPU usage (%): 99.9602 Max. virtual memory (cumulated for all children) (KiB): 30532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 434.532 system time used= 0.082987 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= 9148 runsolver used 0.305953 second user time and 0.968852 second system time The end
Begin job on node33 on Tue May 1 07:27:19 UTC 2007 IDJOB= 452973 IDBENCH= 48040 IDSOLVER= 199 FILE ID= node33/452973-1178004439 PBS_JOBID= 4728246 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 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.17 -m1800 /tmp/evaluation/452973-1178004439/instance-452973-1178004439.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-452973-1178004439 -o ROOT/results/node33/solver-452973-1178004439 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452973-1178004439/instance-452973-1178004439.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED= 924855191 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1816320 kB Buffers: 49092 kB Cached: 103676 kB SwapCached: 13560 kB Active: 111340 kB Inactive: 65376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816320 kB SwapTotal: 4192956 kB SwapFree: 4147808 kB Dirty: 6600 kB Writeback: 0 kB Mapped: 30448 kB Slab: 48200 kB Committed_AS: 2638736 kB PageTables: 1992 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 node33 on Tue May 1 07:34:34 UTC 2007