Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.24 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_3.opb |
MD5SUM | d792065ec5adca4c7f7b540f15bc8ce9 |
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 | -110 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -149 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 63244 |
Sum of products size (including duplicates) | 126488 |
Number of different products | 31622 |
Sum of products size | 63244 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875409-1245208481.opb. 0.00/0.00 c Instance file HOME/instance-1875409-1245208481.opb 0.00/0.00 c File size is 2905907 bytes. 0.49/0.51 c Highest Coefficient sum: 2000 0.49/0.51 c ============================[ Problem Statistics ]============================= 0.49/0.51 c | | 0.49/0.51 c | Parsing time: 0.49 s | 0.49/0.51 c | Number Variables: 33622 | 0.49/0.51 c | Number Clauses: 33622 | 0.49/0.51 c | Number Cardinality: 2002 | 0.49/0.51 c | Number PB Constraints: 31622 | 0.49/0.51 c core #1 0.49/0.51 c Core size: 2001 Core Weight: 1 Total Weight: -999 0.49/0.51 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 34622 67247 261976 | 22415 0 nan | 0.000 % | 2.59/2.61 c | 100 | 34622 67247 261976 | 24657 100 166 | 0.133 % | 4.99/5.03 c | 250 | 34622 67247 261976 | 27122 250 276 | 0.214 % | 7.89/7.98 c | 475 | 34546 67247 261976 | 29835 473 320 | 0.295 % | 12.69/12.76 c | 812 | 34520 67247 261976 | 32818 809 342 | 0.295 % | 17.29/17.33 c =============================================================================== 17.39/17.40 c core #2 17.39/17.40 c Core size: 2263 Core Weight: 1 Total Weight: -998 17.39/17.40 c Elapsed CPU time: 17.3434 s Remaining CPU time: 1782.66 s 17.48/17.57 c Learning 38 hard constraints 17.48/17.57 c ============================[ Search Statistics ]============================== 17.48/17.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.48/17.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.48/17.57 c =============================================================================== 17.48/17.57 c | 0 | 35622 67286 264089 | 22428 0 nan | 0.000 % | 19.09/19.16 c | 100 | 35622 67286 264089 | 24671 100 934 | 0.000 % | 19.19/19.27 c | 250 | 35622 67286 264089 | 27138 250 375 | 0.000 % | 22.99/23.07 c | 475 | 35622 67286 264089 | 29852 475 496 | 0.000 % | 26.28/26.30 c | 812 | 35622 67286 264089 | 32837 812 603 | 0.000 % | 32.68/32.75 c | 1318 | 35622 67286 264089 | 36121 1318 639 | 0.000 % | 42.38/42.49 c | 2077 | 35622 67286 264089 | 39733 2077 665 | 0.000 % | 55.47/55.58 c | 3216 | 35622 67286 264089 | 43707 3216 686 | 0.000 % | 81.17/81.27 c | 4924 | 35595 67286 264089 | 48077 4909 689 | 0.076 % | 118.16/118.28 c | 7486 | 35593 67286 264089 | 52885 7471 715 | 0.174 % | 166.84/166.91 c | 11330 | 35560 67286 264089 | 58174 11203 741 | 0.174 % | 251.82/251.97 c | 17141 | 35560 67286 264089 | 63991 17014 749 | 0.174 % | 367.38/367.51 c | 25790 | 35492 67286 264089 | 70390 25644 781 | 0.435 % | 545.24/545.43 c | 38764 | 35243 67286 264089 | 77429 37836 798 | 2.987 % | 801.46/801.72 c | 58237 | 33998 67286 264089 | 85172 54228 846 | 4.640 % | 1213.14/1213.51 c | 87429 | 33852 67286 264089 | 93690 83420 877 | 13.514 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875409-1245208481/watcher-1875409-1245208481 -o /tmp/evaluation-result-1875409-1245208481/solver-1875409-1245208481 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875409-1245208481.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7323 /proc/meminfo: memFree=1852848/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=5700 CPUtime=0 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 188448215 5836800 255 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 1425 263 125 292 0 420 0 [startup+0.0445511 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7323 /proc/meminfo: memFree=1852848/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=8752 CPUtime=0.04 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 1032 0 0 0 4 0 0 0 18 0 1 0 188448215 8962048 1016 1992294400 134512640 135709839 4294956240 18446744073709551615 135239454 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 2241 1021 172 292 0 1236 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8752 [startup+0.101555 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7323 /proc/meminfo: memFree=1852848/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=11176 CPUtime=0.09 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 1668 0 0 0 8 1 0 0 18 0 1 0 188448215 11444224 1652 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 2794 1652 232 292 0 1789 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11176 [startup+0.301577 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7323 /proc/meminfo: memFree=1852848/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=14300 CPUtime=0.29 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 2587 0 0 0 28 1 0 0 19 0 1 0 188448215 14643200 2538 1992294400 134512640 135709839 4294956240 18446744073709551615 135187152 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 3575 2538 492 292 0 2570 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14300 [startup+0.701624 s] /proc/loadavg: 0.99 0.97 0.99 3/64 7323 /proc/meminfo: memFree=1852848/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=23504 CPUtime=0.69 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 6696 0 0 0 66 3 0 0 22 0 1 0 188448215 24068096 5180 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 5876 5180 135 292 0 5581 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23504 [startup+1.50172 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1832424/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=23504 CPUtime=1.49 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 6696 0 0 0 146 3 0 0 25 0 1 0 188448215 24068096 5180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 5876 5180 135 292 0 5581 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23504 [startup+3.1019 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1832232/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=24320 CPUtime=3.09 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 6890 0 0 0 306 3 0 0 25 0 1 0 188448215 24903680 5374 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 6080 5374 136 292 0 5785 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24320 [startup+6.30126 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1829992/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=26400 CPUtime=6.29 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 7392 0 0 0 626 3 0 0 25 0 1 0 188448215 27033600 5876 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 6600 5876 136 292 0 6305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26400 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1825896/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=30712 CPUtime=12.69 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 8468 0 0 0 1265 4 0 0 25 0 1 0 188448215 31449088 6952 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 7678 6952 136 292 0 7383 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30712 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1816488/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=39060 CPUtime=25.48 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 11292 0 0 0 2542 6 0 0 25 0 1 0 188448215 39997440 9089 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 9765 9089 136 292 0 9470 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39060 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1806440/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=49812 CPUtime=51.08 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 13977 0 0 0 5098 10 0 0 25 0 1 0 188448215 51007488 11774 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 12453 11774 136 292 0 12158 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49812 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1776680/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=79256 CPUtime=102.26 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 21328 0 0 0 10211 15 0 0 25 0 1 0 188448215 81158144 19125 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 19814 19126 136 292 0 19519 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79256 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1740328/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=115608 CPUtime=162.24 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 30419 0 0 0 16202 22 0 0 25 0 1 0 188448215 118382592 28216 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 28902 28216 136 292 0 28607 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 115608 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1708264/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=147484 CPUtime=222.23 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 38377 0 0 0 22193 30 0 0 25 0 1 0 188448215 151023616 36174 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 36871 36174 136 292 0 36576 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 147484 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1673448/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=182516 CPUtime=282.21 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 47132 0 0 0 28185 36 0 0 25 0 1 0 188448215 186896384 44929 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 45629 44929 136 292 0 45334 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 182516 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1636904/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=218656 CPUtime=342.19 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 56174 0 0 0 34176 43 0 0 25 0 1 0 188448215 223903744 53971 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 54664 53971 136 292 0 54369 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 218656 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1603112/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=252780 CPUtime=402.17 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 64706 0 0 0 40167 50 0 0 25 0 1 0 188448215 258846720 62503 1992294400 134512640 135709839 4294956240 18446744073709551615 134577780 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 63195 62503 136 292 0 62900 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 252780 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1569064/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=286472 CPUtime=462.15 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 73122 0 0 0 46158 57 0 0 25 0 1 0 188448215 293347328 70919 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 71618 70919 136 292 0 71323 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 286472 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1537000/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=318864 CPUtime=522.14 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 81209 0 0 0 52150 64 0 0 25 0 1 0 188448215 326516736 79006 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 79716 79006 136 292 0 79421 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 318864 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1500520/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=355048 CPUtime=582.12 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 90253 0 0 0 58140 72 0 0 25 0 1 0 188448215 363569152 88050 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 88762 88050 136 292 0 88467 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 355048 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1467496/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=387656 CPUtime=642.11 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 98411 0 0 0 64132 79 0 0 25 0 1 0 188448215 396959744 96208 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 96914 96208 136 292 0 96619 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 387656 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1331240/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=523664 CPUtime=882.04 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 132403 0 0 0 88088 116 0 0 25 0 1 0 188448215 536231936 130200 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 130916 130200 136 292 0 130621 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 523664 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1297960/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=557380 CPUtime=942.02 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 140764 0 0 0 94076 126 0 0 25 0 1 0 188448215 570757120 138561 1992294400 134512640 135709839 4294956240 18446744073709551615 134574200 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 139345 138561 136 292 0 139050 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 557380 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1266088/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=589116 CPUtime=1002 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 148682 0 0 0 100067 133 0 0 25 0 1 0 188448215 603254784 146479 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 147279 146479 136 292 0 146984 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 589116 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1234792/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=620596 CPUtime=1061.98 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 156558 0 0 0 106058 140 0 0 25 0 1 0 188448215 635490304 154355 1992294400 134512640 135709839 4294956240 18446744073709551615 134581530 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 155149 154355 136 292 0 154854 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 620596 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1202536/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=652580 CPUtime=1121.97 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 164550 0 0 0 112050 147 0 0 25 0 1 0 188448215 668241920 162347 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 163145 162347 136 292 0 162850 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 652580 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1170984/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=684380 CPUtime=1181.95 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 172500 0 0 0 118041 154 0 0 25 0 1 0 188448215 700805120 170297 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 171095 170297 136 292 0 170800 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 684380 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1139368/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=715692 CPUtime=1241.93 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 180305 0 0 0 124030 163 0 0 25 0 1 0 188448215 732868608 178102 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 178923 178102 136 292 0 178628 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 715692 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1106280/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=748444 CPUtime=1301.91 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 188499 0 0 0 130021 170 0 0 25 0 1 0 188448215 766406656 186296 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 187111 186296 136 292 0 186816 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 748444 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1078184/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=776916 CPUtime=1361.9 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 195572 0 0 0 136012 178 0 0 25 0 1 0 188448215 795561984 193369 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 194229 193369 136 292 0 193934 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 776916 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1046248/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=808552 CPUtime=1421.88 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 203477 0 0 0 142001 187 0 0 25 0 1 0 188448215 827957248 201274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 202138 201274 136 292 0 201843 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 808552 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=1017320/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=837900 CPUtime=1481.86 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 210814 0 0 0 147992 194 0 0 25 0 1 0 188448215 858009600 208611 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 209475 208611 136 292 0 209180 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 837900 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=988648/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=866208 CPUtime=1541.84 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 217864 0 0 0 153983 201 0 0 25 0 1 0 188448215 886996992 215661 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 216552 215661 136 292 0 216257 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 866208 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=959272/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=895912 CPUtime=1601.82 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 225295 0 0 0 159974 208 0 0 25 0 1 0 188448215 917413888 223092 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 223978 223092 136 292 0 223683 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 895912 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=920232/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=934536 CPUtime=1661.81 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 234948 0 0 0 165965 216 0 0 25 0 1 0 188448215 956964864 232745 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 233634 232745 136 292 0 233339 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 934536 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=883112/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=972088 CPUtime=1721.79 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 244326 0 0 0 171955 224 0 0 25 0 1 0 188448215 995418112 242123 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 243022 242123 136 292 0 242727 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 972088 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=842216/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=1012636 CPUtime=1781.78 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 254469 0 0 0 177943 235 0 0 25 0 1 0 188448215 1036939264 252266 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 253159 252266 136 292 0 252864 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1012636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=830376/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=1024028 CPUtime=1800.07 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4194304 257320 0 0 0 179771 236 0 0 25 0 1 0 188448215 1048604672 255117 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 256007 255117 136 292 0 255712 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1024028 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 7324 /proc/meminfo: memFree=830376/2055920 swapFree=4181924/4192956 [pid=7323] ppid=7321 vsize=0 CPUtime=1800.17 /proc/7323/stat : 7323 (wbo) R 7321 7323 7133 0 -1 4195332 257320 0 0 0 179771 246 0 0 25 0 1 0 188448215 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7323/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.77 CPU time (s): 1800.24 CPU user time (s): 1797.72 CPU system time (s): 2.52562 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1024028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.72 system time used= 2.52562 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257320 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= 2 involuntary context switches= 2758 runsolver used 1.35479 second user time and 3.66344 second system time The end
Begin job on node23 at 2009-06-17 05:14:41 IDJOB=1875409 IDBENCH=48249 IDSOLVER=698 FILE ID=node23/1875409-1245208481 PBS_JOBID= 9368372 Free space on /tmp= 66268 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875409-1245208481/watcher-1875409-1245208481 -o /tmp/evaluation-result-1875409-1245208481/solver-1875409-1245208481 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875409-1245208481.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d792065ec5adca4c7f7b540f15bc8ce9 RANDOM SEED=1984145208 node23.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1855312 kB Buffers: 44744 kB Cached: 93648 kB SwapCached: 4748 kB Active: 42516 kB Inactive: 103700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855312 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 3308 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40356 kB Committed_AS: 168888 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875409-1245208481.opb Free space on /tmp at the end= 66264 MiB End job on node23 at 2009-06-17 05:44:46