Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -46 | 1800.01 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
MD5SUM | 60cf9918356073587dd2c65f46896dfb |
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 | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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/454080-1178020957/instance-454080-1178020957.opb 0.00/0.00 c File size is 32275 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.02 c Var: 2688 Constr: 5376 2688/200/2488 Lit: 19904 Watch. Lit: 14928 0.00/0.02 c Obj. Vars: 200 (7.44048 % of total variables) 0.00/0.04 c Pre-processing Time: 0.038 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 200 1244 3732 3 2488 414 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o -45 0.038 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 200 1245 3932 3 2535 1414 1 0 0.04 0.00/0.04 o -46 0.039 1799.97/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.52 c 1 200 1247 4286 3 2585 1414 3 25 0.04 1799.97/1800.52 c 101 200 1347 19360 14 2785 1556 103 2061 0.05 1799.97/1800.52 c 352 200 1598 57207 35 3287 1712 354 4571 0.08 1799.97/1800.52 c 829 200 2075 129230 62 4241 1884 831 5964 0.14 1799.97/1800.52 c 1644 200 2890 252061 87 5871 2073 1646 6396 0.26 1799.97/1800.52 c 2964 200 4210 450790 107 8511 2281 2966 6240 0.47 1799.97/1800.52 c 5046 200 2500 192486 76 5046 2510 1256 4509 1.12 1799.97/1800.52 c 8270 200 5724 679046 118 11494 2762 4480 4153 1.99 1799.97/1800.52 c 13207 200 2626 211413 80 5298 3039 1382 3355 3.94 1799.97/1800.52 c 20713 200 5960 712041 119 11966 3343 4716 3214 6.44 1799.97/1800.52 c 32075 200 4341 469792 108 8728 3678 3097 2976 10.78 1799.97/1800.52 c 49220 200 3502 342191 97 7050 4046 2258 2686 18.32 1799.97/1800.52 c 75039 200 5936 710217 119 11918 4451 4692 2550 29.42 1799.97/1800.53 c 113871 200 5761 682380 118 11568 4897 4517 2504 45.47 1799.97/1800.53 c 172223 200 8041 1026102 127 16128 5387 6797 2328 73.98 1799.97/1800.53 c 259855 200 4784 535584 111 9614 5926 3540 2012 129.13 1799.97/1800.53 c 391407 200 7282 910573 125 14610 6519 6038 1978 197.78 1799.97/1800.53 c 588840 200 9688 1273259 131 19422 7171 8444 1816 324.15 1799.97/1800.53 c 885092 200 6506 794614 122 13058 7889 5262 1630 542.89 1799.97/1800.53 c 1329575 200 9259 1207935 130 18564 8678 8015 1486 894.73 1799.97/1800.53 c 1996402 200 5584 656135 117 11214 9546 4340 1456 1371.07 1799.97/1800.53 c Resources Exceeded 1799.97/1800.53 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.97/1800.53 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.97/1800.53 v -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 1799.97/1800.53 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 1799.97/1800.53 v x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 x116 -x117 -x118 -x119 -x120 x121 x122 x123 -x124 -x125 -x126 -x127 -x128 1799.97/1800.53 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 x148 -x149 1799.97/1800.53 v -x150 -x151 -x152 -x153 x154 -x155 x156 x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 x170 -x171 1799.97/1800.53 v -x172 x173 x174 x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 -x186 x187 -x188 x189 x190 x191 x192 x193 -x194 1799.97/1800.53 v x195 x196 x197 x198 x199 x200 1799.97/1800.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.53 c 22 2588038 355835 3088562 10875 1450944 9631 1437 1800.00 1799.97/1800.53 c Objective: -46 1799.97/1800.53 s SATISFIABLE 1799.97/1800.53 c Total time: 1800 s
OK -46
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-454080-1178020957 -o ROOT/results/node24/solver-454080-1178020957 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454080-1178020957/instance-454080-1178020957.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.94 1.09 1.13 3/77 26811 /proc/meminfo: memFree=1848008/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=11768 CPUtime=0 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 250013719 12050432 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 2942 334 281 324 0 2003 0 [startup+0.0924949 s] /proc/loadavg: 0.94 1.09 1.13 3/77 26811 /proc/meminfo: memFree=1848008/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=6080 CPUtime=0.08 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 937 0 0 0 8 0 0 0 18 0 1 0 250013719 6225920 898 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 1520 898 312 324 0 589 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6080 [startup+0.101496 s] /proc/loadavg: 0.94 1.09 1.13 3/77 26811 /proc/meminfo: memFree=1848008/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=6212 CPUtime=0.09 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 969 0 0 0 9 0 0 0 18 0 1 0 250013719 6361088 930 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 1553 931 312 324 0 622 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6212 [startup+0.301517 s] /proc/loadavg: 0.94 1.09 1.13 3/77 26811 /proc/meminfo: memFree=1848008/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=8852 CPUtime=0.29 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 1619 0 0 0 28 1 0 0 19 0 1 0 250013719 9064448 1580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 2213 1580 313 324 0 1282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8852 [startup+0.70156 s] /proc/loadavg: 0.94 1.09 1.13 3/77 26811 /proc/meminfo: memFree=1848008/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=12604 CPUtime=0.69 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 2571 0 0 0 67 2 0 0 22 0 1 0 250013719 12906496 2532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 3151 2532 313 324 0 2220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12604 [startup+1.50164 s] /proc/loadavg: 0.94 1.09 1.13 2/78 26812 /proc/meminfo: memFree=1837248/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=14648 CPUtime=1.49 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 3062 0 0 0 147 2 0 0 25 0 1 0 250013719 14999552 3023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 3662 3023 313 324 0 2731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14648 [startup+3.10182 s] /proc/loadavg: 0.94 1.09 1.13 2/78 26812 /proc/meminfo: memFree=1836736/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=15544 CPUtime=3.09 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 3310 0 0 0 306 3 0 0 25 0 1 0 250013719 15917056 3271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3047175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 3886 3271 313 324 0 2955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15544 [startup+6.30116 s] /proc/loadavg: 0.94 1.09 1.13 2/78 26812 /proc/meminfo: memFree=1835400/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=16172 CPUtime=6.29 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 3443 0 0 0 625 4 0 0 25 0 1 0 250013719 16560128 3404 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 4043 3404 313 324 0 3112 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16172 [startup+12.7018 s] /proc/loadavg: 0.95 1.09 1.12 2/78 26812 /proc/meminfo: memFree=1834424/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=17436 CPUtime=12.68 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 3775 0 0 0 1263 5 0 0 25 0 1 0 250013719 17854464 3736 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 4359 3736 313 324 0 3428 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17436 [startup+25.5012 s] /proc/loadavg: 0.96 1.08 1.12 2/78 26812 /proc/meminfo: memFree=1833664/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=18204 CPUtime=25.48 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 3964 0 0 0 2540 8 0 0 25 0 1 0 250013719 18640896 3925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 4551 3925 313 324 0 3620 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18204 [startup+51.102 s] /proc/loadavg: 0.97 1.08 1.12 2/78 26812 /proc/meminfo: memFree=1831936/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=19988 CPUtime=51.06 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 4400 0 0 0 5092 14 0 0 25 0 1 0 250013719 20467712 4361 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 4997 4361 313 324 0 4066 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 19988 [startup+102.305 s] /proc/loadavg: 0.99 1.06 1.11 3/78 26812 /proc/meminfo: memFree=1830976/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=20940 CPUtime=102.26 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 4645 0 0 0 10200 26 0 0 25 0 1 0 250013719 21442560 4606 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 5235 4606 313 324 0 4304 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20940 [startup+162.302 s] /proc/loadavg: 0.99 1.05 1.10 2/78 26812 /proc/meminfo: memFree=1829824/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=22012 CPUtime=162.23 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 4921 0 0 0 16186 37 0 0 25 0 1 0 250013719 22540288 4882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 5503 4882 313 324 0 4572 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 22012 [startup+222.301 s] /proc/loadavg: 0.99 1.04 1.09 2/78 26812 /proc/meminfo: memFree=1828672/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=23172 CPUtime=222.22 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5218 0 0 0 22174 48 0 0 25 0 1 0 250013719 23728128 5179 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 5793 5179 313 324 0 4862 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 23172 [startup+282.302 s] /proc/loadavg: 0.99 1.03 1.08 2/78 26812 /proc/meminfo: memFree=1828608/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=23172 CPUtime=282.2 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5218 0 0 0 28161 59 0 0 25 0 1 0 250013719 23728128 5179 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 5793 5179 313 324 0 4862 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23172 [startup+342.301 s] /proc/loadavg: 0.99 1.02 1.08 2/78 26812 /proc/meminfo: memFree=1827264/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=24564 CPUtime=342.18 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5556 0 0 0 34149 69 0 0 25 0 1 0 250013719 25153536 5517 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6141 5517 313 324 0 5210 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 24564 [startup+402.302 s] /proc/loadavg: 0.99 1.02 1.07 2/78 26812 /proc/meminfo: memFree=1827328/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=24564 CPUtime=402.17 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5562 0 0 0 40137 80 0 0 25 0 1 0 250013719 25153536 5523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6141 5523 313 324 0 5210 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 24564 [startup+462.301 s] /proc/loadavg: 0.99 1.01 1.06 2/78 26812 /proc/meminfo: memFree=1827456/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=24564 CPUtime=462.15 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5565 0 0 0 46125 90 0 0 25 0 1 0 250013719 25153536 5526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6141 5526 313 324 0 5210 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 24564 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.06 2/78 26812 /proc/meminfo: memFree=1827392/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=24564 CPUtime=522.13 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5565 0 0 0 52111 102 0 0 25 0 1 0 250013719 25153536 5526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6141 5526 313 324 0 5210 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 24564 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.05 2/78 26812 /proc/meminfo: memFree=1825984/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=25980 CPUtime=582.12 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5919 0 0 0 58100 112 0 0 25 0 1 0 250013719 26603520 5880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6495 5880 313 324 0 5564 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 25980 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.05 2/78 26812 /proc/meminfo: memFree=1825920/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=26040 CPUtime=642.1 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 5925 0 0 0 64088 122 0 0 25 0 1 0 250013719 26664960 5886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6510 5886 313 324 0 5579 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 26040 ################ # More data... # ################ /proc/meminfo: memFree=1824320/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1061.99 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6323 0 0 0 106005 194 0 0 25 0 1 0 250013719 28266496 6284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6284 313 324 0 5970 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 27604 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1824320/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1121.97 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6323 0 0 0 111995 202 0 0 25 0 1 0 250013719 28266496 6284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6284 313 324 0 5970 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 27604 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1824256/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1181.95 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6323 0 0 0 117984 211 0 0 25 0 1 0 250013719 28266496 6284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6284 313 324 0 5970 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 27604 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1824256/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1241.93 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6323 0 0 0 123973 220 0 0 25 0 1 0 250013719 28266496 6284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6284 313 324 0 5970 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 27604 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1824192/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1301.92 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6323 0 0 0 129960 232 0 0 25 0 1 0 250013719 28266496 6284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6284 313 324 0 5970 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 27604 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1824128/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=27604 CPUtime=1361.89 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6324 0 0 0 135946 243 0 0 25 0 1 0 250013719 28266496 6285 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 6901 6285 313 324 0 5970 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 27604 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29388 CPUtime=1421.88 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6768 0 0 0 141932 256 0 0 25 0 1 0 250013719 30093312 6729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7347 6729 313 324 0 6416 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 29388 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29388 CPUtime=1481.86 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6769 0 0 0 147920 266 0 0 25 0 1 0 250013719 30093312 6730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7347 6730 313 324 0 6416 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 29388 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29388 CPUtime=1541.85 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6769 0 0 0 153907 278 0 0 25 0 1 0 250013719 30093312 6730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7347 6730 313 324 0 6416 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 29388 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29388 CPUtime=1601.83 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6769 0 0 0 159893 290 0 0 25 0 1 0 250013719 30093312 6730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7347 6730 313 324 0 6416 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 29388 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1661.8 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6769 0 0 0 165879 301 0 0 25 0 1 0 250013719 30085120 6730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6730 313 324 0 6414 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 29380 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1721.79 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6769 0 0 0 171867 312 0 0 25 0 1 0 250013719 30085120 6730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6730 313 324 0 6414 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 29380 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1781.77 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 177855 322 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 29380 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1791.38 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 178813 325 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 29380 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822336/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1794.57 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 179132 325 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 29380 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1797.77 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 179451 326 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 29380 [startup+1799.9 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1799.37 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 179611 326 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (KiB) 29380 [startup+1800.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1799.77 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 179651 326 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3038957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (KiB) 29380 [startup+1800.5 s] /proc/loadavg: 0.99 1.00 1.00 2/78 26812 /proc/meminfo: memFree=1822272/2055920 swapFree=4143588/4192956 [pid=26811] ppid=26809 vsize=29380 CPUtime=1799.97 /proc/26811/stat : 26811 (bsolo3.0.16) R 26809 26811 19478 0 -1 4194304 6770 0 0 0 179671 326 0 0 25 0 1 0 250013719 30085120 6731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26811/statm: 7345 6731 313 324 0 6414 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 29380 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.01 CPU user time (s): 1796.74 CPU system time (s): 3.2715 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 29404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.74 system time used= 3.2715 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6771 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= 1972 runsolver used 1.34279 second user time and 4.06738 second system time The end
Begin job on node24 on Tue May 1 12:02:37 UTC 2007 IDJOB= 454080 IDBENCH= 48173 IDSOLVER= 163 FILE ID= node24/454080-1178020957 PBS_JOBID= 4728336 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/mis/normalized-mis_200_10_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454080-1178020957/instance-454080-1178020957.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-454080-1178020957 -o ROOT/results/node24/solver-454080-1178020957 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454080-1178020957/instance-454080-1178020957.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED= 158989735 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1848416 kB Buffers: 51944 kB Cached: 69324 kB SwapCached: 17044 kB Active: 81800 kB Inactive: 65984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848416 kB SwapTotal: 4192956 kB SwapFree: 4143588 kB Dirty: 6652 kB Writeback: 0 kB Mapped: 33256 kB Slab: 45216 kB Committed_AS: 5253132 kB PageTables: 1820 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 node24 on Tue May 1 12:32:38 UTC 2007