Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -11 | 1800.02 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_2.opb |
MD5SUM | 2468d4642d986af58e932976ec0c4f0e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
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/455415-1178042905/instance-455415-1178042905.opb 0.00/0.00 c File size is 16481 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 1332 Constr: 2616 1282/102/1232 Lit: 8924 Watch. Lit: 7594 0.00/0.01 c Obj. Vars: 50 (3.75375 % of total variables) 0.39/0.43 c Pre-processing Time: 0.429 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1332 2616 8924 3 7594 14601 0 0 0.43 0.39/0.43 c Switching off LPR mode. 0.39/0.43 o -1 0.431 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1332 2617 8974 3 7597 14635 1 0 0.43 0.39/0.43 o -2 0.433 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1332 2618 9024 3 7601 14685 2 0 0.43 0.39/0.43 o -3 0.435 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 2 1332 2621 9206 3 7610 14701 5 4 0.43 0.39/0.44 o -4 0.443 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 65 1332 2685 13648 5 7742 14718 69 146 0.44 0.59/0.60 c 165 1332 2785 20250 7 7942 16190 169 363 0.45 0.59/0.60 c 415 1332 3035 36526 12 8442 17810 419 859 0.48 0.59/0.60 c 890 1332 3510 71303 20 9392 19592 894 1636 0.54 0.59/0.60 o -5 0.6 7.98/8.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.03 c 1325 1332 3946 103070 26 10269 14735 1330 2204 0.60 7.98/8.03 c 1425 1332 4046 109507 27 10469 16209 1430 2309 0.62 7.98/8.03 c 1675 1332 4296 126256 29 10969 17830 1680 2584 0.65 7.98/8.03 c 2151 1332 4772 156674 32 11921 19614 2156 3021 0.71 7.98/8.03 c 2964 1332 5585 207757 37 13547 21576 2969 3601 0.82 7.98/8.03 c 4284 1332 6905 302406 43 16187 23734 4289 4011 1.07 7.98/8.03 c 6365 1332 8986 449515 50 20349 26108 6370 4043 1.57 7.98/8.03 c 9588 1332 12209 673202 55 26795 28719 9593 4120 2.33 7.98/8.03 c 14525 1332 17146 998010 58 36669 31591 14530 3432 4.23 7.98/8.03 o -6 8.025 50.77/50.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.77/50.85 c 20351 1332 22973 1420787 61 48329 14751 20357 2535 8.03 50.77/50.85 c 20451 1332 10093 546495 54 22554 16227 7477 2163 9.45 50.77/50.85 c 20701 1332 10343 562746 54 23054 17850 7727 2176 9.51 50.77/50.85 c 21176 1332 10818 590931 54 24004 19636 8202 2202 9.62 50.77/50.85 c 21989 1332 11631 641772 55 25630 21600 9015 2235 9.84 50.77/50.85 c 23309 1332 12951 724778 55 28270 23761 10335 2279 10.23 50.77/50.85 c 25390 1332 15032 852377 56 32432 26138 12416 2277 11.15 50.77/50.85 c 28613 1332 18255 1057572 57 38878 28752 15639 2317 12.35 50.77/50.85 c 33549 1332 23191 1375286 59 48750 31628 20575 2187 15.34 50.77/50.85 c 41056 1332 30698 1862805 60 63764 34791 28082 1909 21.50 50.77/50.85 c 52417 1332 17325 1001981 57 37018 38271 14709 1506 34.79 50.77/50.85 c 69561 1332 34469 2306025 66 71306 42099 31853 1382 50.31 50.77/50.85 o -9 50.832 53.37/53.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.37/53.43 c 69779 1332 34688 2315370 66 71753 14768 32072 1372 50.83 53.37/53.43 o -10 53.414 53.37/53.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.37/53.50 c 69792 1332 10015 575854 57 22411 14785 7399 1306 53.41 53.37/53.50 c 69892 1332 10115 581609 57 22611 16264 7499 1307 53.46 53.37/53.50 o -11 53.476 1799.96/1800.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.63 c 69964 1332 10188 585548 57 22768 14801 7572 1308 53.48 1799.96/1800.63 c 70064 1332 10288 590962 57 22968 16282 7672 1309 53.49 1799.96/1800.63 c 70314 1332 10538 604368 57 23468 17911 7922 1313 53.55 1799.96/1800.63 c 70789 1332 11013 629944 57 24418 19703 8397 1318 53.69 1799.96/1800.63 c 71603 1332 11827 672388 56 26046 21674 9211 1329 53.87 1799.96/1800.63 c 72923 1332 13147 742829 56 28686 23842 10531 1345 54.19 1799.96/1800.63 c 75004 1332 15228 851959 55 32848 26227 12612 1371 54.70 1799.96/1800.63 c 78227 1332 18451 1024377 55 39294 28850 15835 1395 56.04 1799.96/1800.63 c 83164 1332 23388 1299429 55 49168 31736 20772 1417 58.66 1799.96/1800.63 c 90670 1332 30894 1746808 56 64180 34910 28278 1426 63.55 1799.96/1800.63 c 102031 1332 17450 917430 52 37273 38402 14834 1352 75.45 1799.96/1800.63 c 119175 1332 34594 2013955 58 71561 42243 31978 1357 87.79 1799.96/1800.63 c 144994 1332 28345 1629367 57 59063 46468 25729 1308 110.78 1799.96/1800.63 c 183826 1332 31051 1816730 58 64475 51115 28435 1239 148.35 1799.96/1800.63 c 242179 1332 48658 3053147 62 99689 56227 46042 1079 224.33 1799.96/1800.63 c 329811 1332 44758 2613411 58 91889 61850 42142 1001 329.40 1799.96/1800.63 c 461363 1332 22637 1307718 57 47647 68036 20021 873 528.23 1799.96/1800.63 c 658795 1332 48079 3002295 62 98531 74840 45463 734 897.43 1799.96/1800.63 c 955047 1332 24358 1544560 63 51089 82325 21742 599 1593.09 1799.96/1800.63 c Resources Exceeded 1799.96/1800.63 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.96/1800.63 v -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 x48 -x49 -x50 x91 -x70 x89 -x76 -x62 -x99 x65 1799.96/1800.63 v -x78 x96 -x93 x64 x73 -x75 -x82 -x87 -x51 -x80 -x100 -x94 -x88 -x55 -x74 x68 -x81 x53 -x59 -x71 -x77 -x83 x84 -x98 -x52 -x66 -x92 1799.96/1800.63 v -x61 -x97 -x54 x67 -x58 -x79 -x72 -x95 -x57 -x60 -x63 -x85 -x86 -x56 x69 -x90 1799.96/1800.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.63 c 50 1081908 740 1088586 79787 4995298 77171 601 1800.00 1799.96/1800.63 c Objective: -11 1799.96/1800.63 s SATISFIABLE 1799.96/1800.63 c Total time: 1800 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-455415-1178042905 -o ROOT/results/node25/solver-455415-1178042905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.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 1.00 1.00 3/64 27212 /proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=11756 CPUtime=0 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 252207547 12038144 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 2939 346 291 324 0 2003 0 [startup+0.050701 s] /proc/loadavg: 0.99 1.00 1.00 3/64 27212 /proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=4612 CPUtime=0.04 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 4 0 0 0 18 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 1153 530 307 324 0 222 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4612 [startup+0.101709 s] /proc/loadavg: 0.99 1.00 1.00 3/64 27212 /proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=4612 CPUtime=0.09 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 1153 530 307 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301743 s] /proc/loadavg: 0.99 1.00 1.00 3/64 27212 /proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=4612 CPUtime=0.29 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 252207547 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 1153 530 307 324 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701811 s] /proc/loadavg: 0.99 1.00 1.00 3/64 27212 /proc/meminfo: memFree=1841888/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=6700 CPUtime=0.69 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 1091 0 0 0 68 1 0 0 23 0 1 0 252207547 6860800 1055 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 1675 1055 313 324 0 744 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6700 [startup+1.50195 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1836952/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=10712 CPUtime=1.48 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 2081 0 0 0 147 1 0 0 25 0 1 0 252207547 10969088 2045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 2678 2045 313 324 0 1747 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10712 [startup+3.10122 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1831960/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=16260 CPUtime=3.08 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 3478 0 0 0 306 2 0 0 25 0 1 0 252207547 16650240 3442 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 4065 3442 313 324 0 3134 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16260 [startup+6.30177 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1824304/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=22208 CPUtime=6.29 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 4977 0 0 0 624 5 0 0 25 0 1 0 252207547 22740992 4941 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 5552 4941 313 324 0 4621 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22208 [startup+12.7019 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1820424/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=25024 CPUtime=12.68 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 5675 0 0 0 1262 6 0 0 25 0 1 0 252207547 25624576 5639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 6256 5639 313 324 0 5325 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25024 [startup+25.5011 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1810200/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=35516 CPUtime=25.47 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 8289 0 0 0 2537 10 0 0 25 0 1 0 252207547 36368384 8253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 8879 8253 313 324 0 7948 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 35516 [startup+51.1014 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1805848/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=39612 CPUtime=51.07 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 9370 0 0 0 5092 15 0 0 25 0 1 0 252207547 40562688 9298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 9903 9298 313 324 0 8972 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39612 [startup+102.305 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1801304/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=44028 CPUtime=102.26 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 10527 0 0 0 10203 23 0 0 25 0 1 0 252207547 45084672 10374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 11007 10374 313 324 0 10076 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44028 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1797144/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=48172 CPUtime=162.23 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 11626 0 0 0 16192 31 0 0 25 0 1 0 252207547 49328128 11426 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 12043 11426 313 324 0 11112 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 48172 [startup+222.302 s] /proc/loadavg: 1.03 1.01 1.00 2/65 27213 /proc/meminfo: memFree=1791640/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=53596 CPUtime=222.21 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 13039 0 0 0 22182 39 0 0 25 0 1 0 252207547 54882304 12787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 13399 12787 313 324 0 12468 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 53596 [startup+282.302 s] /proc/loadavg: 1.01 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1786200/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=59036 CPUtime=282.19 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 14443 0 0 0 28172 47 0 0 25 0 1 0 252207547 60452864 14134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 14759 14134 313 324 0 13828 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 59036 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1786200/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=59036 CPUtime=342.17 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 14500 0 0 0 34163 54 0 0 25 0 1 0 252207547 60452864 14134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 14759 14134 313 324 0 13828 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 59036 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1783832/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=61376 CPUtime=402.15 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15146 0 0 0 40154 61 0 0 25 0 1 0 252207547 62849024 14718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 15344 14718 313 324 0 14413 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 61376 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1781144/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=64084 CPUtime=462.12 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15874 0 0 0 46148 64 0 0 25 0 1 0 252207547 65622016 15384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 16021 15384 313 324 0 15090 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 64084 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1781080/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=64084 CPUtime=522.11 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 15936 0 0 0 52140 71 0 0 25 0 1 0 252207547 65622016 15384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 16021 15384 313 324 0 15090 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 64084 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1778392/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=67176 CPUtime=582.08 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 16786 0 0 0 58129 79 0 0 25 0 1 0 252207547 68788224 16166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 16794 16166 313 324 0 15863 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 67176 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1778008/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=67176 CPUtime=642.07 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 16786 0 0 0 64124 83 0 0 25 0 1 0 252207547 68788224 16166 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 16794 16166 313 324 0 15863 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 67176 ################ # More data... # ################ /proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=77516 CPUtime=1121.9 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19678 0 0 0 112067 123 0 0 25 0 1 0 252207547 79376384 18772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 19379 18772 313 324 0 18448 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 77516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=77516 CPUtime=1181.87 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19678 0 0 0 118059 128 0 0 25 0 1 0 252207547 79376384 18772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 19379 18772 313 324 0 18448 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 77516 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1767512/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=77644 CPUtime=1241.86 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 19693 0 0 0 124052 134 0 0 25 0 1 0 252207547 79507456 18787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 19411 18787 313 324 0 18480 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 77644 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1765336/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=79704 CPUtime=1301.84 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20276 0 0 0 130047 137 0 0 25 0 1 0 252207547 81616896 19295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 19926 19295 313 324 0 18995 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 79704 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1765336/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=79704 CPUtime=1361.82 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20276 0 0 0 136039 143 0 0 25 0 1 0 252207547 81616896 19295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 19926 19295 313 324 0 18995 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 79704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=81504 CPUtime=1421.8 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20815 0 0 0 142033 147 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20376 19759 313 324 0 19445 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 81504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=81504 CPUtime=1481.77 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20815 0 0 0 148025 152 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20376 19759 313 324 0 19445 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 81504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=81504 CPUtime=1541.75 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20890 0 0 0 154020 155 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20376 19759 313 324 0 19445 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 81504 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1763416/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=81504 CPUtime=1601.73 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20890 0 0 0 160015 158 0 0 25 0 1 0 252207547 83460096 19759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20376 19759 313 324 0 19445 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 81504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1763480/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=81516 CPUtime=1661.71 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 20893 0 0 0 166004 167 0 0 25 0 1 0 252207547 83472384 19762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20379 19762 313 324 0 19448 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 81516 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1721.69 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 171998 171 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 82184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1781.67 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 177989 178 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 82184 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1791.27 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 178948 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 82184 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1794.47 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179268 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (KiB) 82184 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1797.66 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179587 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 82184 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1799.26 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179747 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1799.26 Current children cumulated vsize (KiB) 82184 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1799.66 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179787 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (KiB) 82184 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1799.86 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179807 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1799.86 Current children cumulated vsize (KiB) 82184 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27213 /proc/meminfo: memFree=1762712/2055920 swapFree=4182940/4192956 [pid=27212] ppid=27210 vsize=82184 CPUtime=1799.96 /proc/27212/stat : 27212 (bsolo3.0.16) R 27210 27212 17121 0 -1 4194304 21152 0 0 0 179817 179 0 0 25 0 1 0 252207547 84156416 19939 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27212/statm: 20546 19939 313 324 0 19615 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 82184 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.02 CPU user time (s): 1798.21 CPU system time (s): 1.81172 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 82184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.81172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21153 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= 4348 runsolver used 1.47778 second user time and 3.44148 second system time The end
Begin job on node25 on Tue May 1 18:08:25 UTC 2007 IDJOB= 455415 IDBENCH= 48262 IDSOLVER= 163 FILE ID= node25/455415-1178042905 PBS_JOBID= 4728448 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/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-455415-1178042905 -o ROOT/results/node25/solver-455415-1178042905 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455415-1178042905/instance-455415-1178042905.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED= 789943757 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1842296 kB Buffers: 68988 kB Cached: 72540 kB SwapCached: 3856 kB Active: 105968 kB Inactive: 49536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842296 kB SwapTotal: 4192956 kB SwapFree: 4182940 kB Dirty: 6792 kB Writeback: 0 kB Mapped: 19228 kB Slab: 44172 kB Committed_AS: 7522160 kB PageTables: 1488 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 node25 on Tue May 1 18:38:26 UTC 2007