Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 6 | 1800.06 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb |
MD5SUM | 65a3c38bd8963c911b96c745ee468cb1 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 274.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3062 |
Sum of products size (including duplicates) | 6124 |
Number of different products | 3062 |
Sum of products size | 6124 |
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/453870-1178161883/instance-453870-1178161883.opb 0.00/0.00 c File size is 38469 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.017 s 0.00/0.02 c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510 0.00/0.02 c Obj. Vars: 100 (3.16256 % of total variables) 0.09/0.18 c Pre-processing Time: 0.186 s 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 0 3162 6224 21534 3 15510 19425 0 0 0.19 0.09/0.18 c Switching off LPR mode. 0.09/0.19 o 99 0.189 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 3162 6225 21634 3 15513 19492 1 0 0.19 0.09/0.19 o 98 0.191 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 3162 6226 21734 3 15517 19592 2 0 0.19 0.09/0.19 o 97 0.195 0.18/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.20 c 0 3162 6227 21834 3 15522 19725 3 0 0.20 0.18/0.20 o 96 0.198 0.18/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.20 c 0 3162 6228 21934 3 15528 19892 4 0 0.20 0.18/0.20 o 95 0.201 0.18/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.20 c 0 3162 6229 22034 3 15535 20092 5 0 0.20 0.18/0.20 o 94 0.204 0.18/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.21 c 0 3162 6230 22134 3 15543 20325 6 0 0.20 0.18/0.21 o 93 0.207 0.18/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.21 c 0 3162 6231 22234 3 15552 20592 7 0 0.21 0.18/0.21 o 92 0.21 0.18/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.21 c 0 3162 6232 22334 3 15562 20892 8 0 0.21 0.18/0.21 o 91 0.213 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 3162 6233 22434 3 15573 21225 9 0 0.21 0.18/0.22 o 90 0.216 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 3162 6234 22534 3 15585 21592 10 0 0.22 0.18/0.22 o 89 0.219 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 3162 6235 22634 3 15598 21992 11 0 0.22 0.18/0.22 o 88 0.222 0.18/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.22 c 0 3162 6236 22734 3 15612 22425 12 0 0.22 0.18/0.22 o 87 0.225 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 3162 6237 22834 3 15627 22892 13 0 0.23 0.18/0.23 o 86 0.228 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 3162 6238 22934 3 15643 23392 14 0 0.23 0.18/0.23 o 85 0.232 0.18/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.23 c 0 3162 6239 23034 3 15660 23925 15 0 0.23 0.18/0.23 o 84 0.235 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 0 3162 6240 23134 3 15678 24492 16 0 0.24 0.18/0.24 o 83 0.238 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 0 3162 6241 23234 3 15697 25092 17 0 0.24 0.18/0.24 o 82 0.241 0.18/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.24 c 0 3162 6242 23334 3 15717 25725 18 0 0.24 0.18/0.24 o 81 0.244 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 3162 6243 23434 3 15738 26392 19 0 0.24 0.18/0.25 o 80 0.247 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 3162 6244 23534 3 15760 27092 20 0 0.25 0.18/0.25 o 79 0.25 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 0 3162 6245 23634 3 15783 27825 21 0 0.25 0.18/0.25 o 78 0.253 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 3162 6246 23734 3 15807 28592 22 0 0.25 0.18/0.26 o 77 0.256 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 3162 6247 23834 3 15832 29392 23 0 0.26 0.18/0.26 o 76 0.26 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 3162 6248 23934 3 15858 30225 24 0 0.26 0.18/0.26 o 75 0.263 0.18/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.26 c 0 3162 6249 24034 3 15885 31092 25 0 0.26 0.18/0.26 o 74 0.266 0.18/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.27 c 0 3162 6250 24134 3 15913 31992 26 0 0.27 0.18/0.27 o 73 0.269 0.18/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.27 c 0 3162 6251 24234 3 15942 32925 27 0 0.27 0.18/0.27 o 72 0.272 0.18/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.27 c 0 3162 6252 24334 3 15972 33892 28 0 0.27 0.18/0.27 o 71 0.275 0.18/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.28 c 0 3162 6253 24434 3 16003 34892 29 0 0.28 0.18/0.28 o 70 0.278 0.18/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.28 c 0 3162 6254 24534 3 16035 35892 30 0 0.28 0.18/0.28 o 69 0.281 0.18/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.28 c 0 3162 6255 24634 3 16068 36892 31 0 0.28 0.18/0.28 o 68 0.284 0.18/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.29 c 0 3162 6256 24734 3 16102 37892 32 0 0.28 0.18/0.29 o 67 0.288 0.18/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.29 c 0 3162 6257 24834 3 16137 38892 33 0 0.29 0.18/0.29 o 66 0.291 0.18/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.29 c 0 3162 6258 24934 3 16173 39892 34 0 0.29 0.18/0.29 o 65 0.294 0.18/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.30 c 0 3162 6259 25034 3 16210 40892 35 0 0.29 0.18/0.30 o 64 0.297 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6260 25134 4 16248 41892 36 0 0.30 0.29/0.30 o 63 0.3 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3162 6261 25234 4 16287 42892 37 0 0.30 0.29/0.30 o 62 0.303 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6262 25334 4 16327 43892 38 0 0.30 0.29/0.31 o 61 0.306 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6263 25434 4 16368 44892 39 0 0.31 0.29/0.31 o 60 0.31 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6264 25534 4 16410 45892 40 0 0.31 0.29/0.31 o 59 0.313 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 3162 6265 25634 4 16453 46892 41 0 0.31 0.29/0.31 o 58 0.316 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 3162 6266 25734 4 16497 47892 42 0 0.32 0.29/0.32 o 16 0.321 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1 3162 6268 25892 4 16585 47892 44 3 0.32 0.29/0.32 o 8 0.325 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 1 3162 6269 25992 4 16679 47892 45 3 0.33 0.39/0.41 c 104 3162 6372 31902 5 16885 52682 148 284 0.37 0.39/0.41 o 7 0.414 27.28/27.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.28/27.32 c 268 3162 6537 48100 7 17308 47892 313 645 0.41 27.28/27.32 c 368 3162 6637 57926 8 17508 52682 413 830 0.44 27.28/27.32 c 618 3162 6887 85829 12 18008 57951 663 1183 0.52 27.28/27.32 c 1094 3162 7363 138598 18 18960 63747 1139 1647 0.66 27.28/27.32 c 1908 3162 8177 222496 27 20588 70122 1953 2087 0.91 27.28/27.32 c 3228 3162 9497 364227 38 23228 77135 3273 2282 1.41 27.28/27.32 c 5309 3162 11578 595500 51 27390 84849 5354 2148 2.47 27.28/27.32 c 8534 3162 14803 964711 65 33840 93334 8579 1855 4.60 27.28/27.32 c 13471 3162 19740 1559495 79 43714 102668 13516 1404 9.59 27.28/27.32 c 20981 3162 27250 2374003 87 58734 112935 21026 1150 18.24 27.28/27.32 o 6 27.306 1799.98/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.52 c 26212 3162 32482 2899440 89 69292 47892 26258 959 27.31 1799.98/1800.52 c 26313 3162 32583 2909849 89 69494 52682 26359 957 27.49 1799.98/1800.52 c 26565 3162 32835 2935198 89 69998 57951 26611 953 27.85 1799.98/1800.52 c 27042 3162 33312 2972346 89 70952 63747 27088 945 28.60 1799.98/1800.52 c 27855 3162 34125 3041386 89 72578 70122 27901 931 29.92 1799.98/1800.52 c 29175 3162 35445 3167897 89 75218 77135 29221 906 32.18 1799.98/1800.52 c 31256 3162 37526 3358477 89 79380 84849 31302 862 36.24 1799.98/1800.52 c 34481 3162 40751 3651811 89 85830 93334 34527 795 43.37 1799.98/1800.52 c 39419 3162 45689 4130878 90 95706 102668 39465 717 54.93 1799.98/1800.52 c 46926 3162 53196 4873566 91 110720 112935 46972 650 72.18 1799.98/1800.52 c 58287 3162 64557 5972028 92 133442 124229 58333 531 109.64 1799.98/1800.52 c 75431 3162 81701 7638618 93 167730 136652 75477 424 177.66 1799.98/1800.52 c 101250 3162 107520 10533072 97 219368 150318 101296 316 320.19 1799.98/1800.52 c 140082 3162 146352 14625015 99 297032 165350 140128 232 603.42 1799.98/1800.52 c 198438 3162 51766 4689437 90 106688 181886 45542 208 951.05 1799.98/1800.52 c 286071 3162 139399 18475911 132 281954 200075 133175 189 1511.28 1799.98/1800.52 c Resources Exceeded 1799.98/1800.52 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 1799.98/1800.52 v -x29 -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 1799.98/1800.52 v -x55 -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 1799.98/1800.52 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.98/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.52 c 71 314320 89197 520742 167648 21307036 161424 174 1800.01 1799.98/1800.52 c Objective: 6 1799.98/1800.52 s SATISFIABLE 1799.98/1800.52 c Total time: 1800.01 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-453870-1178161883 -o ROOT/results/node17/solver-453870-1178161883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453870-1178161883/instance-453870-1178161883.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 0.98 0.99 3/77 17424 /proc/meminfo: memFree=1659928/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=3964 CPUtime=0 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 264105795 4059136 347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 991 348 291 324 0 50 0 [startup+0.072098 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17424 /proc/meminfo: memFree=1659928/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=5584 CPUtime=0.06 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 783 0 0 0 6 0 0 0 18 0 1 0 264105795 5718016 743 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 1396 743 305 324 0 465 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5584 [startup+0.101101 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17424 /proc/meminfo: memFree=1659928/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=5584 CPUtime=0.09 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 783 0 0 0 9 0 0 0 18 0 1 0 264105795 5718016 743 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 1396 743 305 324 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5584 [startup+0.301122 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17424 /proc/meminfo: memFree=1659928/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=5848 CPUtime=0.29 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 942 0 0 0 28 1 0 0 19 0 1 0 264105795 5988352 837 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 1462 837 311 324 0 531 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5848 [startup+0.701163 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17424 /proc/meminfo: memFree=1659928/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=7412 CPUtime=0.69 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 1324 0 0 0 68 1 0 0 22 0 1 0 264105795 7589888 1219 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 1853 1219 312 324 0 922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7412 [startup+1.50125 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1654736/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=10668 CPUtime=1.49 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 2154 0 0 0 148 1 0 0 25 0 1 0 264105795 10924032 2049 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 2667 2049 312 324 0 1736 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10668 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1650768/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=15360 CPUtime=3.09 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 3305 0 0 0 307 2 0 0 25 0 1 0 264105795 15728640 3200 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 3840 3200 312 324 0 2909 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15360 [startup+6.30174 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1642704/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=22236 CPUtime=6.29 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 5023 0 0 0 625 4 0 0 25 0 1 0 264105795 22769664 4918 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 5559 4918 312 324 0 4628 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22236 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1632728/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=31552 CPUtime=12.69 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 7355 0 0 0 1262 7 0 0 25 0 1 0 264105795 32309248 7250 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 7888 7250 312 324 0 6957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31552 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1619544/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=43868 CPUtime=25.48 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 10447 0 0 0 2537 11 0 0 25 0 1 0 264105795 44920832 10342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 10967 10342 312 324 0 10036 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43868 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1603480/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=60140 CPUtime=51.07 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 14518 0 0 0 5088 19 0 0 25 0 1 0 264105795 61583360 14413 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 15035 14413 312 324 0 14104 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60140 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1577496/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=85848 CPUtime=102.27 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 20937 0 0 0 10197 30 0 0 25 0 1 0 264105795 87908352 20832 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 21462 20832 312 324 0 20531 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 85848 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1556568/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=106816 CPUtime=162.24 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 26191 0 0 0 16187 37 0 0 25 0 1 0 264105795 109379584 26086 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 26704 26086 312 324 0 25773 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106816 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1536728/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=126564 CPUtime=222.23 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 31101 0 0 0 22178 45 0 0 25 0 1 0 264105795 129601536 30996 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 31641 30996 312 324 0 30710 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 126564 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1520984/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=142256 CPUtime=282.21 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 35050 0 0 0 28169 52 0 0 25 0 1 0 264105795 145670144 34945 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 35564 34945 312 324 0 34633 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 142256 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1506712/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=156404 CPUtime=342.19 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 38572 0 0 0 34161 58 0 0 25 0 1 0 264105795 160157696 38467 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 39101 38467 312 324 0 38170 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 156404 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1489624/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=173496 CPUtime=402.17 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 42862 0 0 0 40153 64 0 0 25 0 1 0 264105795 177659904 42757 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 43374 42757 312 324 0 42443 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 173496 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1479960/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=183116 CPUtime=462.16 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 45264 0 0 0 46146 70 0 0 25 0 1 0 264105795 187510784 45159 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 45779 45159 312 324 0 44848 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 183116 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1470232/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=192960 CPUtime=522.14 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 47725 0 0 0 52140 74 0 0 25 0 1 0 264105795 197591040 47620 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134572232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 48240 47620 312 324 0 47309 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 192960 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1459096/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=204156 CPUtime=582.12 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 50502 0 0 0 58134 78 0 0 25 0 1 0 264105795 209055744 50397 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 51039 50397 312 324 0 50108 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 204156 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1447768/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=215160 CPUtime=642.11 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 53280 0 0 0 64127 84 0 0 25 0 1 0 264105795 220323840 53175 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 53790 53175 312 324 0 52859 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 215160 ################ # More data... # ################ /proc/meminfo: memFree=1408856/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1061.98 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 106085 113 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 3292886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 254104 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408856/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1121.97 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 112080 117 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 254104 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408920/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1181.95 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 118076 119 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 254104 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408856/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1241.93 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 124072 121 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 254104 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408856/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1301.92 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 130069 123 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 254104 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408856/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1361.9 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 136065 125 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 3292886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 254104 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408792/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1421.89 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 142062 127 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 254104 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1408792/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=254104 CPUtime=1481.87 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 63172 0 0 0 148057 130 0 0 25 0 1 0 264105795 260202496 62903 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 63526 62903 312 324 0 62595 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 254104 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1402200/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=260708 CPUtime=1541.85 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 64820 0 0 0 154051 134 0 0 25 0 1 0 264105795 266964992 64551 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 65177 64551 312 324 0 64246 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 260708 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1393496/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=269504 CPUtime=1601.84 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 67002 0 0 0 160047 137 0 0 25 0 1 0 264105795 275972096 66733 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 67376 66733 312 324 0 66445 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 269504 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1385752/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=277148 CPUtime=1661.82 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 68912 0 0 0 166042 140 0 0 25 0 1 0 264105795 283799552 68643 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 69287 68643 312 324 0 68356 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 277148 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17425 /proc/meminfo: memFree=1378520/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=284412 CPUtime=1721.8 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 70733 0 0 0 172037 143 0 0 25 0 1 0 264105795 291237888 70464 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 71103 70464 312 324 0 70172 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 284412 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1370008/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=292716 CPUtime=1781.78 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 72834 0 0 0 178031 147 0 0 25 0 1 0 264105795 299741184 72565 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73179 72565 312 324 0 72248 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 292716 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368792/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294008 CPUtime=1791.39 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73139 0 0 0 178991 148 0 0 25 0 1 0 264105795 301064192 72870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73502 72870 312 324 0 72571 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 294008 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368472/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294272 CPUtime=1794.59 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73220 0 0 0 179311 148 0 0 25 0 1 0 264105795 301334528 72951 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73568 72951 312 324 0 72637 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 294272 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368280/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294528 CPUtime=1797.78 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73287 0 0 0 179630 148 0 0 25 0 1 0 264105795 301596672 73018 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73632 73018 312 324 0 72701 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 294528 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368088/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294784 CPUtime=1799.38 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73329 0 0 0 179790 148 0 0 25 0 1 0 264105795 301858816 73060 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73696 73060 312 324 0 72765 0 Current children cumulated CPU time (s) 1799.38 Current children cumulated vsize (KiB) 294784 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368088/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294784 CPUtime=1799.78 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73342 0 0 0 179830 148 0 0 25 0 1 0 264105795 301858816 73073 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73696 73073 312 324 0 72765 0 Current children cumulated CPU time (s) 1799.78 Current children cumulated vsize (KiB) 294784 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17427 /proc/meminfo: memFree=1368088/2055920 swapFree=4140116/4192956 [pid=17424] ppid=17422 vsize=294784 CPUtime=1799.98 /proc/17424/stat : 17424 (bsolo3.0.16) R 17422 17424 14912 0 -1 4194304 73346 0 0 0 179850 148 0 0 25 0 1 0 264105795 301858816 73077 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17424/statm: 73696 73077 312 324 0 72765 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 294784 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.06 CPU user time (s): 1798.53 CPU system time (s): 1.53177 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 294784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.53 system time used= 1.53177 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73347 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= 3174 runsolver used 1.37179 second user time and 3.9114 second system time The end
Begin job on node17 on Thu May 3 03:11:23 UTC 2007 IDJOB= 453870 IDBENCH= 48159 IDSOLVER= 163 FILE ID= node17/453870-1178161883 PBS_JOBID= 4751079 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453870-1178161883/instance-453870-1178161883.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-453870-1178161883 -o ROOT/results/node17/solver-453870-1178161883 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453870-1178161883/instance-453870-1178161883.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED= 180864922 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1660336 kB Buffers: 81928 kB Cached: 214232 kB SwapCached: 15008 kB Active: 181080 kB Inactive: 147320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1660336 kB SwapTotal: 4192956 kB SwapFree: 4140116 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 37904 kB Slab: 52652 kB Committed_AS: 9832380 kB PageTables: 1824 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 node17 on Thu May 3 03:41:24 UTC 2007