Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 3 | 1800.01 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb |
MD5SUM | d6ad4e57f9bd4d3660efa4691d3e45da |
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.25396 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/431388-1178005599/instance-431388-1178005599.opb 0.00/0.00 c File size is 8551 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.004 s 0.00/0.00 c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 648 991 4149 4 3569 5543 0 0 0.01 0.00/0.01 c Switching off LPR mode. 6.88/6.91 c 118 648 1109 14816 13 3710 6098 118 5130 0.02 6.88/6.91 c 269 648 1260 27426 21 3952 6708 269 7685 0.04 6.88/6.91 c 497 648 1488 45707 30 4372 7379 497 8719 0.06 6.88/6.91 c 836 648 1827 72881 39 5036 8117 836 7464 0.11 6.88/6.91 c 1345 648 2336 112344 48 6071 8929 1345 6827 0.20 6.88/6.91 c 2108 648 3099 171339 55 7643 9822 2108 6734 0.31 6.88/6.91 c 3254 648 4245 266860 62 9899 10805 3254 6737 0.48 6.88/6.91 c 4975 648 5966 406603 68 13431 11886 4975 6195 0.80 6.88/6.91 c 7559 648 8550 647441 75 18536 13075 7559 5828 1.30 6.88/6.91 c 11438 648 12429 955074 76 26320 14383 11438 3993 2.86 6.88/6.91 c 17260 648 10986 782403 71 23431 15822 9995 2888 5.98 6.88/6.91 o 201 6.904 30.88/30.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.88/30.98 c 20909 648 14636 1084665 74 30739 5561 13645 3028 6.90 30.88/30.98 c 21009 648 3873 253681 65 9233 6118 2882 2951 7.12 30.88/30.98 c 21260 648 4124 274142 66 9564 6730 3133 2961 7.18 30.88/30.98 c 21735 648 4599 316376 68 10514 7404 3608 3007 7.23 30.88/30.98 c 22549 648 5413 389907 72 12299 8145 4422 3032 7.44 30.88/30.98 c 23869 637 6733 499249 74 14865 8960 5742 3135 7.61 30.88/30.98 c 25951 637 8815 661569 75 19045 9857 7824 3205 8.10 30.88/30.98 c 29174 637 7017 473728 67 15463 10843 6026 3173 9.19 30.88/30.98 c 34112 637 6415 434137 67 14289 11928 5424 3033 11.25 30.88/30.98 c 41619 637 7456 496658 66 16266 13121 6465 2765 15.05 30.88/30.98 c 52981 637 12162 842515 69 25667 14434 11171 2311 22.92 30.88/30.98 o 105 30.97 353.27/353.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 353.27/353.48 c 69327 637 13386 1037682 77 28284 5559 12395 2238 30.97 353.27/353.48 c 69428 637 3874 240321 62 9129 6115 2883 2234 31.08 353.27/353.48 c 69678 637 4124 262738 63 9682 6727 3133 2238 31.12 353.27/353.48 c 70154 626 4600 297255 64 10637 7400 3609 2247 31.21 353.27/353.48 c 70967 626 5413 367372 67 12393 8141 4422 2265 31.32 353.27/353.48 c 72287 626 6733 471487 70 15002 8956 5742 2287 31.60 353.27/353.48 c 74368 626 8814 637949 72 19103 9852 7823 2310 32.19 353.27/353.48 c 77592 626 6929 458477 66 15402 10838 5938 2318 33.47 353.27/353.48 c 82529 626 6413 416939 65 14344 11922 5422 2256 36.58 353.27/353.48 c 90035 626 7749 583050 75 16908 13115 6758 2321 38.79 353.27/353.48 c 101397 626 12263 950143 77 25975 14427 11272 2269 44.68 353.27/353.48 c 118542 626 14794 1033466 69 31029 15870 13803 1955 60.61 353.27/353.48 c 144361 626 15343 1215370 79 32053 17458 14352 1870 77.18 353.27/353.48 c 183193 626 18085 1257161 69 37578 19204 17094 1588 115.36 353.27/353.48 c 241545 626 17679 1389006 78 36681 21125 16688 1406 171.70 353.27/353.48 c 329178 626 19307 1529686 79 39998 23238 18316 1249 263.53 353.27/353.48 o 3 353.367 1799.97/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.62 c 420835 626 23686 1898145 80 48860 5557 22695 1190 353.37 1799.97/1800.62 c 420935 596 3873 238368 61 9268 6113 2882 1189 353.89 1799.97/1800.62 c 421186 596 4124 258997 62 9728 6725 3133 1190 353.92 1799.97/1800.62 c 421662 596 4600 297470 64 10632 7398 3609 1191 353.97 1799.97/1800.62 c 422478 596 5416 361336 66 12281 8138 4425 1192 354.15 1799.97/1800.62 c 423799 596 6737 463372 68 14916 8952 5746 1195 354.49 1799.97/1800.62 c 425882 596 8820 623669 70 19104 9848 7829 1199 355.18 1799.97/1800.62 c 429105 596 6987 460586 65 15420 10833 5996 1202 356.96 1799.97/1800.62 c 434043 596 6414 403576 62 14288 11917 5423 1204 360.22 1799.97/1800.62 c 441550 596 7820 524190 67 17072 13109 6829 1212 364.27 1799.97/1800.62 c 452911 596 12158 923408 75 25755 14420 11167 1226 369.35 1799.97/1800.62 c 470056 596 14543 1029619 70 30469 15863 13552 1246 377.14 1799.97/1800.62 c 495875 576 15686 1184799 75 32714 17450 14695 1249 396.85 1799.97/1800.62 c 534708 576 9892 665857 67 21137 19196 8901 1246 428.83 1799.97/1800.62 c 593060 576 19541 1360952 69 40418 21116 18550 1206 491.35 1799.97/1800.62 c 680693 576 20993 1676949 79 43348 23228 20002 1165 584.11 1799.97/1800.62 c 812246 575 18273 1422324 77 37947 25551 17282 1059 766.52 1799.97/1800.62 c 1009678 558 24351 1860541 76 50163 28107 23360 963 1047.86 1799.97/1800.62 c 1305931 558 21661 1621952 74 44786 30918 20670 883 1477.83 1799.97/1800.62 c Resources Exceeded 1799.97/1800.62 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 1799.97/1800.62 v x31 -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 1799.97/1800.62 v -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x73 x74 1799.97/1800.62 v -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 1799.97/1800.62 v -x90 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139 1799.97/1800.62 v -x140 -x141 -x142 -x143 -x144 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151 1799.97/1800.62 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1799.97/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.62 c 57 1543131 6058 1565658 15094 1216187 14103 857 1800.00 1799.97/1800.62 c Objective: 3 1799.97/1800.62 s SATISFIABLE 1799.97/1800.62 c Total time: 1800 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-431388-1178005599 -o ROOT/results/node21/solver-431388-1178005599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.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.76 0.95 0.98 3/77 29523 /proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=3936 CPUtime=0 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 248477224 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 984 347 291 324 0 50 0 [startup+0.100186 s] /proc/loadavg: 0.76 0.95 0.98 3/77 29523 /proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=5112 CPUtime=0.09 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 248477224 5234688 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 1278 657 312 324 0 347 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5112 [startup+0.201198 s] /proc/loadavg: 0.76 0.95 0.98 3/77 29523 /proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=5764 CPUtime=0.19 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 855 0 0 0 19 0 0 0 18 0 1 0 248477224 5902336 821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 1441 821 312 324 0 510 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5764 [startup+0.301208 s] /proc/loadavg: 0.76 0.95 0.98 3/77 29523 /proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=6540 CPUtime=0.29 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 1036 0 0 0 29 0 0 0 19 0 1 0 248477224 6696960 1002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 1635 1002 312 324 0 704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6540 [startup+0.701252 s] /proc/loadavg: 0.76 0.95 0.98 3/77 29523 /proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=9516 CPUtime=0.69 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 1793 0 0 0 68 1 0 0 23 0 1 0 248477224 9744384 1759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 2379 1759 312 324 0 1448 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9516 [startup+1.50134 s] /proc/loadavg: 0.76 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1707216/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=13792 CPUtime=1.49 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 2864 0 0 0 147 2 0 0 25 0 1 0 248477224 14123008 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 3448 2830 312 324 0 2517 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13792 [startup+3.10151 s] /proc/loadavg: 0.76 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1702928/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=17792 CPUtime=3.08 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 3872 0 0 0 305 3 0 0 25 0 1 0 248477224 18219008 3838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 4448 3838 312 324 0 3517 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17792 [startup+6.30186 s] /proc/loadavg: 0.78 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1697808/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=21000 CPUtime=6.29 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4660 0 0 0 625 4 0 0 25 0 1 0 248477224 21504000 4626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 5250 4626 312 324 0 4319 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21000 [startup+12.7016 s] /proc/loadavg: 0.80 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1697832/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=20948 CPUtime=12.68 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4661 0 0 0 1262 6 0 0 25 0 1 0 248477224 21450752 4627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 5237 4627 313 324 0 4306 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20948 [startup+25.502 s] /proc/loadavg: 0.84 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1697832/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=20948 CPUtime=25.48 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4661 0 0 0 2540 8 0 0 25 0 1 0 248477224 21450752 4627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 5237 4627 313 324 0 4306 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20948 [startup+51.1018 s] /proc/loadavg: 0.89 0.95 0.98 2/78 29524 /proc/meminfo: memFree=1697320/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=21388 CPUtime=51.06 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4763 0 0 0 5092 14 0 0 25 0 1 0 248477224 21901312 4729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 5347 4729 313 324 0 4416 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 21388 [startup+102.301 s] /proc/loadavg: 0.95 0.96 0.98 2/78 29524 /proc/meminfo: memFree=1693544/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=25256 CPUtime=102.25 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 5739 0 0 0 10204 21 0 0 25 0 1 0 248477224 25862144 5705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8879873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 6314 5705 313 324 0 5383 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25256 [startup+162.302 s] /proc/loadavg: 0.98 0.96 0.98 2/78 29524 /proc/meminfo: memFree=1691304/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=27428 CPUtime=162.23 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 6299 0 0 0 16193 30 0 0 25 0 1 0 248477224 28086272 6251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 6857 6251 313 324 0 5926 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 27428 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1689064/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=29708 CPUtime=222.21 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 6865 0 0 0 22182 39 0 0 25 0 1 0 248477224 30420992 6817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 7427 6817 313 324 0 6496 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 29708 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1687272/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=31472 CPUtime=282.2 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7302 0 0 0 28173 47 0 0 25 0 1 0 248477224 32227328 7254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 7868 7254 313 324 0 6937 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31472 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1687208/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=31436 CPUtime=342.18 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7303 0 0 0 34162 56 0 0 25 0 1 0 248477224 32190464 7254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 7859 7254 313 324 0 6928 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 31436 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1686248/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=32428 CPUtime=402.16 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 40150 66 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 8107 7502 313 324 0 7176 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 32428 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=32428 CPUtime=462.15 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 46141 74 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 8107 7502 313 324 0 7176 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 32428 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=32428 CPUtime=522.13 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 52132 81 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 8107 7502 313 324 0 7176 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 32428 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=32428 CPUtime=582.11 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 58123 88 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 8107 7502 313 324 0 7176 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 32428 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29524 /proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=32428 CPUtime=642.1 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 64115 95 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 8107 7502 313 324 0 7176 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 32428 ################ # More data... # ################ /proc/meminfo: memFree=1680680/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37916 CPUtime=1061.88 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8941 0 0 0 106045 143 0 0 25 0 1 0 248477224 38825984 8869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9479 8869 313 324 0 8548 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 37916 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680680/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37912 CPUtime=1121.87 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 112038 149 0 0 25 0 1 0 248477224 38821888 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9478 8870 313 324 0 8547 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 37912 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37904 CPUtime=1181.85 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 118029 156 0 0 25 0 1 0 248477224 38813696 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8555636 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9476 8870 313 324 0 8545 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 37904 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37900 CPUtime=1241.83 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 124020 163 0 0 25 0 1 0 248477224 38809600 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9475 8870 313 324 0 8544 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 37900 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37764 CPUtime=1301.81 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 130012 169 0 0 25 0 1 0 248477224 38670336 8836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9441 8836 313 324 0 8510 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 37764 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37760 CPUtime=1361.79 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 136004 175 0 0 25 0 1 0 248477224 38666240 8835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9440 8835 313 324 0 8509 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 37760 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680808/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=37760 CPUtime=1421.79 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 141997 182 0 0 25 0 1 0 248477224 38666240 8835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9440 8835 313 324 0 8509 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 37760 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1680808/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=39060 CPUtime=1481.76 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9258 0 0 0 147987 189 0 0 25 0 1 0 248477224 39997440 9151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 9765 9151 313 324 0 8834 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 39060 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677800/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=40864 CPUtime=1541.75 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9716 0 0 0 153978 197 0 0 25 0 1 0 248477224 41844736 9609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10216 9609 313 324 0 9285 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 40864 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677864/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=40812 CPUtime=1601.73 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9716 0 0 0 159969 204 0 0 25 0 1 0 248477224 41791488 9598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10203 9598 313 324 0 9272 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 40812 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677416/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41240 CPUtime=1661.71 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9822 0 0 0 165959 212 0 0 25 0 1 0 248477224 42229760 9704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10310 9704 313 324 0 9379 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 41240 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677224/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41412 CPUtime=1721.69 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 171951 218 0 0 25 0 1 0 248477224 42405888 9746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10353 9746 313 324 0 9422 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 41412 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1781.67 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 177943 224 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 41372 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.97 0.98 3/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1791.37 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 178912 225 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 41372 [startup+1795.2 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1794.58 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179232 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 41372 [startup+1798.4 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1797.77 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179551 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 41372 [startup+1800 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1799.37 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179711 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (KiB) 41372 [startup+1800.4 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1799.77 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179751 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (KiB) 41372 [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/78 29722 /proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956 [pid=29523] ppid=29521 vsize=41372 CPUtime=1799.97 /proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179771 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29523/statm: 10343 9738 313 324 0 9412 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 41372 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.01 CPU user time (s): 1797.74 CPU system time (s): 2.27365 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 41412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.74 system time used= 2.27365 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9874 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 36536 runsolver used 1.34279 second user time and 4.05638 second system time The end
Begin job on node21 on Tue May 1 07:46:39 UTC 2007 IDJOB= 431388 IDBENCH= 48048 IDSOLVER= 163 FILE ID= node21/431388-1178005599 PBS_JOBID= 4728290 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-431388-1178005599 -o ROOT/results/node21/solver-431388-1178005599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da RANDOM SEED= 243129615 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1715824 kB Buffers: 38760 kB Cached: 212212 kB SwapCached: 15044 kB Active: 172088 kB Inactive: 101664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1715824 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 6800 kB Writeback: 0 kB Mapped: 29656 kB Slab: 51904 kB Committed_AS: 2288088 kB PageTables: 1784 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 node21 on Tue May 1 08:16:40 UTC 2007