Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -46 | 1800.01 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
MD5SUM | 5255c8da63867fe6fe080ca048384827 |
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 | -48 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -48 |
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 | 19 |
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) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 1246 |
Sum of products size | 2492 |
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/454260-1178023409/instance-454260-1178023409.opb 0.00/0.00 c File size is 32297 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.014 s 0.00/0.02 c Var: 2692 Constr: 5384 2692/200/2492 Lit: 19936 Watch. Lit: 14952 0.00/0.02 c Obj. Vars: 200 (7.42942 % 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 1246 3738 3 2492 415 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o -42 0.039 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 200 1247 3938 3 2536 1415 1 0 0.04 0.00/0.04 o -43 0.045 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 64 200 1312 14054 10 2709 1415 66 1422 0.04 0.19/0.27 c 164 200 1412 29472 20 2909 1557 166 2928 0.06 0.19/0.27 c 414 200 1662 67907 40 3409 1713 416 4813 0.09 0.19/0.27 c 890 200 2138 141157 66 4361 1885 892 5973 0.15 0.19/0.27 c 1704 200 2952 266271 90 5989 2074 1706 6334 0.27 0.19/0.27 o -44 0.271 4.59/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.64 c 1704 200 2953 266471 90 6035 1415 1707 6264 0.27 4.59/4.64 c 1805 200 3054 281899 92 6237 1557 1808 6311 0.29 4.59/4.64 c 2055 200 3304 320159 96 6737 1713 2058 6362 0.32 4.59/4.64 c 2532 200 3781 393086 103 7691 1885 2535 6221 0.41 4.59/4.64 c 3345 200 4594 517425 112 9317 2074 3348 6092 0.55 4.59/4.64 c 4665 200 2284 162327 71 4612 2282 1038 5368 0.87 4.59/4.64 c 6746 200 4365 480155 110 8774 2511 3119 5274 1.28 4.59/4.64 c 9969 200 3669 373414 101 7382 2763 2423 4779 2.09 4.59/4.64 c 14905 200 4562 509296 111 9168 3040 3316 4183 3.56 4.59/4.64 o -45 4.638 800.79/801.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 800.79/801.06 c 19134 200 4605 517743 112 9299 1415 3359 4124 4.64 800.79/801.06 c 19234 200 4705 532945 113 9499 1557 3459 4130 4.66 800.79/801.06 c 19486 200 4957 571123 115 10003 1713 3711 4155 4.69 800.79/801.06 c 19961 200 5432 643248 118 10953 1885 4186 4098 4.87 800.79/801.06 c 20774 200 2647 216502 81 5339 2074 1401 4054 5.12 800.79/801.06 c 22095 200 3968 416639 104 7981 2282 2722 4097 5.39 800.79/801.06 c 24178 200 2388 176825 74 4821 2511 1142 4088 5.91 800.79/801.06 c 27401 200 5611 664677 118 11267 2763 4365 4046 6.77 800.79/801.06 c 32337 200 6501 800375 123 13047 3040 5255 3648 8.86 800.79/801.06 c 39845 200 5657 671385 118 11359 3345 4411 3538 11.26 800.79/801.06 c 51207 200 4025 425467 105 8095 3680 2779 3233 15.83 800.79/801.06 c 68351 200 3190 297723 93 6425 4049 1944 2909 23.49 800.79/801.06 c 94171 200 5582 660784 118 11209 4454 4336 2716 34.66 800.79/801.06 c 133003 200 5342 624158 116 10729 4900 4096 2454 54.20 800.79/801.06 c 191355 200 7500 952533 127 15045 5391 6254 2109 90.71 800.79/801.06 c 278988 200 4151 443486 106 8347 5931 2905 1941 143.69 800.79/801.06 c 410540 200 6478 796470 122 13001 6525 5232 1748 234.81 800.79/801.06 c 607973 200 8606 1117774 129 17257 7178 7360 1662 365.79 800.79/801.06 c 904225 200 5131 592327 115 10307 7896 3885 1577 573.22 800.79/801.06 o -46 800.856 1799.93/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.56 c 1170926 200 7704 981541 127 15499 1415 6458 1462 800.86 1799.93/1800.56 c 1171027 200 2056 126218 61 4158 1557 810 1462 800.95 1799.93/1800.56 c 1171278 200 2307 164031 71 4660 1713 1061 1462 800.99 1799.93/1800.56 c 1171753 200 2782 235686 84 5610 1885 1536 1462 801.05 1799.93/1800.56 c 1172567 200 3596 358288 99 7238 2074 2350 1463 801.17 1799.93/1800.56 c 1173888 200 4917 557608 113 9880 2282 3671 1464 801.43 1799.93/1800.56 c 1175970 200 3202 298584 93 6450 2511 1956 1466 801.89 1799.93/1800.56 c 1179193 200 2517 194840 77 5080 2763 1271 1468 802.94 1799.93/1800.56 c 1184130 200 3415 330219 96 6876 3040 2169 1472 804.37 1799.93/1800.56 c 1191637 200 6751 832551 123 13548 3345 5505 1475 807.42 1799.93/1800.56 c 1203000 200 5105 584830 114 10256 3680 3859 1481 811.97 1799.93/1800.56 c 1220145 200 4262 457182 107 8570 4049 3016 1490 818.55 1799.93/1800.56 c 1245964 200 6674 819915 122 13394 4454 5428 1495 833.32 1799.93/1800.56 c 1284797 200 6424 782243 121 12894 4900 5178 1505 853.34 1799.93/1800.56 c 1343149 200 8570 1105707 129 17186 5391 7324 1516 885.84 1799.93/1800.56 c 1430781 200 5200 599689 115 10446 5931 3954 1502 952.09 1799.93/1800.56 c 1562334 200 7539 951631 126 15124 6525 6293 1507 1036.40 1799.93/1800.56 c 1759767 200 9902 1304969 131 19850 7178 8656 1526 1153.13 1799.93/1800.56 c 2056020 200 6397 778354 121 12840 7896 5151 1488 1381.47 1799.93/1800.56 c 2500503 200 8411 1083497 128 16868 8686 7165 1440 1735.64 1799.93/1800.56 c Resources Exceeded 1799.93/1800.56 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.93/1800.56 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 -x56 1799.93/1800.56 v -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 -x82 1799.93/1800.56 v -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 x98 -x99 -x100 x101 -x102 x103 x104 x105 -x106 -x107 -x108 1799.93/1800.56 v -x109 -x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 x126 -x127 -x128 x129 -x130 1799.93/1800.56 v x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 1799.93/1800.56 v -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173 1799.93/1800.56 v -x174 x175 x176 x177 -x178 -x179 x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 1799.93/1800.56 v -x196 x197 -x198 -x199 -x200 1799.93/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.56 c 54 2589441 351941 3080860 6428 783059 5182 1438 1800.00 1799.93/1800.56 c Objective: -46 1799.93/1800.56 s SATISFIABLE 1799.93/1800.56 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/node18/watcher-454260-1178023409 -o ROOT/results/node18/solver-454260-1178023409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 0.99 0.99 3/77 27661 /proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=11768 CPUtime=0 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 250258308 12050432 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 2942 342 288 324 0 2003 0 [startup+0.0871191 s] /proc/loadavg: 1.01 0.99 0.99 3/77 27661 /proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=6084 CPUtime=0.07 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 918 0 0 0 7 0 0 0 18 0 1 0 250258308 6230016 879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 1521 879 312 324 0 590 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6084 [startup+0.102121 s] /proc/loadavg: 1.01 0.99 0.99 3/77 27661 /proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=6216 CPUtime=0.09 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 250258308 6365184 936 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 1554 936 313 324 0 623 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6216 [startup+0.302141 s] /proc/loadavg: 1.01 0.99 0.99 3/77 27661 /proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=8724 CPUtime=0.29 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 1594 0 0 0 29 0 0 0 19 0 1 0 250258308 8933376 1555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 2181 1555 313 324 0 1250 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8724 [startup+0.701178 s] /proc/loadavg: 1.01 0.99 0.99 3/77 27661 /proc/meminfo: memFree=1785600/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=13248 CPUtime=0.69 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 2718 0 0 0 68 1 0 0 23 0 1 0 250258308 13565952 2679 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8302222 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 3312 2679 313 324 0 2381 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13248 [startup+1.50126 s] /proc/loadavg: 1.01 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1775096/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=14148 CPUtime=1.49 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 2964 0 0 0 148 1 0 0 25 0 1 0 250258308 14487552 2925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 3537 2925 313 324 0 2606 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14148 [startup+3.10141 s] /proc/loadavg: 1.01 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1773816/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=15696 CPUtime=3.09 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3346 0 0 0 307 2 0 0 25 0 1 0 250258308 16072704 3307 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 3924 3307 313 324 0 2993 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15696 [startup+6.30172 s] /proc/loadavg: 1.01 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1772728/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=15196 CPUtime=6.29 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3490 0 0 0 625 4 0 0 25 0 1 0 250258308 15560704 3188 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 3799 3188 313 324 0 2868 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15196 [startup+12.7013 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1772224/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=16864 CPUtime=12.69 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 3886 0 0 0 1263 6 0 0 25 0 1 0 250258308 17268736 3584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 4216 3584 313 324 0 3285 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16864 [startup+25.5016 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1771456/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=18272 CPUtime=25.48 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4245 0 0 0 2540 8 0 0 25 0 1 0 250258308 18710528 3943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 4568 3943 313 324 0 3637 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18272 [startup+51.101 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1770048/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=19148 CPUtime=51.07 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4462 0 0 0 5094 13 0 0 25 0 1 0 250258308 19607552 4160 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 4787 4160 313 324 0 3856 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19148 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1768192/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=21040 CPUtime=102.27 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 4935 0 0 0 10204 23 0 0 25 0 1 0 250258308 21544960 4633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 5260 4633 313 324 0 4329 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21040 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1767040/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=22140 CPUtime=162.24 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5212 0 0 0 16190 34 0 0 25 0 1 0 250258308 22671360 4910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 5535 4910 313 324 0 4604 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22140 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1767040/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=22132 CPUtime=222.23 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5212 0 0 0 22178 45 0 0 25 0 1 0 250258308 22663168 4910 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 5533 4910 313 324 0 4602 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22132 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1765760/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=23396 CPUtime=282.21 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5521 0 0 0 28164 57 0 0 25 0 1 0 250258308 23957504 5217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 5849 5217 313 324 0 4918 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 23396 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1765760/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=23360 CPUtime=342.2 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5522 0 0 0 34153 67 0 0 25 0 1 0 250258308 23920640 5218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 5840 5218 313 324 0 4909 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23360 [startup+402.303 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24644 CPUtime=402.19 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5852 0 0 0 40141 78 0 0 25 0 1 0 250258308 25235456 5548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6161 5548 313 324 0 5230 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 24644 [startup+462.303 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24644 CPUtime=462.17 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5854 0 0 0 46128 89 0 0 25 0 1 0 250258308 25235456 5550 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6161 5550 313 324 0 5230 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 24644 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24700 CPUtime=522.16 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 5857 0 0 0 52116 100 0 0 25 0 1 0 250258308 25292800 5553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6175 5553 313 324 0 5244 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 24700 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26116 CPUtime=582.14 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6217 0 0 0 58103 111 0 0 25 0 1 0 250258308 26742784 5913 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6529 5913 313 324 0 5598 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 26116 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27662 /proc/meminfo: memFree=1762944/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26116 CPUtime=642.13 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6220 0 0 0 64093 120 0 0 25 0 1 0 250258308 26742784 5916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6529 5916 313 324 0 5598 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 26116 ################ # More data... # ################ /proc/meminfo: memFree=1763384/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24496 CPUtime=1061.98 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6225 0 0 0 105998 200 0 0 25 0 1 0 250258308 25083904 5513 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6124 5513 313 324 0 5193 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 24496 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1764544/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24452 CPUtime=1121.9 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6225 0 0 0 111978 212 0 0 25 0 1 0 250258308 25038848 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6113 5502 313 324 0 5182 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 24452 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24580 CPUtime=1181.88 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 117967 221 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6145 5522 313 324 0 5214 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 24580 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24580 CPUtime=1241.87 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 123957 230 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6145 5522 313 324 0 5214 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 24580 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1764416/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24580 CPUtime=1301.86 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6245 0 0 0 129946 240 0 0 25 0 1 0 250258308 25169920 5522 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6145 5522 313 324 0 5214 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 24580 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1764480/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=24568 CPUtime=1361.84 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6250 0 0 0 135932 252 0 0 25 0 1 0 250258308 25157632 5527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6142 5527 313 324 0 5211 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 24568 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26060 CPUtime=1421.83 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 141921 262 0 0 25 0 1 0 250258308 26685440 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6515 5893 313 324 0 5584 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 26060 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 27860 /proc/meminfo: memFree=1763008/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26044 CPUtime=1481.81 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 147910 271 0 0 25 0 1 0 250258308 26669056 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6511 5893 313 324 0 5580 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 26044 [startup+1542.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 27860 /proc/meminfo: memFree=1762944/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26040 CPUtime=1541.8 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 153899 281 0 0 25 0 1 0 250258308 26664960 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6510 5893 313 324 0 5579 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 26040 [startup+1602.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 27860 /proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26024 CPUtime=1601.78 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 159887 291 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6506 5893 313 324 0 5575 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 26024 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26024 CPUtime=1661.77 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 165874 303 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6506 5893 313 324 0 5575 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 26024 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 27860 /proc/meminfo: memFree=1763072/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=26024 CPUtime=1721.75 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 6616 0 0 0 171862 313 0 0 25 0 1 0 250258308 26648576 5893 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6506 5893 313 324 0 5575 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 26024 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1781.74 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 177851 323 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 27604 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1791.33 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 178809 324 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8293934 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 27604 [startup+1795.1 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1794.54 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179129 325 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 27604 [startup+1798.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1797.73 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179448 325 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 27604 [startup+1799.9 s] /proc/loadavg: 1.01 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1799.33 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179607 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 27604 [startup+1800.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1799.73 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179647 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (KiB) 27604 [startup+1800.5 s] /proc/loadavg: 1.01 1.02 1.00 2/78 27860 /proc/meminfo: memFree=1761536/2055920 swapFree=4147196/4192956 [pid=27661] ppid=27659 vsize=27604 CPUtime=1799.93 /proc/27661/stat : 27661 (bsolo3.0.16) R 27659 27661 27007 0 -1 4194304 7009 0 0 0 179667 326 0 0 25 0 1 0 250258308 28266496 6281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27661/statm: 6901 6281 313 324 0 5970 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 27604 Child status: 0 Real time (s): 1800.57 CPU time (s): 1800.01 CPU user time (s): 1796.74 CPU system time (s): 3.2665 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 27648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.74 system time used= 3.2665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7010 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= 37826 runsolver used 1.47278 second user time and 3.78742 second system time The end
Begin job on node18 on Tue May 1 12:43:29 UTC 2007 IDJOB= 454260 IDBENCH= 48185 IDSOLVER= 163 FILE ID= node18/454260-1178023409 PBS_JOBID= 4728370 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_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-454260-1178023409 -o ROOT/results/node18/solver-454260-1178023409 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454260-1178023409/instance-454260-1178023409.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED= 332709445 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1786008 kB Buffers: 62620 kB Cached: 115708 kB SwapCached: 14452 kB Active: 141408 kB Inactive: 60660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786008 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 6800 kB Writeback: 0 kB Mapped: 30180 kB Slab: 53324 kB Committed_AS: 7796104 kB PageTables: 1776 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 node18 on Tue May 1 13:13:30 UTC 2007