Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 3 | 1800.06 | 1800.62 |
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.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/452981-1178005702/instance-452981-1178005702.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.003 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.78/6.88 c 118 648 1109 14816 13 3710 6098 118 5363 0.02 6.78/6.88 c 269 648 1260 27426 21 3952 6708 269 7911 0.03 6.78/6.88 c 497 648 1488 45707 30 4372 7379 497 8875 0.06 6.78/6.88 c 836 648 1827 72881 39 5036 8117 836 7531 0.11 6.78/6.88 c 1345 648 2336 112344 48 6071 8929 1345 6897 0.20 6.78/6.88 c 2108 648 3099 171339 55 7643 9822 2108 6800 0.31 6.78/6.88 c 3254 648 4245 266860 62 9899 10805 3254 6807 0.48 6.78/6.88 c 4975 648 5966 406603 68 13431 11886 4975 6242 0.80 6.78/6.88 c 7559 648 8550 647441 75 18536 13075 7559 5868 1.29 6.78/6.88 c 11438 648 12429 955074 76 26320 14383 11438 4010 2.85 6.78/6.88 c 17260 648 10986 782403 71 23431 15822 9995 2898 5.95 6.78/6.88 o 201 6.882 30.69/30.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.69/30.74 c 20909 648 14636 1084665 74 30739 5561 13645 3037 6.88 30.69/30.74 c 21009 648 3873 253681 65 9233 6118 2882 2959 7.10 30.69/30.74 c 21260 648 4124 274142 66 9564 6730 3133 2970 7.16 30.69/30.74 c 21735 648 4599 316376 68 10514 7404 3608 3015 7.21 30.69/30.74 c 22549 648 5413 389907 72 12299 8145 4422 3040 7.42 30.69/30.74 c 23869 637 6733 499249 74 14865 8960 5742 3143 7.59 30.69/30.74 c 25951 637 8815 661569 75 19045 9857 7824 3213 8.08 30.69/30.74 c 29174 637 7017 473728 67 15463 10843 6026 3183 9.16 30.69/30.74 c 34112 637 6415 434137 67 14289 11928 5424 3045 11.20 30.69/30.74 c 41619 637 7456 496658 66 16266 13121 6465 2781 14.96 30.69/30.74 c 52981 637 12162 842515 69 25667 14434 11171 2331 22.72 30.69/30.74 o 105 30.739 351.31/351.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 351.31/351.47 c 69327 637 13386 1037682 77 28284 5559 12395 2255 30.74 351.31/351.47 c 69428 637 3874 240321 62 9129 6115 2883 2250 30.85 351.31/351.47 c 69678 637 4124 262738 63 9682 6727 3133 2255 30.89 351.31/351.47 c 70154 626 4600 297255 64 10637 7400 3609 2264 30.98 351.31/351.47 c 70967 626 5413 367372 67 12393 8141 4422 2282 31.09 351.31/351.47 c 72287 626 6733 471487 70 15002 8956 5742 2304 31.37 351.31/351.47 c 74368 626 8814 637949 72 19103 9852 7823 2327 31.95 351.31/351.47 c 77592 626 6929 458477 66 15402 10838 5938 2334 33.23 351.31/351.47 c 82529 626 6413 416939 65 14344 11922 5422 2272 36.32 351.31/351.47 c 90035 626 7749 583050 75 16908 13115 6758 2338 38.50 351.31/351.47 c 101397 626 12263 950143 77 25975 14427 11272 2285 44.36 351.31/351.47 c 118542 626 14794 1033466 69 31029 15870 13803 1968 60.21 351.31/351.47 c 144361 626 15343 1215370 79 32053 17458 14352 1882 76.70 351.31/351.47 c 183193 626 18085 1257161 69 37578 19204 17094 1596 114.73 351.31/351.47 c 241545 626 17679 1389006 78 36681 21125 16688 1415 170.66 351.31/351.47 c 329178 626 19307 1529686 79 39998 23238 18316 1256 261.99 351.31/351.47 o 3 351.385 1800.05/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.05/1800.60 c 420835 626 23686 1898145 80 48860 5557 22695 1197 351.39 1800.05/1800.60 c 420935 596 3873 238368 61 9268 6113 2882 1196 351.91 1800.05/1800.60 c 421186 596 4124 258997 62 9728 6725 3133 1196 351.93 1800.05/1800.60 c 421662 596 4600 297470 64 10632 7398 3609 1197 351.98 1800.05/1800.60 c 422478 596 5416 361336 66 12281 8138 4425 1199 352.16 1800.05/1800.60 c 423799 596 6737 463372 68 14916 8952 5746 1202 352.50 1800.05/1800.60 c 425882 596 8820 623669 70 19104 9848 7829 1205 353.18 1800.05/1800.60 c 429105 596 6987 460586 65 15420 10833 5996 1208 354.95 1800.05/1800.60 c 434043 596 6414 403576 62 14288 11917 5423 1211 358.15 1800.05/1800.60 c 441550 596 7820 524190 67 17072 13109 6829 1219 362.13 1800.05/1800.60 c 452911 596 12158 923408 75 25755 14420 11167 1233 367.17 1800.05/1800.60 c 470056 596 14543 1029619 70 30469 15863 13552 1253 374.86 1800.05/1800.60 c 495875 576 15686 1184799 75 32714 17450 14695 1257 394.39 1800.05/1800.60 c 534708 576 9892 665857 67 21137 19196 8901 1255 426.05 1800.05/1800.60 c 593060 576 19541 1360952 69 40418 21116 18550 1215 488.01 1800.05/1800.60 c 680693 576 20993 1676949 79 43348 23228 20002 1172 580.40 1800.05/1800.60 c 812246 575 18273 1422324 77 37947 25551 17282 1065 762.30 1800.05/1800.60 c 1009678 558 24351 1860541 76 50163 28107 23360 969 1041.71 1800.05/1800.60 c 1305931 558 21661 1621952 74 44786 30918 20670 888 1469.80 1800.05/1800.60 c Caught signal: 15 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 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 1800.05/1800.60 v -x90 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139 1800.05/1800.60 v -x140 -x141 -x142 -x143 -x144 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.05/1800.60 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 1800.05/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.60 c 57 1550839 6074 1573388 22802 1908709 21811 861 1800.05 1800.05/1800.60 c Objective: 3 1800.05/1800.61 s SATISFIABLE 1800.05/1800.61 c Total time: 1800.05 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-452981-1178005702 -o ROOT/results/node4/solver-452981-1178005702 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.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.84 0.97 0.99 3/77 25933 /proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=3936 CPUtime=0 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 276607971 4030464 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 984 345 289 324 0 51 0 [startup+0.037961 s] /proc/loadavg: 0.84 0.97 0.99 3/77 25933 /proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=4592 CPUtime=0.03 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 554 0 0 0 3 0 0 0 18 0 1 0 276607971 4702208 521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 1148 521 310 324 0 218 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4592 [startup+0.101967 s] /proc/loadavg: 0.84 0.97 0.99 3/77 25933 /proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=5112 CPUtime=0.09 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 276607971 5234688 660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 1278 661 310 324 0 348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5112 [startup+0.301986 s] /proc/loadavg: 0.84 0.97 0.99 3/77 25933 /proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=6544 CPUtime=0.29 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 1039 0 0 0 29 0 0 0 19 0 1 0 276607971 6701056 1006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 1636 1006 310 324 0 706 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6544 [startup+0.702024 s] /proc/loadavg: 0.84 0.97 0.99 3/77 25933 /proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=9516 CPUtime=0.69 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 1800 0 0 0 69 0 0 0 23 0 1 0 276607971 9744384 1767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 2379 1767 310 324 0 1449 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9516 [startup+1.5011 s] /proc/loadavg: 0.84 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1819472/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=13792 CPUtime=1.49 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 2866 0 0 0 148 1 0 0 25 0 1 0 276607971 14123008 2833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 3448 2833 310 324 0 2518 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13792 [startup+3.10125 s] /proc/loadavg: 0.85 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1814416/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=17792 CPUtime=3.08 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 3873 0 0 0 307 1 0 0 25 0 1 0 276607971 18219008 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 4448 3840 310 324 0 3518 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17792 [startup+6.30156 s] /proc/loadavg: 0.85 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1808976/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=21000 CPUtime=6.29 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4657 0 0 0 627 2 0 0 25 0 1 0 276607971 21504000 4624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 5250 4624 310 324 0 4320 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21000 [startup+12.7012 s] /proc/loadavg: 0.87 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1809040/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=20948 CPUtime=12.68 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4658 0 0 0 1266 2 0 0 25 0 1 0 276607971 21450752 4625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 5237 4625 311 324 0 4307 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20948 [startup+25.5014 s] /proc/loadavg: 0.89 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1809104/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=20948 CPUtime=25.48 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4658 0 0 0 2545 3 0 0 25 0 1 0 276607971 21450752 4625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 5237 4625 311 324 0 4307 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20948 [startup+51.1018 s] /proc/loadavg: 0.93 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1808720/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=21388 CPUtime=51.08 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4760 0 0 0 5105 3 0 0 25 0 1 0 276607971 21901312 4727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 5347 4727 311 324 0 4417 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21388 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1804880/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=25256 CPUtime=102.27 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 5736 0 0 0 10223 4 0 0 25 0 1 0 276607971 25862144 5703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 6314 5703 311 324 0 5384 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25256 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1802640/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=27428 CPUtime=162.25 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 6296 0 0 0 16220 5 0 0 25 0 1 0 276607971 28086272 6249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11021810 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 6857 6249 311 324 0 5927 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27428 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1800400/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=29708 CPUtime=222.23 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 6862 0 0 0 22217 6 0 0 25 0 1 0 276607971 30420992 6815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 7427 6815 311 324 0 6497 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29708 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1798672/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=31472 CPUtime=282.22 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7299 0 0 0 28216 6 0 0 25 0 1 0 276607971 32227328 7252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11030245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 7868 7252 311 324 0 6938 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 31472 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1798672/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=31436 CPUtime=342.2 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7300 0 0 0 34213 7 0 0 25 0 1 0 276607971 32190464 7252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 7859 7252 311 324 0 6929 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31436 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=32428 CPUtime=402.19 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 40211 8 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8107 7500 311 324 0 7177 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 32428 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=32428 CPUtime=462.17 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 46209 8 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8107 7500 311 324 0 7177 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 32428 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=32428 CPUtime=522.16 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 52207 9 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8107 7500 311 324 0 7177 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 32428 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=32428 CPUtime=582.14 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 58205 9 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8107 7500 311 324 0 7177 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32428 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25934 /proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=32428 CPUtime=642.14 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 64204 10 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8107 7500 311 324 0 7177 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 32428 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 26132 /proc/meminfo: memFree=1795344/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=34152 CPUtime=821.97 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 82185 12 0 0 25 0 1 0 276607971 34971648 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8538 7927 311 324 0 7608 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 34152 [startup+882.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 26132 /proc/meminfo: memFree=1795344/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=34140 CPUtime=881.96 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 88183 13 0 0 25 0 1 0 276607971 34959360 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8535 7927 311 324 0 7605 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 34140 [startup+942.301 s] /proc/loadavg: 1.05 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1795472/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=34140 CPUtime=941.95 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 94181 14 0 0 25 0 1 0 276607971 34959360 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8535 7927 311 324 0 7605 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 34140 [startup+1002.3 s] /proc/loadavg: 1.12 1.03 1.00 2/78 26132 /proc/meminfo: memFree=1795600/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=34120 CPUtime=1001.93 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 100179 14 0 0 25 0 1 0 276607971 34938880 7923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 8530 7923 311 324 0 7600 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 34120 [startup+1062.3 s] /proc/loadavg: 1.04 1.02 1.00 2/78 26132 /proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37916 CPUtime=1061.92 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8938 0 0 0 106177 15 0 0 25 0 1 0 276607971 38825984 8867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9479 8867 311 324 0 8549 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 37916 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 26132 /proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37912 CPUtime=1121.91 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 112175 16 0 0 25 0 1 0 276607971 38821888 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9478 8868 311 324 0 8548 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 37912 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26132 /proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37904 CPUtime=1181.89 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 118173 16 0 0 25 0 1 0 276607971 38813696 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9476 8868 311 324 0 8546 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 37904 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 26132 /proc/meminfo: memFree=1791760/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37900 CPUtime=1241.88 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 124171 17 0 0 25 0 1 0 276607971 38809600 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9475 8868 311 324 0 8545 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 37900 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37760 CPUtime=1301.86 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 130169 17 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9440 8833 311 324 0 8510 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 37760 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37760 CPUtime=1361.85 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 136167 18 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9440 8833 311 324 0 8510 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 37760 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=37760 CPUtime=1421.83 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 142165 18 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9440 8833 311 324 0 8510 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 37760 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1789968/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=39636 CPUtime=1481.81 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9407 0 0 0 148162 19 0 0 25 0 1 0 276607971 40587264 9301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 9909 9301 311 324 0 8979 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 39636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788752/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=40864 CPUtime=1541.8 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9713 0 0 0 154160 20 0 0 25 0 1 0 276607971 41844736 9607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10216 9607 311 324 0 9286 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 40864 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788752/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=40868 CPUtime=1601.78 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9725 0 0 0 160158 20 0 0 25 0 1 0 276607971 41848832 9608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10217 9608 311 324 0 9287 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 40868 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788368/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=41240 CPUtime=1661.77 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9819 0 0 0 166156 21 0 0 25 0 1 0 276607971 42229760 9702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10310 9702 311 324 0 9380 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 41240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788176/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=41412 CPUtime=1721.76 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 172155 21 0 0 25 0 1 0 276607971 42405888 9744 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10353 9744 311 324 0 9423 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 41412 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788112/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=41372 CPUtime=1781.74 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 178153 21 0 0 25 0 1 0 276607971 42364928 9736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10343 9736 311 324 0 9413 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 41372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26132 /proc/meminfo: memFree=1788112/2055920 swapFree=4141168/4192956 [pid=25933] ppid=25931 vsize=41372 CPUtime=1800.05 /proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 179983 22 0 0 25 0 1 0 276607971 42364928 9736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25933/statm: 10343 9736 311 324 0 9413 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 41372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.83 CPU system time (s): 0.228965 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 41412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.228965 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= 36719 runsolver used 1.38179 second user time and 3.9104 second system time The end
Begin job on node4 on Tue May 1 07:48:22 UTC 2007 IDJOB= 452981 IDBENCH= 48048 IDSOLVER= 199 FILE ID= node4/452981-1178005702 PBS_JOBID= 4728293 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=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-452981-1178005702 -o ROOT/results/node4/solver-452981-1178005702 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da RANDOM SEED= 550820448 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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.218 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: 1827120 kB Buffers: 35976 kB Cached: 107532 kB SwapCached: 14796 kB Active: 101120 kB Inactive: 64928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827120 kB SwapTotal: 4192956 kB SwapFree: 4141168 kB Dirty: 6800 kB Writeback: 0 kB Mapped: 29364 kB Slab: 48232 kB Committed_AS: 7135092 kB PageTables: 1816 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 node4 on Tue May 1 08:18:25 UTC 2007