Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 151.54 | 151.704 |
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.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/452906-1177993960/instance-452906-1177993960.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.00 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. 3.99/4.07 c 101 352 626 7962 12 2045 3244 101 7214 0.01 3.99/4.07 c 251 352 776 16932 21 2346 3569 251 9653 0.03 3.99/4.07 c 477 352 1002 29831 29 2802 3926 477 10148 0.05 3.99/4.07 c 816 352 1341 56192 41 3433 4319 816 10880 0.07 3.99/4.07 c 1325 352 1850 86978 47 4404 4751 1325 10433 0.13 3.99/4.07 c 2088 352 2613 131625 50 5942 5227 2088 8773 0.24 3.99/4.07 c 3234 352 3759 202583 53 8291 5750 3234 7218 0.45 3.99/4.07 c 4956 352 5481 322701 58 11705 6326 4956 5357 0.93 3.99/4.07 c 7541 352 4852 271219 55 10442 6959 4327 4504 1.67 3.99/4.07 c 11421 352 5197 274999 52 11123 7655 4672 3922 2.91 3.99/4.07 o 53 4.07 8.49/8.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.58 c 17038 352 6829 409099 59 14399 2965 6304 4186 4.07 8.49/8.58 c 17139 332 2110 105344 49 5004 3262 1585 4173 4.11 8.49/8.58 c 17390 332 2361 120551 51 5471 3589 1836 4209 4.13 8.49/8.58 c 17865 332 2836 149428 52 6445 3948 2311 4266 4.19 8.49/8.58 c 18678 332 3649 198771 54 8043 4343 3124 4334 4.31 8.49/8.58 c 19998 332 2712 133066 49 6164 4778 2187 4335 4.61 8.49/8.58 c 22080 332 4794 255735 53 10346 5256 4269 4335 5.09 8.49/8.58 c 25303 332 5079 306600 60 10937 5782 4554 4490 5.63 8.49/8.58 c 30239 332 3717 201982 54 8230 6361 3192 4406 6.86 8.49/8.58 c 37747 332 4462 246913 55 9702 6998 3937 4490 8.41 8.49/8.58 o 19 8.576 10.09/10.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.19 c 39183 332 5899 337298 57 12568 2961 5374 4568 8.58 10.09/10.19 c 39283 322 2109 101441 48 4990 3258 1584 4564 8.61 10.09/10.19 c 39535 322 2361 119500 50 5459 3584 1836 4578 8.63 10.09/10.19 c 40011 322 2837 167676 59 6416 3943 2312 4591 8.71 10.09/10.19 c 40824 322 3650 217632 59 8072 4338 3125 4625 8.83 10.09/10.19 c 42145 322 2710 129821 47 6157 4772 2185 4653 9.06 10.09/10.19 c 44226 322 4791 255438 53 10359 5250 4266 4661 9.49 10.09/10.19 o 9 10.192 14.48/14.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.48/14.56 c 47266 322 5128 280800 54 11041 2959 4603 4637 10.19 14.48/14.56 c 47367 312 2110 101852 48 4983 3255 1585 4636 10.22 14.48/14.56 c 47618 312 2361 116558 49 5499 3581 1836 4650 10.24 14.48/14.56 c 48093 312 2836 143640 50 6442 3940 2311 4669 10.30 14.48/14.56 c 48907 312 3650 189731 51 8063 4335 3125 4686 10.44 14.48/14.56 c 50227 312 2713 125042 46 6204 4769 2188 4687 10.71 14.48/14.56 c 52310 312 4796 255351 53 10396 5246 4271 4748 11.02 14.48/14.56 c 55533 312 5115 269148 52 11014 5771 4590 4703 11.81 14.48/14.56 c 60469 312 4104 203387 49 8958 6349 3579 4572 13.22 14.48/14.56 o 5 14.554 14.68/14.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.68/14.73 c 65585 312 5893 326073 55 12558 2957 5368 4506 14.55 14.68/14.73 c 65685 302 2111 104593 49 5025 3253 1586 4502 14.59 14.68/14.73 c 65936 302 2362 119204 50 5471 3579 1837 4512 14.61 14.68/14.73 c 66412 302 2838 146069 51 6432 3937 2313 4528 14.66 14.68/14.73 o 3 14.728 151.54/151.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 151.54/151.69 c 66927 302 3354 178684 53 7495 2955 2829 4544 14.73 151.54/151.69 c 67028 281 3455 185201 53 7705 3251 2930 4544 14.75 151.54/151.69 c 67279 281 3706 202928 54 8187 3577 3181 4552 14.78 151.54/151.69 c 67756 281 2321 115844 49 5406 3935 1796 4551 14.89 151.54/151.69 c 68570 281 3135 172667 55 7051 4329 2610 4566 15.02 151.54/151.69 c 69891 281 4456 269713 60 9660 4762 3931 4591 15.22 151.54/151.69 c 71973 281 3859 237955 61 8494 5239 3334 4613 15.60 151.54/151.69 c 75197 281 4181 232439 55 9127 5763 3656 4648 16.18 151.54/151.69 c 80134 281 6025 345341 57 12800 6340 5500 4670 17.16 151.54/151.69 c 87641 281 6742 389237 57 14246 6975 6217 4619 18.97 151.54/151.69 c 99003 281 6924 417698 60 14592 7673 6399 4480 22.10 151.54/151.69 c 116148 281 7633 487931 63 16071 8441 7108 4142 28.04 151.54/151.69 c 141968 281 6922 421780 60 14571 9286 6397 3692 38.45 151.54/151.70 c 180801 281 7248 448476 61 15222 10215 6723 3293 54.90 151.54/151.70 c 239153 280 7163 420149 58 15097 11237 6638 2810 85.10 151.54/151.70 c 326785 279 7414 444781 59 15600 12361 6889 2556 127.84 151.54/151.70 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 151.54/151.70 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 151.54/151.70 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 151.54/151.70 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 151.54/151.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 151.54/151.70 c 56 361462 2558 372594 10583 619549 10058 2383 151.65 151.54/151.70 c Objective: 3 151.54/151.70 s OPTIMUM FOUND 151.54/151.70 c Total time: 151.648 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-452906-1177993960 -o ROOT/results/node15/solver-452906-1177993960 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.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: 1.00 1.00 1.00 3/77 27800 /proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=3932 CPUtime=0 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 247313635 4026368 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7852904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 983 347 290 324 0 51 0 [startup+0.074432 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27800 /proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=4840 CPUtime=0.06 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 616 0 0 0 6 0 0 0 18 0 1 0 247313635 4956160 584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 1210 584 310 324 0 280 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4840 [startup+0.101434 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27800 /proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=5096 CPUtime=0.09 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 247313635 5218304 646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 1274 646 310 324 0 344 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5096 [startup+0.301453 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27800 /proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=6264 CPUtime=0.29 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 973 0 0 0 29 0 0 0 19 0 1 0 247313635 6414336 941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 1566 941 310 324 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6264 [startup+0.701489 s] /proc/loadavg: 1.00 1.00 1.00 3/77 27800 /proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=8072 CPUtime=0.69 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1422 0 0 0 68 1 0 0 23 0 1 0 247313635 8265728 1390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2018 1390 310 324 0 1088 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8072 [startup+1.50156 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1797992/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=10020 CPUtime=1.49 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1903 0 0 0 148 1 0 0 25 0 1 0 247313635 10260480 1871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2505 1871 310 324 0 1575 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10020 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1796520/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=10280 CPUtime=3.09 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1992 0 0 0 308 1 0 0 25 0 1 0 247313635 10526720 1960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2570 1960 310 324 0 1640 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10280 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1795568/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=11060 CPUtime=6.29 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 247313635 11325440 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2765 2144 311 324 0 1835 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11060 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1795568/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=11060 CPUtime=12.69 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2176 0 0 0 1268 1 0 0 25 0 1 0 247313635 11325440 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2765 2144 311 324 0 1835 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11060 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1794864/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=11820 CPUtime=25.48 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2360 0 0 0 2547 1 0 0 25 0 1 0 247313635 12103680 2328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 2955 2328 311 324 0 2025 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11820 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27801 /proc/meminfo: memFree=1793520/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=13212 CPUtime=51.07 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2705 0 0 0 5105 2 0 0 25 0 1 0 247313635 13529088 2673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3303 2673 311 324 0 2373 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13212 [startup+102.306 s] /proc/loadavg: 1.07 1.02 1.00 2/78 27801 /proc/meminfo: memFree=1790704/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15984 CPUtime=102.26 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3403 0 0 0 10223 3 0 0 25 0 1 0 247313635 16367616 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3996 3371 311 324 0 3066 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 15984 [startup+151.601 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15952 CPUtime=151.54 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15151 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3988 3372 311 324 0 3058 0 Current children cumulated CPU time (s) 151.54 Current children cumulated vsize (KiB) 15952 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (151.54 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (151.54 s) to the 'lost time'. [startup+151.701 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1798228/2055920 swapFree=4169108/4192956 [pid=27800] ppid=-1 vsize=0 CPUtime=0 /proc/27800/stat : -- couldn't open stat file --/proc/27800/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.05 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15956 CPUtime=127.85 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3403 0 0 0 12782 3 0 0 25 0 1 0 247313635 16338944 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3989 3371 311 324 0 3059 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 15956 [startup+140.701 s] /proc/loadavg: 1.04 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15956 CPUtime=140.65 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 14062 3 0 0 25 0 1 0 247313635 16338944 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3989 3372 311 324 0 3059 0 Current children cumulated CPU time (s) 140.65 Current children cumulated vsize (KiB) 15956 [startup+147.102 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15952 CPUtime=147.04 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 14701 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3988 3372 311 324 0 3058 0 Current children cumulated CPU time (s) 147.04 Current children cumulated vsize (KiB) 15952 [startup+150.301 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15952 CPUtime=150.24 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15021 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3988 3372 311 324 0 3058 0 Current children cumulated CPU time (s) 150.24 Current children cumulated vsize (KiB) 15952 [startup+151.101 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15952 CPUtime=151.04 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15101 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3988 3372 311 324 0 3058 0 Current children cumulated CPU time (s) 151.04 Current children cumulated vsize (KiB) 15952 [startup+151.501 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956 [pid=27800] ppid=27798 vsize=15952 CPUtime=151.44 /proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15141 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27800/statm: 3988 3372 311 324 0 3058 0 Current children cumulated CPU time (s) 151.44 Current children cumulated vsize (KiB) 15952 [startup+151.701 s] /proc/loadavg: 1.03 1.01 1.00 2/78 27801 /proc/meminfo: memFree=1798228/2055920 swapFree=4169108/4192956 [pid=27800] ppid=-1 vsize=0 CPUtime=0 /proc/27800/stat : -- couldn't open stat file --/proc/27800/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27800 and gives # childrusage.ru_utime.tv_sec=151 # childrusage.ru_utime.tv_usec=616950 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=36994 # CPU time returned by wait4() is 151.654 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 151.54 # lost CPU user time (s): 151.51 # lost CPU system time (s): 0.03 Real time (s): 151.704 CPU time (s): 151.54 CPU user time (s): 151.51 CPU system time (s): 0.03 CPU usage (%): 99.892 Max. virtual memory (cumulated for all children) (KiB): 16040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 151.617 system time used= 0.036994 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= 10 involuntary context switches= 3079 runsolver used 0.117982 second user time and 0.337948 second system time The end
Begin job on node15 on Tue May 1 04:32:40 UTC 2007 IDJOB= 452906 IDBENCH= 47973 IDSOLVER= 199 FILE ID= node15/452906-1177993960 PBS_JOBID= 4728220 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=191-P1=151-P2=41-P3=257-P4=191-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-452906-1177993960 -o ROOT/results/node15/solver-452906-1177993960 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e04f59e7146720276551350f74bab120 RANDOM SEED= 846545636 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1803584 kB Buffers: 43544 kB Cached: 121308 kB SwapCached: 2360 kB Active: 70388 kB Inactive: 117668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803584 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6700 kB Writeback: 0 kB Mapped: 30632 kB Slab: 49616 kB Committed_AS: 7605640 kB PageTables: 1872 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 node15 on Tue May 1 04:35:12 UTC 2007