Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -6 | 1800.14 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb |
MD5SUM | 1eb933a10fcc575d2df25e98511c4b07 |
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 | -7 |
Best CPU time to get the best result obtained on this benchmark | 45.985 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7 |
Optimality of the best value was proved | YES |
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) | 2960 |
Sum of products size (including duplicates) | 5920 |
Number of different products | 1480 |
Sum of products size | 2960 |
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/455205-1178039078/instance-455205-1178039078.opb 0.00/0.00 c File size is 35158 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.016 s 0.00/0.02 c Var: 3060 Constr: 6072 3010/102/2960 Lit: 21020 Watch. Lit: 17962 0.00/0.02 c Obj. Vars: 50 (1.63399 % of total variables) 6.09/6.12 c Pre-processing Time: 6.12 s 6.09/6.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.12 c 0 3060 6072 21020 3 17962 49412 0 0 6.12 6.09/6.12 c Switching off LPR mode. 6.09/6.13 o -1 6.125 6.09/6.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.13 c 0 3060 6073 21070 3 17965 49445 1 0 6.13 6.09/6.13 o -2 6.129 6.09/6.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.13 c 0 3060 6074 21120 3 17969 49495 2 0 6.13 6.09/6.13 o -3 6.133 6.09/6.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.15 c 0 3060 6075 21170 3 17974 49562 3 0 6.13 6.09/6.15 o -4 6.146 6.09/6.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.17 c 7 3060 6083 21478 3 17994 49579 11 1 6.15 6.09/6.17 o -5 6.167 6.39/6.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.40 c 99 3060 6176 26766 4 18185 49595 104 16 6.17 6.39/6.40 c 199 3060 6276 33349 5 18385 54555 204 32 6.18 6.39/6.40 c 449 3060 6526 49263 7 18885 60011 454 72 6.21 6.39/6.40 c 924 3060 7001 76402 10 19835 66013 929 147 6.27 6.39/6.40 c 1737 3060 7814 127008 16 21461 72615 1742 271 6.39 6.39/6.40 o -6 6.4 1800.09/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.60 c 1797 3060 7875 130976 16 21589 49612 1803 280 6.40 1800.09/1800.60 c 1898 3060 7976 138298 17 21791 54574 1904 295 6.42 1800.09/1800.60 c 2150 3060 8228 157796 19 22295 60032 2156 333 6.45 1800.09/1800.60 c 2626 3060 8704 185187 21 23247 66036 2632 402 6.52 1800.09/1800.60 c 3439 3060 9517 230021 24 24873 72640 3445 518 6.63 1800.09/1800.60 c 4759 3060 10837 304711 28 27513 79905 4765 691 6.88 1800.09/1800.60 c 6841 3060 12919 437402 33 31677 87896 6847 919 7.44 1800.09/1800.60 c 10065 3060 16143 655598 40 38125 96686 10071 1151 8.74 1800.09/1800.60 c 15001 3060 21079 944836 44 47997 106355 15007 1345 11.15 1800.09/1800.60 c 22507 3060 28585 1388928 48 63009 116991 22513 1344 16.75 1800.09/1800.60 c 33868 3060 39946 2139536 53 85731 128691 33874 1161 29.16 1800.09/1800.60 c 51012 3060 57090 3333131 58 120019 141561 51018 797 63.96 1800.09/1800.60 c 76831 3060 82909 5133127 61 171657 155718 76837 518 148.29 1800.09/1800.61 c 115663 3060 121741 7412359 60 249321 171290 115669 431 267.92 1800.09/1800.61 c 174015 3060 19619 864832 44 45062 188420 13547 233 745.78 1800.09/1800.61 c 261647 3060 107251 6749574 62 220326 207263 101179 263 991.53 1800.09/1800.61 c Caught signal: 15 1800.09/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.09/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 1800.09/1800.61 v x99 -x65 -x78 -x96 -x93 -x80 -x100 -x94 -x88 -x55 -x74 -x68 -x81 -x53 -x73 -x66 -x92 -x61 -x97 -x64 -x57 -x58 -x59 -x60 -x63 -x67 1800.09/1800.61 v -x69 -x72 -x79 -x86 -x51 x87 x83 -x98 -x95 -x56 x54 -x75 -x77 x82 -x85 x90 -x52 -x71 -x84 1800.09/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.61 c 25 368471 3283 385945 208826 13523092 202754 204 1800.10 1800.09/1800.61 c Objective: -6 1800.09/1800.61 s SATISFIABLE 1800.09/1800.61 c Total time: 1800.1 s
OK -6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-455205-1178039078 -o ROOT/results/node45/solver-455205-1178039078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455205-1178039078/instance-455205-1178039078.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 1.10 1.12 3/77 17442 /proc/meminfo: memFree=1785104/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=11772 CPUtime=0 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 158753453 12054528 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 2943 346 291 324 0 2003 0 [startup+0.030727 s] /proc/loadavg: 0.92 1.10 1.12 3/77 17442 /proc/meminfo: memFree=1785104/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=0.02 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 793 0 0 0 2 0 0 0 18 0 1 0 158753453 5718016 753 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 754 306 324 0 465 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5584 [startup+0.101734 s] /proc/loadavg: 0.92 1.10 1.12 3/77 17442 /proc/meminfo: memFree=1785104/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=0.09 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 802 0 0 0 9 0 0 0 18 0 1 0 158753453 5718016 762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5160592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 762 306 324 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5584 [startup+0.301754 s] /proc/loadavg: 0.92 1.10 1.12 3/77 17442 /proc/meminfo: memFree=1785104/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=0.29 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 803 0 0 0 29 0 0 0 19 0 1 0 158753453 5718016 763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 763 306 324 0 465 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5584 [startup+0.701795 s] /proc/loadavg: 0.92 1.10 1.12 3/77 17442 /proc/meminfo: memFree=1785104/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=0.69 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 803 0 0 0 69 0 0 0 23 0 1 0 158753453 5718016 763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 763 306 324 0 465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5584 [startup+1.50188 s] /proc/loadavg: 0.92 1.10 1.12 2/78 17443 /proc/meminfo: memFree=1783240/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=1.49 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 803 0 0 0 149 0 0 0 25 0 1 0 158753453 5718016 763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 763 306 324 0 465 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5584 [startup+3.10104 s] /proc/loadavg: 0.92 1.10 1.12 2/78 17443 /proc/meminfo: memFree=1783112/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=5584 CPUtime=3.09 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 803 0 0 0 309 0 0 0 25 0 1 0 158753453 5718016 763 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5158397 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1396 763 306 324 0 465 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5584 [startup+6.30136 s] /proc/loadavg: 0.92 1.10 1.12 2/78 17443 /proc/meminfo: memFree=1782864/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=6576 CPUtime=6.28 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 1116 0 0 0 627 1 0 0 25 0 1 0 158753453 6733824 1027 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5162619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 1644 1027 312 324 0 713 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 6576 [startup+12.702 s] /proc/loadavg: 0.94 1.09 1.12 2/78 17443 /proc/meminfo: memFree=1768288/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=21216 CPUtime=12.69 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 4772 0 0 0 1262 7 0 0 25 0 1 0 158753453 21725184 4683 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 5304 4683 312 324 0 4373 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21216 [startup+25.5013 s] /proc/loadavg: 0.94 1.09 1.12 2/78 17443 /proc/meminfo: memFree=1755296/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=33652 CPUtime=25.48 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 7889 0 0 0 2537 11 0 0 25 0 1 0 158753453 34459648 7800 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 8413 7800 312 324 0 7482 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33652 [startup+51.1019 s] /proc/loadavg: 0.96 1.08 1.11 2/78 17443 /proc/meminfo: memFree=1741536/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=47368 CPUtime=51.07 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 11321 0 0 0 5090 17 0 0 25 0 1 0 158753453 48504832 11232 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 11842 11232 312 324 0 10911 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47368 [startup+102.305 s] /proc/loadavg: 0.98 1.06 1.10 2/78 17443 /proc/meminfo: memFree=1722720/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=65984 CPUtime=102.26 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 15959 0 0 0 10198 28 0 0 25 0 1 0 158753453 67567616 15870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 16496 15870 312 324 0 15565 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 65984 [startup+162.301 s] /proc/loadavg: 0.99 1.05 1.09 2/78 17443 /proc/meminfo: memFree=1704608/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=84492 CPUtime=162.24 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 20586 0 0 0 16186 38 0 0 25 0 1 0 158753453 86519808 20497 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 21123 20497 312 324 0 20192 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 84492 [startup+222.301 s] /proc/loadavg: 0.99 1.04 1.08 2/78 17443 /proc/meminfo: memFree=1685984/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=102652 CPUtime=222.22 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 25114 0 0 0 22175 47 0 0 25 0 1 0 158753453 105115648 25025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 25663 25025 312 324 0 24732 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 102652 [startup+282.301 s] /proc/loadavg: 0.99 1.03 1.08 2/78 17443 /proc/meminfo: memFree=1672608/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=116136 CPUtime=282.21 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 28502 0 0 0 28167 54 0 0 25 0 1 0 158753453 118923264 28413 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 29034 28413 312 324 0 28103 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 116136 [startup+342.301 s] /proc/loadavg: 0.99 1.02 1.07 2/78 17443 /proc/meminfo: memFree=1659552/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=128976 CPUtime=342.19 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 31717 0 0 0 34157 62 0 0 25 0 1 0 158753453 132071424 31628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 32244 31628 312 324 0 31313 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 128976 [startup+402.302 s] /proc/loadavg: 0.99 1.02 1.07 2/78 17445 /proc/meminfo: memFree=1648544/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=140104 CPUtime=402.18 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 34488 0 0 0 40149 69 0 0 25 0 1 0 158753453 143466496 34399 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 35026 34399 312 324 0 34095 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 140104 [startup+462.302 s] /proc/loadavg: 0.99 1.01 1.06 2/78 17445 /proc/meminfo: memFree=1636960/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=151520 CPUtime=462.16 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 37350 0 0 0 46141 75 0 0 25 0 1 0 158753453 155156480 37261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 37880 37261 312 324 0 36949 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 151520 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.06 2/78 17445 /proc/meminfo: memFree=1630752/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=157736 CPUtime=522.15 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 38911 0 0 0 52135 80 0 0 25 0 1 0 158753453 161521664 38822 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 39434 38822 312 324 0 38503 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 157736 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.05 2/78 17445 /proc/meminfo: memFree=1622880/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=165620 CPUtime=582.13 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 40877 0 0 0 58129 84 0 0 25 0 1 0 158753453 169594880 40788 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41405 40788 312 324 0 40474 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 165620 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.04 2/78 17445 /proc/meminfo: memFree=1621664/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=642.11 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 64126 85 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 166520 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.03 2/78 17445 /proc/meminfo: memFree=1621792/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=822.06 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 82113 93 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 166520 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.02 2/78 17445 /proc/meminfo: memFree=1621792/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=882.04 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 88107 97 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 166520 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.01 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=942.03 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 94101 102 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 166520 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.01 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1002.01 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 100096 105 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 166520 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1621792/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1062 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 106090 110 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 166520 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1121.98 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 112085 113 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 166520 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1181.96 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 118079 117 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 166520 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1241.94 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 124074 120 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 166520 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1301.94 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 130072 122 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 166520 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 17445 /proc/meminfo: memFree=1621856/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=166520 CPUtime=1361.92 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41278 0 0 0 136068 124 0 0 25 0 1 0 158753453 170516480 41019 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41630 41019 312 324 0 40699 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 166520 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1620704/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=167808 CPUtime=1421.9 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 41571 0 0 0 142064 126 0 0 25 0 1 0 158753453 171835392 41312 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 41952 41312 312 324 0 41021 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 167808 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1614880/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=173612 CPUtime=1481.87 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 43026 0 0 0 148058 129 0 0 25 0 1 0 158753453 177778688 42767 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 43403 42767 312 324 0 42472 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 173612 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1608992/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=179436 CPUtime=1541.86 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 44489 0 0 0 154054 132 0 0 25 0 1 0 158753453 183742464 44230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 44859 44230 312 324 0 43928 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 179436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1602976/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=185396 CPUtime=1601.84 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 45998 0 0 0 160047 137 0 0 25 0 1 0 158753453 189845504 45739 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 46349 45739 312 324 0 45418 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 185396 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1597280/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=191228 CPUtime=1661.82 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 47452 0 0 0 166041 141 0 0 25 0 1 0 158753453 195817472 47193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 47807 47193 312 324 0 46876 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 191228 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1590624/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=197964 CPUtime=1721.81 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 49113 0 0 0 172035 146 0 0 25 0 1 0 158753453 202715136 48854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 49491 48854 312 324 0 48560 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 197964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1583584/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=204832 CPUtime=1781.79 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 50845 0 0 0 178030 149 0 0 25 0 1 0 158753453 209747968 50586 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 51208 50586 312 324 0 50277 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 204832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17445 /proc/meminfo: memFree=1582880/2055920 swapFree=4157776/4192956 [pid=17442] ppid=17440 vsize=205224 CPUtime=1800.09 /proc/17442/stat : 17442 (bsolo3.0.16) R 17440 17442 21742 0 -1 4194304 51160 0 0 0 179860 149 0 0 25 0 1 0 158753453 210149376 50697 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17442/statm: 51306 50697 312 324 0 50375 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 205224 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.65 CPU time (s): 1800.14 CPU user time (s): 1798.61 CPU system time (s): 1.53277 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 206040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.61 system time used= 1.53277 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51161 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= 2369 runsolver used 1.41578 second user time and 3.9454 second system time The end
Begin job on node45 on Tue May 1 17:04:38 UTC 2007 IDJOB= 455205 IDBENCH= 48248 IDSOLVER= 163 FILE ID= node45/455205-1178039078 PBS_JOBID= 4728398 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_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455205-1178039078/instance-455205-1178039078.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-455205-1178039078 -o ROOT/results/node45/solver-455205-1178039078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455205-1178039078/instance-455205-1178039078.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1eb933a10fcc575d2df25e98511c4b07 RANDOM SEED= 841695083 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1785512 kB Buffers: 99500 kB Cached: 80216 kB SwapCached: 14084 kB Active: 123980 kB Inactive: 85336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785512 kB SwapTotal: 4192956 kB SwapFree: 4157776 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 35040 kB Slab: 46656 kB Committed_AS: 3081708 kB PageTables: 1744 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 node45 on Tue May 1 17:34:41 UTC 2007