Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 152.142 | 152.181 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb |
MD5SUM | e04f59e7146720276551350f74bab120 |
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.100984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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/430338-1177993863/instance-430338-1177993863.opb 0.00/0.00 c File size is 4596 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.002 s 0.00/0.00 c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354 0.00/0.00 c Obj. Vars: 8 (2.27273 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 352 525 2200 4 1890 2949 0 0 0.01 0.00/0.01 c Switching off LPR mode. 4.09/4.11 c 101 352 626 7962 12 2045 3244 101 6733 0.01 4.09/4.11 c 251 352 776 16932 21 2346 3569 251 9653 0.03 4.09/4.11 c 477 352 1002 29831 29 2802 3926 477 9937 0.05 4.09/4.11 c 816 352 1341 56192 41 3433 4319 816 10736 0.08 4.09/4.11 c 1325 352 1850 86978 47 4404 4751 1325 10271 0.13 4.09/4.11 c 2088 352 2613 131625 50 5942 5227 2088 8700 0.24 4.09/4.11 c 3234 352 3759 202583 53 8291 5750 3234 7154 0.45 4.09/4.11 c 4956 352 5481 322701 58 11705 6326 4956 5317 0.93 4.09/4.11 c 7541 352 4852 271219 55 10442 6959 4327 4472 1.69 4.09/4.11 c 11421 352 5197 274999 52 11123 7655 4672 3883 2.94 4.09/4.11 o 53 4.109 8.59/8.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.61 c 17038 352 6829 409099 59 14399 2965 6304 4145 4.11 8.59/8.61 c 17139 332 2110 105344 49 5004 3262 1585 4132 4.15 8.59/8.61 c 17390 332 2361 120551 51 5471 3589 1836 4169 4.17 8.59/8.61 c 17865 332 2836 149428 52 6445 3948 2311 4226 4.23 8.59/8.61 c 18678 332 3649 198771 54 8043 4343 3124 4293 4.35 8.59/8.61 c 19998 332 2712 133066 49 6164 4778 2187 4296 4.66 8.59/8.61 c 22080 332 4794 255735 53 10346 5256 4269 4297 5.14 8.59/8.61 c 25303 332 5079 306600 60 10937 5782 4554 4453 5.68 8.59/8.61 c 30239 332 3717 201982 54 8230 6361 3192 4381 6.90 8.59/8.61 c 37747 332 4462 246913 55 9702 6998 3937 4472 8.44 8.59/8.61 o 19 8.61 10.18/10.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.18/10.23 c 39183 332 5899 337298 57 12568 2961 5374 4550 8.61 10.18/10.23 c 39283 322 2109 101441 48 4990 3258 1584 4546 8.64 10.18/10.23 c 39535 322 2361 119500 50 5459 3584 1836 4561 8.67 10.18/10.23 c 40011 322 2837 167676 59 6416 3943 2312 4573 8.75 10.18/10.23 c 40824 322 3650 217632 59 8072 4338 3125 4607 8.86 10.18/10.23 c 42145 322 2710 129821 47 6157 4772 2185 4635 9.09 10.18/10.23 c 44226 322 4791 255438 53 10359 5250 4266 4644 9.52 10.18/10.23 o 9 10.225 14.59/14.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.59/14.62 c 47266 322 5128 280800 54 11041 2959 4603 4622 10.22 14.59/14.62 c 47367 312 2110 101852 48 4983 3255 1585 4621 10.25 14.59/14.62 c 47618 312 2361 116558 49 5499 3581 1836 4635 10.27 14.59/14.62 c 48093 312 2836 143640 50 6442 3940 2311 4654 10.33 14.59/14.62 c 48907 312 3650 189731 51 8063 4335 3125 4671 10.47 14.59/14.62 c 50227 312 2713 125042 46 6204 4769 2188 4672 10.75 14.59/14.62 c 52310 312 4796 255351 53 10396 5246 4271 4733 11.05 14.59/14.62 c 55533 312 5115 269148 52 11014 5771 4590 4687 11.85 14.59/14.62 c 60469 312 4104 203387 49 8958 6349 3579 4553 13.28 14.59/14.62 o 5 14.619 14.78/14.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.80 c 65585 312 5893 326073 55 12558 2957 5368 4486 14.62 14.78/14.80 c 65685 302 2111 104593 49 5025 3253 1586 4483 14.65 14.78/14.80 c 65936 302 2362 119204 50 5471 3579 1837 4492 14.68 14.78/14.80 c 66412 302 2838 146069 51 6432 3937 2313 4508 14.73 14.78/14.80 o 3 14.794 152.06/152.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 152.06/152.17 c 66927 302 3354 178684 53 7495 2955 2829 4523 14.79 152.06/152.17 c 67028 281 3455 185201 53 7705 3251 2930 4524 14.81 152.06/152.17 c 67279 281 3706 202928 54 8187 3577 3181 4532 14.84 152.06/152.17 c 67756 281 2321 115844 49 5406 3935 1796 4531 14.95 152.06/152.17 c 68570 281 3135 172667 55 7051 4329 2610 4545 15.09 152.06/152.17 c 69891 281 4456 269713 60 9660 4762 3931 4570 15.29 152.06/152.17 c 71973 281 3859 237955 61 8494 5239 3334 4592 15.67 152.06/152.17 c 75197 281 4181 232439 55 9127 5763 3656 4627 16.25 152.06/152.17 c 80134 281 6025 345341 57 12800 6340 5500 4647 17.24 152.06/152.17 c 87641 281 6742 389237 57 14246 6975 6217 4594 19.07 152.06/152.17 c 99003 281 6924 417698 60 14592 7673 6399 4457 22.21 152.06/152.17 c 116148 281 7633 487931 63 16071 8441 7108 4126 28.14 152.06/152.17 c 141968 281 6922 421780 60 14571 9286 6397 3676 38.62 152.06/152.17 c 180801 281 7248 448476 61 15222 10215 6723 3281 55.10 152.06/152.17 c 239153 280 7163 420149 58 15097 11237 6638 2797 85.50 152.06/152.17 c 326785 279 7414 444781 59 15600 12361 6889 2548 128.24 152.06/152.17 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 -x32 152.06/152.17 v x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50 -x51 152.06/152.17 v -x52 -x53 -x54 -x55 -x56 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x57 x58 -x59 -x60 -x61 x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85 -x86 152.06/152.17 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 152.06/152.17 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 152.06/152.17 c 56 361462 2558 372594 10583 619549 10058 2375 152.13 152.06/152.17 c Objective: 3 152.06/152.17 s OPTIMUM FOUND 152.06/152.17 c Total time: 152.135 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-430338-1177993863 -o ROOT/results/node27/solver-430338-1177993863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.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.92 1.00 0.99 3/65 9336 /proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=3932 CPUtime=0 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 380 0 0 0 0 0 0 0 18 0 1 0 212082177 4026368 349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 983 349 292 324 0 50 0 [startup+0.0561951 s] /proc/loadavg: 0.92 1.00 0.99 3/65 9336 /proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=4584 CPUtime=0.04 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 556 0 0 0 4 0 0 0 18 0 1 0 212082177 4694016 523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 1146 523 312 324 0 215 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4584 [startup+0.101199 s] /proc/loadavg: 0.92 1.00 0.99 3/65 9336 /proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=5096 CPUtime=0.09 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 212082177 5218304 646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 1274 646 312 324 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5096 [startup+0.301219 s] /proc/loadavg: 0.92 1.00 0.99 3/65 9336 /proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=6264 CPUtime=0.29 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 973 0 0 0 29 0 0 0 19 0 1 0 212082177 6414336 940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 1566 940 312 324 0 635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6264 [startup+0.701259 s] /proc/loadavg: 0.92 1.00 0.99 3/65 9336 /proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=8072 CPUtime=0.69 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1422 0 0 0 68 1 0 0 22 0 1 0 212082177 8265728 1389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2018 1389 312 324 0 1087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8072 [startup+1.50134 s] /proc/loadavg: 0.93 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1782536/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=10020 CPUtime=1.49 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1906 0 0 0 148 1 0 0 25 0 1 0 212082177 10260480 1873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2505 1873 312 324 0 1574 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10020 [startup+3.1025 s] /proc/loadavg: 0.93 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1781320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=10280 CPUtime=3.09 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1995 0 0 0 307 2 0 0 25 0 1 0 212082177 10526720 1962 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2570 1962 312 324 0 1639 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10280 [startup+6.30183 s] /proc/loadavg: 0.93 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1780168/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=11060 CPUtime=6.29 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2179 0 0 0 625 4 0 0 25 0 1 0 212082177 11325440 2146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2765 2146 313 324 0 1834 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11060 [startup+12.7015 s] /proc/loadavg: 0.94 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1780184/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=11060 CPUtime=12.69 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2179 0 0 0 1263 6 0 0 25 0 1 0 212082177 11325440 2146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2765 2146 313 324 0 1834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11060 [startup+25.5018 s] /proc/loadavg: 0.95 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1779544/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=11820 CPUtime=25.48 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2363 0 0 0 2539 9 0 0 25 0 1 0 212082177 12103680 2330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 2955 2330 313 324 0 2024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11820 [startup+51.1014 s] /proc/loadavg: 0.97 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1778136/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=13212 CPUtime=51.08 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2708 0 0 0 5094 14 0 0 25 0 1 0 212082177 13529088 2675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3303 2675 313 324 0 2372 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13212 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15984 CPUtime=102.26 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3406 0 0 0 10204 22 0 0 25 0 1 0 212082177 16367616 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3996 3373 313 324 0 3065 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15984 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15956 CPUtime=127.86 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3406 0 0 0 12758 28 0 0 25 0 1 0 212082177 16338944 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3989 3373 313 324 0 3058 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 15956 [startup+140.701 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15956 CPUtime=140.66 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14036 30 0 0 25 0 1 0 212082177 16338944 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3989 3374 313 324 0 3058 0 Current children cumulated CPU time (s) 140.66 Current children cumulated vsize (KiB) 15956 [startup+147.101 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15952 CPUtime=147.06 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14675 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3988 3374 313 324 0 3057 0 Current children cumulated CPU time (s) 147.06 Current children cumulated vsize (KiB) 15952 [startup+150.301 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15952 CPUtime=150.25 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14994 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3988 3374 313 324 0 3057 0 Current children cumulated CPU time (s) 150.25 Current children cumulated vsize (KiB) 15952 [startup+151.102 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15952 CPUtime=151.05 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15074 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3988 3374 313 324 0 3057 0 Current children cumulated CPU time (s) 151.05 Current children cumulated vsize (KiB) 15952 [startup+151.902 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15952 CPUtime=151.85 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15154 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3988 3374 313 324 0 3057 0 Current children cumulated CPU time (s) 151.85 Current children cumulated vsize (KiB) 15952 [startup+152.102 s] /proc/loadavg: 0.99 1.00 0.99 2/66 9337 /proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956 [pid=9336] ppid=9334 vsize=15952 CPUtime=152.06 /proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15174 32 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9336/statm: 3988 3374 313 324 0 3057 0 Current children cumulated CPU time (s) 152.06 Current children cumulated vsize (KiB) 15952 Child status: 0 Real time (s): 152.181 CPU time (s): 152.142 CPU user time (s): 151.818 CPU system time (s): 0.32395 CPU usage (%): 99.9745 Max. virtual memory (cumulated for all children) (KiB): 15996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.818 system time used= 0.32395 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3408 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= 89 runsolver used 0.124981 second user time and 0.301954 second system time The end
Begin job on node27 on Tue May 1 04:31:03 UTC 2007 IDJOB= 430338 IDBENCH= 47973 IDSOLVER= 163 FILE ID= node27/430338-1177993863 PBS_JOBID= 4728219 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-430338-1177993863 -o ROOT/results/node27/solver-430338-1177993863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED= 664048201 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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.213 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: 1788200 kB Buffers: 29712 kB Cached: 163356 kB SwapCached: 3996 kB Active: 69084 kB Inactive: 134176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788200 kB SwapTotal: 4192956 kB SwapFree: 4182936 kB Dirty: 6724 kB Writeback: 0 kB Mapped: 16116 kB Slab: 50496 kB Committed_AS: 2352536 kB PageTables: 1412 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 node27 on Tue May 1 04:33:35 UTC 2007