Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 6 | 1800.05 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 70.5713 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
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/453831-1178158865/instance-453831-1178158865.opb 0.00/0.00 c File size is 38579 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.018 s 0.00/0.02 c Var: 3174 Constr: 6248 3174/0/3074 Lit: 21618 Watch. Lit: 15570 0.00/0.02 c Obj. Vars: 100 (3.1506 % of total variables) 0.09/0.19 c Pre-processing Time: 0.19 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 3174 6248 21618 3 15570 19501 0 0 0.19 0.09/0.19 c Switching off LPR mode. 0.09/0.19 o 99 0.193 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 3174 6249 21718 3 15573 19568 1 0 0.19 0.09/0.19 o 98 0.196 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3174 6250 21818 3 15577 19668 2 0 0.20 0.19/0.20 o 97 0.198 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3174 6251 21918 3 15582 19801 3 0 0.20 0.19/0.20 o 96 0.201 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3174 6252 22018 3 15588 19968 4 0 0.20 0.19/0.20 o 95 0.204 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3174 6253 22118 3 15595 20168 5 0 0.20 0.19/0.21 o 94 0.207 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3174 6254 22218 3 15603 20401 6 0 0.21 0.19/0.21 o 93 0.209 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3174 6255 22318 3 15612 20668 7 0 0.21 0.19/0.21 o 92 0.212 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3174 6256 22418 3 15622 20968 8 0 0.21 0.19/0.21 o 91 0.215 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6257 22518 3 15633 21301 9 0 0.22 0.19/0.22 o 90 0.217 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6258 22618 3 15645 21668 10 0 0.22 0.19/0.22 o 89 0.22 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6259 22718 3 15658 22068 11 0 0.22 0.19/0.22 o 88 0.223 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3174 6260 22818 3 15672 22501 12 0 0.22 0.19/0.22 o 87 0.225 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6261 22918 3 15687 22968 13 0 0.23 0.19/0.23 o 86 0.228 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6262 23018 3 15703 23468 14 0 0.23 0.19/0.23 o 85 0.231 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3174 6263 23118 3 15720 24001 15 0 0.23 0.19/0.23 o 70 0.235 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1 3174 6265 23303 3 15754 24468 17 4 0.24 0.19/0.24 o 6 0.238 1800.01/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.50 c 1 3174 6266 23403 3 15850 24468 18 4 0.24 1800.01/1800.50 c 101 3174 6366 32819 5 16050 26915 118 381 0.27 1800.01/1800.50 c 353 3174 6618 59582 9 16554 29607 370 1023 0.34 1800.01/1800.50 c 829 3174 7094 98915 13 17506 32568 846 1794 0.46 1800.01/1800.50 c 1642 3174 7907 156167 19 19132 35825 1659 2454 0.67 1800.01/1800.50 c 2963 3174 9228 259329 28 21774 39408 2980 2416 1.23 1800.01/1800.50 c 5044 3174 11309 428621 37 25936 43349 5061 2207 2.29 1800.01/1800.50 c 8267 3174 14532 704054 48 32382 47684 8284 1831 4.51 1800.01/1800.50 c 13203 3174 19468 1144690 58 42254 52453 13220 1451 9.10 1800.01/1800.50 c 20709 3174 26974 1919870 71 57266 57699 20726 1073 19.30 1800.01/1800.50 c 32070 3174 38335 3137300 81 79988 63469 32087 787 40.72 1800.01/1800.50 c 49214 3174 55479 5631250 101 114276 69816 49231 514 95.61 1800.01/1800.50 c 75033 3174 22439 1666450 74 48046 76798 16191 371 202.06 1800.01/1800.50 c 113865 3174 61271 5358103 87 125710 84478 55023 364 312.33 1800.01/1800.50 c 172218 3174 46454 3605881 77 96076 92926 40206 310 555.15 1800.01/1800.50 c 259850 3174 53316 4458034 83 109800 102219 47068 296 875.93 1800.01/1800.50 c 391402 3174 94264 7843916 83 191696 112441 88016 269 1451.99 1800.01/1800.50 c Caught signal: 15 1800.01/1800.50 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 1800.01/1800.50 v -x30 -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 1800.01/1800.50 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.01/1800.50 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 33 461202 132601 760782 63384 7051999 57136 256 1800.02 1800.01/1800.50 c Objective: 6 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 c Total time: 1800.02 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-453831-1178158865 -o ROOT/results/node9/solver-453831-1178158865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453831-1178158865/instance-453831-1178158865.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 0.98 0.99 3/77 28916 /proc/meminfo: memFree=1782176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=11776 CPUtime=0 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 291924065 12058624 342 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 2944 342 289 324 0 2004 0 [startup+0.0125259 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28916 /proc/meminfo: memFree=1782176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=4372 CPUtime=0 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 484 0 0 0 0 0 0 0 18 0 1 0 291924065 4476928 454 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134538857 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 1093 454 293 324 0 153 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4372 [startup+0.101537 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28916 /proc/meminfo: memFree=1782176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=5460 CPUtime=0.09 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 781 0 0 0 9 0 0 0 18 0 1 0 291924065 5591040 741 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 1365 741 303 324 0 435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5460 [startup+0.301559 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28916 /proc/meminfo: memFree=1782176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=5980 CPUtime=0.29 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 965 0 0 0 29 0 0 0 19 0 1 0 291924065 6123520 859 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 1495 859 310 324 0 565 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5980 [startup+0.701605 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28916 /proc/meminfo: memFree=1782176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=7668 CPUtime=0.69 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 1381 0 0 0 69 0 0 0 22 0 1 0 291924065 7852032 1275 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9095070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 1917 1275 310 324 0 987 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7668 [startup+1.5017 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1777432/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=9620 CPUtime=1.49 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 1890 0 0 0 149 0 0 0 25 0 1 0 291924065 9850880 1784 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 2405 1784 310 324 0 1475 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9620 [startup+3.10188 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1774744/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=12872 CPUtime=3.09 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 2698 0 0 0 309 0 0 0 25 0 1 0 291924065 13180928 2592 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 3218 2592 310 324 0 2288 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12872 [startup+6.30224 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1768728/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=17944 CPUtime=6.29 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 3971 0 0 0 628 1 0 0 25 0 1 0 291924065 18374656 3865 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 4486 3865 310 324 0 3556 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17944 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1760160/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=26132 CPUtime=12.69 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 5994 0 0 0 1265 4 0 0 25 0 1 0 291924065 26759168 5888 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 6533 5888 310 324 0 5603 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26132 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1748064/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=37732 CPUtime=25.49 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 8912 0 0 0 2542 7 0 0 25 0 1 0 291924065 38637568 8806 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 9433 8806 310 324 0 8503 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37732 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1726176/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=60056 CPUtime=51.07 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 14502 0 0 0 5097 10 0 0 25 0 1 0 291924065 61497344 14396 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 15014 14396 310 324 0 14084 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60056 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1700384/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=85320 CPUtime=102.26 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 20798 0 0 0 10208 18 0 0 25 0 1 0 291924065 87367680 20692 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 21330 20692 310 324 0 20400 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 85320 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1680928/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=104744 CPUtime=162.24 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 25664 0 0 0 16202 22 0 0 25 0 1 0 291924065 107257856 25558 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 26186 25558 310 324 0 25256 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 104744 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1671712/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=113572 CPUtime=222.23 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 27946 0 0 0 22197 26 0 0 25 0 1 0 291924065 116297728 27769 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 28393 27769 310 324 0 27463 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 113572 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1671712/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=113572 CPUtime=282.21 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 27946 0 0 0 28195 26 0 0 25 0 1 0 291924065 116297728 27769 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 28393 27769 310 324 0 27463 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 113572 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1671712/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=113572 CPUtime=342.19 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 27946 0 0 0 34193 26 0 0 25 0 1 0 291924065 116297728 27769 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 28393 27769 310 324 0 27463 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 113572 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1671776/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=113584 CPUtime=402.18 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 27948 0 0 0 40191 27 0 0 25 0 1 0 291924065 116310016 27771 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 28396 27771 310 324 0 27466 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 113584 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1665888/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=119708 CPUtime=462.17 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 29470 0 0 0 46187 30 0 0 25 0 1 0 291924065 122580992 29293 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 29927 29293 310 324 0 28997 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 119708 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1663648/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=121648 CPUtime=522.14 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 30043 0 0 0 52184 30 0 0 25 0 1 0 291924065 124567552 29781 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098265 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 30412 29781 310 324 0 29482 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 121648 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1663648/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=121648 CPUtime=582.13 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 30043 0 0 0 58182 31 0 0 25 0 1 0 291924065 124567552 29781 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 30412 29781 310 324 0 29482 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 121648 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28917 /proc/meminfo: memFree=1663712/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=121648 CPUtime=642.12 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 30043 0 0 0 64181 31 0 0 25 0 1 0 291924065 124567552 29781 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 30412 29781 310 324 0 29482 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 121648 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28919 /proc/meminfo: memFree=1657312/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=128020 CPUtime=882.05 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 31732 0 0 0 88170 35 0 0 25 0 1 0 291924065 131092480 31377 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 32005 31377 310 324 0 31075 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 128020 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28919 /proc/meminfo: memFree=1657312/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=128020 CPUtime=942.03 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 31732 0 0 0 94168 35 0 0 25 0 1 0 291924065 131092480 31377 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 32005 31377 310 324 0 31075 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 128020 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28919 /proc/meminfo: memFree=1645088/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=140912 CPUtime=1002.02 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 34959 0 0 0 100164 38 0 0 25 0 1 0 291924065 144293888 34604 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 35228 34604 310 324 0 34298 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 140912 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28919 /proc/meminfo: memFree=1619424/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=166200 CPUtime=1062 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 41277 0 0 0 106158 42 0 0 25 0 1 0 291924065 170188800 40922 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 41550 40922 310 324 0 40620 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 166200 [startup+1122.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1604768/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=180592 CPUtime=1121.99 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 44881 0 0 0 112152 47 0 0 25 0 1 0 291924065 184926208 44526 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 45148 44526 310 324 0 44218 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 180592 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599712/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1181.97 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 118149 48 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 185412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599776/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1241.96 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 124147 49 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 185412 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599776/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1301.94 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 130145 49 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 185412 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599776/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1361.93 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 136143 50 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 185412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599840/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1421.91 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 142141 50 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 185412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599840/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1481.89 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 148138 51 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9094997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 185412 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599904/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185412 CPUtime=1541.88 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46182 0 0 0 154137 51 0 0 25 0 1 0 291924065 189861888 45725 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46353 45725 310 324 0 45423 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 185412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599840/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185428 CPUtime=1601.85 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46186 0 0 0 160134 51 0 0 25 0 1 0 291924065 189878272 45729 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46357 45729 310 324 0 45427 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 185428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599136/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185968 CPUtime=1661.84 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46436 0 0 0 166132 52 0 0 25 0 1 0 291924065 190431232 45867 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46492 45867 310 324 0 45562 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 185968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599136/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185968 CPUtime=1721.82 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46436 0 0 0 172130 52 0 0 25 0 1 0 291924065 190431232 45867 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46492 45867 310 324 0 45562 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 185968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599200/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185968 CPUtime=1781.81 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46436 0 0 0 178128 53 0 0 25 0 1 0 291924065 190431232 45867 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46492 45867 310 324 0 45562 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 185968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599200/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185968 CPUtime=1800.01 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46436 0 0 0 179948 53 0 0 25 0 1 0 291924065 190431232 45867 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46492 45867 310 324 0 45562 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 185968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28919 /proc/meminfo: memFree=1599200/2055920 swapFree=4145492/4192956 [pid=28916] ppid=28914 vsize=185968 CPUtime=1800.01 /proc/28916/stat : 28916 (bsolo3.0.17) R 28914 28916 27737 0 -1 4194304 46436 0 0 0 179948 53 0 0 25 0 1 0 291924065 190431232 45867 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28916/statm: 46492 45867 310 324 0 45562 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 185968 Child status: 15 Real time (s): 1800.54 CPU time (s): 1800.05 CPU user time (s): 1799.48 CPU system time (s): 0.567913 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 186416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.567913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46440 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= 20993 runsolver used 1.44678 second user time and 3.82842 second system time The end
Begin job on node9 on Thu May 3 02:21:05 UTC 2007 IDJOB= 453831 IDBENCH= 48156 IDSOLVER= 199 FILE ID= node9/453831-1178158865 PBS_JOBID= 4751083 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453831-1178158865/instance-453831-1178158865.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-453831-1178158865 -o ROOT/results/node9/solver-453831-1178158865 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453831-1178158865/instance-453831-1178158865.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED= 213743148 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1782584 kB Buffers: 69736 kB Cached: 108392 kB SwapCached: 15400 kB Active: 167972 kB Inactive: 38420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782584 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 6720 kB Writeback: 0 kB Mapped: 34840 kB Slab: 52376 kB Committed_AS: 8643556 kB PageTables: 1796 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 node9 on Thu May 3 02:51:08 UTC 2007