Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 6 | 1800.04 | 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.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/453825-1178158589/instance-453825-1178158589.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.017 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.188 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.191 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.194 0.09/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.20 c 0 3174 6250 21818 3 15577 19668 2 0 0.20 0.09/0.20 o 97 0.197 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.2 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.203 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.206 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.211 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.214 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.21 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 1799.99/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.50 c 1 3174 6266 23403 3 15850 24468 18 4 0.24 1799.99/1800.50 c 101 3174 6366 32819 5 16050 26915 118 381 0.27 1799.99/1800.50 c 353 3174 6618 59582 9 16554 29607 370 1026 0.34 1799.99/1800.50 c 829 3174 7094 98915 13 17506 32568 846 1798 0.46 1799.99/1800.50 c 1642 3174 7907 156167 19 19132 35825 1659 2461 0.67 1799.99/1800.50 c 2963 3174 9228 259329 28 21774 39408 2980 2418 1.23 1799.99/1800.50 c 5044 3174 11309 428621 37 25936 43349 5061 2211 2.28 1799.99/1800.50 c 8267 3174 14532 704054 48 32382 47684 8284 1839 4.49 1799.99/1800.50 c 13203 3174 19468 1144690 58 42254 52453 13220 1457 9.06 1799.99/1800.50 c 20709 3174 26974 1919870 71 57266 57699 20726 1066 19.42 1799.99/1800.50 c 32070 3174 38335 3137300 81 79988 63469 32087 786 40.77 1799.99/1800.50 c 49214 3174 55479 5631250 101 114276 69816 49231 516 95.27 1799.99/1800.50 c 75033 3174 22439 1666450 74 48046 76798 16191 373 200.99 1799.99/1800.50 c 113865 3174 61271 5358103 87 125710 84478 55023 366 310.89 1799.99/1800.50 c 172218 3174 46454 3605881 77 96076 92926 40206 312 551.83 1799.99/1800.50 c 259850 3174 53316 4458034 83 109800 102219 47068 298 870.16 1799.99/1800.50 c 391402 3174 94264 7843916 83 191696 112441 88016 271 1442.88 1799.99/1800.50 c Resources Exceeded 1799.99/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 1799.99/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 1799.99/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 1799.99/1800.50 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.99/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.50 c 33 463814 133552 765893 65995 7238612 59747 257 1800.01 1799.99/1800.50 c Objective: 6 1799.99/1800.50 s SATISFIABLE 1799.99/1800.50 c Total time: 1800.01 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-453825-1178158589 -o ROOT/results/node15/solver-453825-1178158589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453825-1178158589/instance-453825-1178158589.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.99 0.98 0.99 3/77 8419 /proc/meminfo: memFree=1711280/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=11776 CPUtime=0 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 263776507 12058624 347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 991 347 291 324 0 50 0 [startup+0.089666 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8419 /proc/meminfo: memFree=1711280/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=5460 CPUtime=0.07 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 784 0 0 0 7 0 0 0 18 0 1 0 263776507 5591040 744 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 1365 744 305 324 0 434 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5460 [startup+0.101667 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8419 /proc/meminfo: memFree=1711280/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=5460 CPUtime=0.09 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 784 0 0 0 9 0 0 0 18 0 1 0 263776507 5591040 744 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 1365 744 305 324 0 434 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5460 [startup+0.301686 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8419 /proc/meminfo: memFree=1711280/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=5980 CPUtime=0.29 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 968 0 0 0 28 1 0 0 19 0 1 0 263776507 6123520 862 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7954149 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 1495 862 312 324 0 564 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5980 [startup+0.701722 s] /proc/loadavg: 0.99 0.98 0.99 3/77 8419 /proc/meminfo: memFree=1711280/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=7668 CPUtime=0.69 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 1386 0 0 0 68 1 0 0 22 0 1 0 263776507 7852032 1280 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 1917 1280 312 324 0 986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7668 [startup+1.5018 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1706472/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=9620 CPUtime=1.49 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 1894 0 0 0 147 2 0 0 25 0 1 0 263776507 9850880 1788 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 2405 1788 312 324 0 1474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9620 [startup+3.10194 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1703720/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=12872 CPUtime=3.09 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 2707 0 0 0 306 3 0 0 25 0 1 0 263776507 13180928 2601 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 3218 2601 312 324 0 2287 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12872 [startup+6.30124 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1697896/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=18076 CPUtime=6.29 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 3981 0 0 0 624 5 0 0 25 0 1 0 263776507 18509824 3875 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 4519 3875 312 324 0 3588 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18076 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1689328/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=26000 CPUtime=12.69 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 5993 0 0 0 1261 8 0 0 25 0 1 0 263776507 26624000 5887 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 6500 5887 312 324 0 5569 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26000 [startup+25.502 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1677296/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=37732 CPUtime=25.48 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 8907 0 0 0 2535 13 0 0 25 0 1 0 263776507 38637568 8801 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 9433 8801 312 324 0 8502 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37732 [startup+51.1014 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1655216/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=60184 CPUtime=51.06 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 14513 0 0 0 5085 21 0 0 25 0 1 0 263776507 61628416 14407 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 15046 14407 312 324 0 14115 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 60184 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1629296/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=85448 CPUtime=102.25 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 20831 0 0 0 10196 29 0 0 25 0 1 0 263776507 87498752 20725 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 21362 20725 312 324 0 20431 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 85448 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1609840/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=105000 CPUtime=162.23 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 25730 0 0 0 16186 37 0 0 25 0 1 0 263776507 107520000 25624 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 26250 25624 312 324 0 25319 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 105000 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1600752/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=113572 CPUtime=222.22 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 27949 0 0 0 22179 43 0 0 25 0 1 0 263776507 116297728 27772 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 28393 27772 312 324 0 27462 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 113572 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1600752/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=113572 CPUtime=282.21 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 27949 0 0 0 28172 49 0 0 25 0 1 0 263776507 116297728 27772 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 28393 27772 312 324 0 27462 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 8420 /proc/meminfo: memFree=1600752/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=113572 CPUtime=342.19 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 27949 0 0 0 34166 53 0 0 25 0 1 0 263776507 116297728 27772 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 28393 27772 312 324 0 27462 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 8420 /proc/meminfo: memFree=1600816/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=113584 CPUtime=402.17 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 27952 0 0 0 40161 56 0 0 25 0 1 0 263776507 116310016 27775 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 28396 27775 312 324 0 27465 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 113584 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1594480/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=120220 CPUtime=462.16 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 29614 0 0 0 46155 61 0 0 25 0 1 0 263776507 123105280 29437 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 30055 29437 312 324 0 29124 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 120220 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8420 /proc/meminfo: memFree=1592816/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=121648 CPUtime=522.14 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 30046 0 0 0 52148 66 0 0 25 0 1 0 263776507 124567552 29784 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 30412 29784 312 324 0 29481 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 121648 [startup+582.301 s] /proc/loadavg: 1.06 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1592880/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=121648 CPUtime=582.12 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 30046 0 0 0 58141 71 0 0 25 0 1 0 263776507 124567552 29784 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 30412 29784 312 324 0 29481 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 121648 [startup+642.302 s] /proc/loadavg: 1.07 1.01 1.00 2/78 8420 /proc/meminfo: memFree=1592944/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=121648 CPUtime=642.11 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 30046 0 0 0 64135 76 0 0 25 0 1 0 263776507 124567552 29784 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 30412 29784 312 324 0 29481 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 121648 ################ # More data... # ################ /proc/meminfo: memFree=1546800/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=167888 CPUtime=1061.99 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 41702 0 0 0 106086 113 0 0 25 0 1 0 263776507 171917312 41347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 41972 41347 312 324 0 41041 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 167888 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1531888/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=182540 CPUtime=1121.97 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 45368 0 0 0 112077 120 0 0 25 0 1 0 263776507 186920960 45013 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 45635 45013 312 324 0 44704 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 182540 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1528752/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1181.96 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 118070 126 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 185412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1528816/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1241.95 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 124064 131 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 185412 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1528880/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1301.93 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 130059 134 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 185412 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1528880/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1361.92 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 136055 137 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 185412 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8420 /proc/meminfo: memFree=1528880/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1421.9 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 142050 140 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551231 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 185412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1529072/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1481.88 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 148046 142 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 185412 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1529072/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185412 CPUtime=1541.87 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46185 0 0 0 154042 145 0 0 25 0 1 0 263776507 189861888 45728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46353 45728 312 324 0 45422 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 185412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1529072/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185436 CPUtime=1601.84 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46191 0 0 0 160037 147 0 0 25 0 1 0 263776507 189886464 45734 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46359 45734 312 324 0 45428 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 185436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528304/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1661.83 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 166033 150 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 185968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528368/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1721.81 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 172026 155 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 185968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1781.8 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 178019 161 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 185968 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1791.4 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 178978 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 185968 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1794.6 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 179298 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 185968 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1797.79 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 179617 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 185968 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1799.39 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 179777 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7946081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1799.39 Current children cumulated vsize (KiB) 185968 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1799.79 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 179817 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1799.79 Current children cumulated vsize (KiB) 185968 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8422 /proc/meminfo: memFree=1528432/2055920 swapFree=4169108/4192956 [pid=8419] ppid=8417 vsize=185968 CPUtime=1799.99 /proc/8419/stat : 8419 (bsolo3.0.16) R 8417 8419 6307 0 -1 4194304 46439 0 0 0 179837 162 0 0 25 0 1 0 263776507 190431232 45870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8419/statm: 46492 45870 312 324 0 45561 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 185968 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.04 CPU user time (s): 1798.38 CPU system time (s): 1.65675 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 186416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 1.65675 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= 3433 runsolver used 1.3028 second user time and 3.9774 second system time The end
Begin job on node15 on Thu May 3 02:16:29 UTC 2007 IDJOB= 453825 IDBENCH= 48156 IDSOLVER= 163 FILE ID= node15/453825-1178158589 PBS_JOBID= 4751090 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453825-1178158589/instance-453825-1178158589.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-453825-1178158589 -o ROOT/results/node15/solver-453825-1178158589 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453825-1178158589/instance-453825-1178158589.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED= 512318061 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: 1711752 kB Buffers: 118724 kB Cached: 128660 kB SwapCached: 2380 kB Active: 175808 kB Inactive: 102740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1711752 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6776 kB Writeback: 0 kB Mapped: 35128 kB Slab: 51056 kB Committed_AS: 10545828 kB PageTables: 1880 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 Thu May 3 02:46:30 UTC 2007