Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -11 | 1800.13 | 1800.7 |
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.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/455421-1178043018/instance-455421-1178043018.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.426 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.427 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.428 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.429 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.437 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 65 1332 2685 13648 5 7742 14718 69 148 0.44 0.49/0.59 c 165 1332 2785 20250 7 7942 16190 169 367 0.45 0.49/0.59 c 415 1332 3035 36526 12 8442 17810 419 868 0.48 0.49/0.59 c 890 1332 3510 71303 20 9392 19592 894 1651 0.54 0.49/0.59 o -5 0.594 7.98/8.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.98/8.00 c 1325 1332 3946 103070 26 10269 14735 1330 2230 0.59 7.98/8.00 c 1425 1332 4046 109507 27 10469 16209 1430 2336 0.61 7.98/8.00 c 1675 1332 4296 126256 29 10969 17830 1680 2613 0.64 7.98/8.00 c 2151 1332 4772 156674 32 11921 19614 2156 3055 0.70 7.98/8.00 c 2964 1332 5585 207757 37 13547 21576 2969 3641 0.81 7.98/8.00 c 4284 1332 6905 302406 43 16187 23734 4289 4045 1.06 7.98/8.00 c 6365 1332 8986 449515 50 20349 26108 6370 4077 1.56 7.98/8.00 c 9588 1332 12209 673202 55 26795 28719 9593 4145 2.31 7.98/8.00 c 14525 1332 17146 998010 58 36669 31591 14530 3446 4.21 7.98/8.00 o -6 7.998 50.67/50.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.67/50.70 c 20351 1332 22973 1420787 61 48329 14751 20357 2544 8.00 50.67/50.70 c 20451 1332 10093 546495 54 22554 16227 7477 2168 9.43 50.67/50.70 c 20701 1332 10343 562746 54 23054 17850 7727 2181 9.49 50.67/50.70 c 21176 1332 10818 590931 54 24004 19636 8202 2207 9.59 50.67/50.70 c 21989 1332 11631 641772 55 25630 21600 9015 2241 9.81 50.67/50.70 c 23309 1332 12951 724778 55 28270 23761 10335 2285 10.20 50.67/50.70 c 25390 1332 15032 852377 56 32432 26138 12416 2284 11.12 50.67/50.70 c 28613 1332 18255 1057572 57 38878 28752 15639 2324 12.31 50.67/50.70 c 33549 1332 23191 1375286 59 48750 31628 20575 2194 15.29 50.67/50.70 c 41056 1332 30698 1862805 60 63764 34791 28082 1915 21.43 50.67/50.70 c 52417 1332 17325 1001981 57 37018 38271 14709 1510 34.70 50.67/50.70 c 69561 1332 34469 2306025 66 71306 42099 31853 1386 50.17 50.67/50.70 o -9 50.69 53.17/53.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.17/53.28 c 69779 1332 34688 2315370 66 71753 14768 32072 1376 50.69 53.17/53.28 o -10 53.268 53.27/53.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.27/53.34 c 69792 1332 10015 575854 57 22411 14785 7399 1310 53.27 53.27/53.34 c 69892 1332 10115 581609 57 22611 16264 7499 1310 53.31 53.27/53.34 o -11 53.329 1800.10/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.10/1800.60 c 69964 1332 10188 585548 57 22768 14801 7572 1311 53.33 1800.10/1800.60 c 70064 1332 10288 590962 57 22968 16282 7672 1313 53.35 1800.10/1800.60 c 70314 1332 10538 604368 57 23468 17911 7922 1316 53.40 1800.10/1800.60 c 70789 1332 11013 629944 57 24418 19703 8397 1322 53.54 1800.10/1800.60 c 71603 1332 11827 672388 56 26046 21674 9211 1332 53.72 1800.10/1800.60 c 72923 1332 13147 742829 56 28686 23842 10531 1349 54.03 1800.10/1800.60 c 75004 1332 15228 851959 55 32848 26227 12612 1374 54.55 1800.10/1800.60 c 78227 1332 18451 1024377 55 39294 28850 15835 1399 55.88 1800.10/1800.60 c 83164 1332 23388 1299429 55 49168 31736 20772 1421 58.49 1800.10/1800.60 c 90670 1332 30894 1746808 56 64180 34910 28278 1431 63.36 1800.10/1800.60 c 102031 1332 17450 917430 52 37273 38402 14834 1356 75.23 1800.10/1800.60 c 119175 1332 34594 2013955 58 71561 42243 31978 1361 87.53 1800.10/1800.60 c 144994 1332 28345 1629367 57 59063 46468 25729 1312 110.47 1800.10/1800.61 c 183826 1332 31051 1816730 58 64475 51115 28435 1243 147.85 1800.10/1800.61 c 242179 1332 48658 3053147 62 99689 56227 46042 1082 223.65 1800.10/1800.61 c 329811 1332 44758 2613411 58 91889 61850 42142 1004 328.37 1800.10/1800.61 c 461363 1332 22637 1307718 57 47647 68036 20021 876 526.47 1800.10/1800.61 c 658795 1332 48079 3002295 62 98531 74840 45463 736 894.34 1800.10/1800.61 c 955047 1332 24358 1544560 63 51089 82325 21742 601 1589.04 1800.10/1800.61 c Caught signal: 15 1800.10/1800.61 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.10/1800.61 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 1800.10/1800.61 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 1800.10/1800.61 v -x61 -x97 -x54 x67 -x58 -x79 -x72 -x95 -x57 -x60 -x63 -x85 -x86 -x56 x69 -x90 1800.10/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.10/1800.61 c 50 1083756 745 1090441 81635 5123068 79019 602 1800.11 1800.10/1800.61 c Objective: -11 1800.10/1800.61 s SATISFIABLE 1800.10/1800.61 c Total time: 1800.11 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-455421-1178043018 -o ROOT/results/node60/solver-455421-1178043018 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455421-1178043018/instance-455421-1178043018.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29709 /proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=19568 CPUtime=0 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 252211762 20037632 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5803296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 4892 340 288 324 0 3957 0 [startup+0.042084 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29709 /proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=4612 CPUtime=0.03 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 3 0 0 0 18 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4612 [startup+0.101078 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29709 /proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=4612 CPUtime=0.09 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301097 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29709 /proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=4612 CPUtime=0.29 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 563 0 0 0 29 0 0 0 19 0 1 0 252211762 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701135 s] /proc/loadavg: 1.00 1.00 1.00 3/64 29709 /proc/meminfo: memFree=1886288/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=6700 CPUtime=0.69 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 1098 0 0 0 69 0 0 0 23 0 1 0 252211762 6860800 1063 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 1675 1063 311 324 0 745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6700 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1881352/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=10712 CPUtime=1.49 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 2095 0 0 0 148 1 0 0 25 0 1 0 252211762 10969088 2060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 2678 2060 311 324 0 1748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10712 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1876424/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=16260 CPUtime=3.09 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 3482 0 0 0 307 2 0 0 25 0 1 0 252211762 16650240 3447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 4065 3447 311 324 0 3135 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16260 [startup+6.30169 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1868616/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=22336 CPUtime=6.29 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 4983 0 0 0 626 3 0 0 25 0 1 0 252211762 22872064 4948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 5584 4948 311 324 0 4654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22336 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1864648/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=25024 CPUtime=12.68 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 5672 0 0 0 1265 3 0 0 25 0 1 0 252211762 25624576 5637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 6256 5637 311 324 0 5326 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25024 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1854408/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=35516 CPUtime=25.48 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 8302 0 0 0 2542 6 0 0 25 0 1 0 252211762 36368384 8267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 8879 8267 311 324 0 7949 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35516 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1849992/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=39612 CPUtime=51.07 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 9367 0 0 0 5100 7 0 0 25 0 1 0 252211762 40562688 9296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 9903 9296 311 324 0 8973 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39612 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1845576/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=44028 CPUtime=102.26 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 10524 0 0 0 10218 8 0 0 25 0 1 0 252211762 45084672 10372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 11007 10372 311 324 0 10077 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44028 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1841352/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=48172 CPUtime=162.24 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 11623 0 0 0 16215 9 0 0 25 0 1 0 252211762 49328128 11424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 12043 11424 311 324 0 11113 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 48172 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1835848/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=53596 CPUtime=222.22 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 13036 0 0 0 22212 10 0 0 25 0 1 0 252211762 54882304 12785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 13399 12785 311 324 0 12469 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 53596 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1830472/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=59036 CPUtime=282.22 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 14440 0 0 0 28209 13 0 0 25 0 1 0 252211762 60452864 14132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 14759 14132 311 324 0 13829 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 59036 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1830408/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=59036 CPUtime=342.2 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 14497 0 0 0 34207 13 0 0 25 0 1 0 252211762 60452864 14132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 14759 14132 311 324 0 13829 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59036 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1828104/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=61376 CPUtime=402.17 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15143 0 0 0 40204 13 0 0 25 0 1 0 252211762 62849024 14716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 15344 14716 311 324 0 14414 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 61376 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1825416/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=64084 CPUtime=462.16 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15871 0 0 0 46202 14 0 0 25 0 1 0 252211762 65622016 15382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5968223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 16021 15382 311 324 0 15091 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 64084 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1825352/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=64080 CPUtime=522.15 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 15933 0 0 0 52201 14 0 0 25 0 1 0 252211762 65617920 15382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 16020 15382 311 324 0 15090 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 64080 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1822216/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=67176 CPUtime=582.13 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 16783 0 0 0 58199 14 0 0 25 0 1 0 252211762 68788224 16164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 16794 16164 311 324 0 15864 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 67176 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1822216/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=67176 CPUtime=642.11 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 16783 0 0 0 64197 14 0 0 25 0 1 0 252211762 68788224 16164 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 16794 16164 311 324 0 15864 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 67176 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1818760/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=70924 CPUtime=822.06 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 17788 0 0 0 82190 16 0 0 25 0 1 0 252211762 72626176 17101 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 17731 17101 311 324 0 16801 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 70924 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1814216/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=75048 CPUtime=882.04 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 18889 0 0 0 88186 18 0 0 25 0 1 0 252211762 76849152 18134 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 18762 18134 311 324 0 17832 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 75048 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1814280/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=75064 CPUtime=942.03 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 18893 0 0 0 94185 18 0 0 25 0 1 0 252211762 76865536 18138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 18766 18138 311 324 0 17836 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 75064 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1813384/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=75840 CPUtime=1002.01 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19172 0 0 0 100183 18 0 0 25 0 1 0 252211762 77660160 18342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 18960 18342 311 324 0 18030 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 75840 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1813448/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=75840 CPUtime=1062 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19172 0 0 0 106181 19 0 0 25 0 1 0 252211762 77660160 18342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 18960 18342 311 324 0 18030 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 75840 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1811656/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=77516 CPUtime=1121.97 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19675 0 0 0 112178 19 0 0 25 0 1 0 252211762 79376384 18770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 19379 18770 311 324 0 18449 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 77516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1811656/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=77516 CPUtime=1181.96 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 19675 0 0 0 118177 19 0 0 25 0 1 0 252211762 79376384 18770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 19379 18770 311 324 0 18449 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 77516 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1810248/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=79184 CPUtime=1241.95 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20084 0 0 0 124175 20 0 0 25 0 1 0 252211762 81084416 19179 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 19796 19179 311 324 0 18866 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 79184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1809544/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=79704 CPUtime=1301.93 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20273 0 0 0 130173 20 0 0 25 0 1 0 252211762 81616896 19293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 19926 19293 311 324 0 18996 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 79704 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1809544/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=79704 CPUtime=1361.91 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20273 0 0 0 136171 20 0 0 25 0 1 0 252211762 81616896 19293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 19926 19293 311 324 0 18996 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 79704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1807560/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=81504 CPUtime=1421.9 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20812 0 0 0 142169 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20376 19757 311 324 0 19446 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 81504 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=81504 CPUtime=1481.88 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20812 0 0 0 148167 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20376 19757 311 324 0 19446 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 81504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1807560/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=81504 CPUtime=1541.86 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20887 0 0 0 154165 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20376 19757 311 324 0 19446 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 81504 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=81504 CPUtime=1601.84 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20887 0 0 0 160163 21 0 0 25 0 1 0 252211762 83460096 19757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20376 19757 311 324 0 19446 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 81504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1807624/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=81528 CPUtime=1661.83 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 20893 0 0 0 166161 22 0 0 25 0 1 0 252211762 83484672 19763 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20382 19763 311 324 0 19452 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 81528 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=82184 CPUtime=1721.81 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 172159 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20546 19937 311 324 0 19616 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 82184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=82184 CPUtime=1781.8 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 178158 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20546 19937 311 324 0 19616 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 82184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 29710 /proc/meminfo: memFree=1806856/2055920 swapFree=4183252/4192956 [pid=29709] ppid=29707 vsize=82184 CPUtime=1800.1 /proc/29709/stat : 29709 (bsolo3.0.17) R 29707 29709 28579 0 -1 4194304 21149 0 0 0 179988 22 0 0 25 0 1 0 252211762 84156416 19937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29709/statm: 20546 19937 311 324 0 19616 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 82184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.7 CPU time (s): 1800.13 CPU user time (s): 1799.89 CPU system time (s): 0.238963 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 82512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.238963 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= 2474 runsolver used 1.41778 second user time and 3.50647 second system time The end
Begin job on node60 on Tue May 1 18:10:18 UTC 2007 IDJOB= 455421 IDBENCH= 48262 IDSOLVER= 199 FILE ID= node60/455421-1178043018 PBS_JOBID= 4728442 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/bsg/normalized-bsg_50_10_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455421-1178043018/instance-455421-1178043018.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-455421-1178043018 -o ROOT/results/node60/solver-455421-1178043018 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455421-1178043018/instance-455421-1178043018.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e RANDOM SEED= 701501323 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1886696 kB Buffers: 34908 kB Cached: 65276 kB SwapCached: 3244 kB Active: 69900 kB Inactive: 39940 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1886696 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 6604 kB Writeback: 0 kB Mapped: 15520 kB Slab: 45428 kB Committed_AS: 4310300 kB PageTables: 1464 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 node60 on Tue May 1 18:40:21 UTC 2007