Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.29 | 1800.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
MD5SUM | 95bfca9fba26d7f8c875796701522876 |
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 | -101 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
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-1875394-1245206388.opb. 0.00/0.00 c Instance file HOME/instance-1875394-1245206388.opb 0.00/0.00 c File size is 567733 bytes. 0.06/0.09 c Highest Coefficient sum: 1000 0.06/0.09 c ============================[ Problem Statistics ]============================= 0.06/0.09 c | | 0.06/0.09 c | Parsing time: 0.09 s | 0.06/0.09 c | Number Variables: 7326 | 0.06/0.09 c | Number Clauses: 7326 | 0.06/0.09 c | Number Cardinality: 1002 | 0.06/0.09 c | Number PB Constraints: 6326 | 0.06/0.09 c core #1 0.06/0.09 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.06/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 7826 14655 55108 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 7826 14655 55108 | 5500 100 98 | 0.511 % | 0.69/0.75 c | 251 | 7786 14655 55108 | 6050 249 243 | 0.511 % | 1.39/1.49 c | 476 | 7474 14655 55108 | 6655 439 197 | 6.082 % | 2.09/2.16 c =============================================================================== 2.09/2.18 c core #2 2.09/2.18 c Core size: 1312 Core Weight: 1 Total Weight: -498 2.09/2.18 c Elapsed CPU time: 2.17267 s Remaining CPU time: 1797.83 s 2.19/2.21 c Learning 30 hard constraints 2.19/2.21 c ============================[ Search Statistics ]============================== 2.19/2.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.21 c =============================================================================== 2.19/2.21 c | 0 | 8292 14686 56130 | 5000 0 nan | 0.000 % | 2.49/2.57 c | 100 | 8292 14686 56130 | 5500 100 386 | 0.000 % | 2.99/3.03 c | 250 | 8292 14686 56130 | 6050 250 288 | 0.000 % | 3.49/3.60 c | 475 | 8292 14686 56130 | 6655 475 294 | 0.000 % | 4.29/4.37 c | 812 | 8292 14686 56130 | 7320 812 309 | 0.000 % | 5.59/5.60 c | 1318 | 8292 14686 56130 | 8052 1318 318 | 0.000 % | 7.19/7.28 c | 2077 | 8292 14686 56130 | 8857 2077 317 | 0.001 % | 10.59/10.66 c | 3275 | 8280 14686 56130 | 9743 3097 343 | 0.145 % | 15.29/15.33 c | 4983 | 8280 14686 56130 | 10717 4805 354 | 0.157 % | 22.69/22.77 c | 7545 | 8276 14686 56130 | 11789 7363 387 | 0.362 % | 33.88/33.94 c | 11389 | 8276 14686 56130 | 12968 11207 404 | 0.362 % | 50.87/50.92 c | 17155 | 8237 14686 56130 | 14265 9918 417 | 3.136 % | 74.96/75.01 c | 25804 | 7973 14686 56130 | 15692 10483 449 | 4.173 % | 118.36/118.46 c | 38778 | 7958 14686 56130 | 17261 13845 466 | 5.789 % | 182.63/182.73 c | 58239 | 7788 14686 56130 | 18987 13649 487 | 7.296 % | 215.53/215.64 c =============================================================================== 218.23/218.31 c core #3 218.23/218.31 c Core size: 3015 Core Weight: 1 Total Weight: -497 218.23/218.31 c Elapsed CPU time: 217.68 s Remaining CPU time: 1582.32 s 218.32/218.40 c Learning 218 hard constraints 218.32/218.40 c ============================[ Search Statistics ]============================== 218.32/218.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.32/218.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.32/218.40 c =============================================================================== 218.32/218.40 c | 0 | 8790 14905 62721 | 5000 0 nan | 0.000 % | 218.83/218.96 c | 100 | 8790 14905 62721 | 5500 100 612 | 0.000 % | 219.52/219.61 c | 250 | 8790 14905 62721 | 6050 250 517 | 0.000 % | 220.32/220.44 c | 475 | 8790 14905 62721 | 6655 475 444 | 0.000 % | 221.73/221.83 c | 812 | 8790 14905 62721 | 7320 812 421 | 0.000 % | 223.43/223.55 c | 1321 | 8790 14905 62721 | 8052 1321 420 | 0.000 % | 226.33/226.48 c | 2110 | 8790 14905 62721 | 8857 2110 437 | 0.000 % | 230.42/230.54 c | 3249 | 8790 14905 62721 | 9743 3249 444 | 0.000 % | 235.92/236.09 c | 5013 | 8790 14905 62721 | 10717 5013 448 | 0.000 % | 244.22/244.34 c | 7575 | 8790 14905 62721 | 11789 7575 468 | 0.000 % | 258.42/258.55 c | 11442 | 8790 14905 62721 | 12968 11442 497 | 0.000 % | 283.71/283.83 c | 17368 | 8790 14905 62721 | 14265 10470 533 | 0.000 % | 319.20/319.31 c | 26017 | 8790 14905 62721 | 15692 11811 569 | 0.000 % | 371.69/371.81 c | 39003 | 8790 14905 62721 | 17261 16524 603 | 0.000 % | 450.56/450.79 c | 58464 | 8790 14905 62721 | 18987 16586 588 | 0.000 % | 597.93/598.14 c | 87656 | 8790 14905 62721 | 20886 11452 680 | 0.000 % | 789.78/790.04 c | 131445 | 8790 14905 62721 | 22974 17979 689 | 0.000 % | 1116.69/1117.01 c | 197129 | 8790 14905 62721 | 25272 15195 722 | 0.000 % | 1573.77/1574.20 c | 295655 | 8790 14905 62721 | 27799 22150 614 | 0.000 % |
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-1875394-1245206388/watcher-1875394-1245206388 -o /tmp/evaluation-result-1875394-1245206388/solver-1875394-1245206388 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875394-1245206388.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/65 32418 /proc/meminfo: memFree=1823400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=3356 CPUtime=0 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 188236819 3436544 252 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 873 261 127 292 0 439 0 [startup+0.0679171 s] /proc/loadavg: 0.99 0.97 0.99 3/65 32418 /proc/meminfo: memFree=1823400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=4964 CPUtime=0.06 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 744 0 0 0 6 0 0 0 18 0 1 0 188236819 5083136 728 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 1241 728 221 292 0 807 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4964 [startup+0.10192 s] /proc/loadavg: 0.99 0.97 0.99 3/65 32418 /proc/meminfo: memFree=1823400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=6524 CPUtime=0.09 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 1298 0 0 0 9 0 0 0 18 0 1 0 188236819 6680576 1143 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 1631 1144 134 292 0 1336 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6524 [startup+0.30194 s] /proc/loadavg: 0.99 0.97 0.99 3/65 32418 /proc/meminfo: memFree=1823400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=7028 CPUtime=0.29 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 1548 0 0 0 29 0 0 0 19 0 1 0 188236819 7196672 1307 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 1757 1307 135 292 0 1462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7028 [startup+0.701982 s] /proc/loadavg: 0.99 0.97 0.99 3/65 32418 /proc/meminfo: memFree=1823400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=7424 CPUtime=0.69 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 1659 0 0 0 69 0 0 0 23 0 1 0 188236819 7602176 1418 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 1856 1418 136 292 0 1561 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7424 [startup+1.50107 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1817824/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=8616 CPUtime=1.49 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 1935 0 0 0 148 1 0 0 25 0 1 0 188236819 8822784 1694 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 2154 1694 136 292 0 1859 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8616 [startup+3.10124 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1816288/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=11024 CPUtime=3.09 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 2650 0 0 0 308 1 0 0 25 0 1 0 188236819 11288576 2317 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 2756 2317 136 292 0 2461 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11024 [startup+6.30157 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1812704/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=14456 CPUtime=6.29 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 3503 0 0 0 627 2 0 0 25 0 1 0 188236819 14802944 3170 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 3614 3170 136 292 0 3319 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14456 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1802984/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=23704 CPUtime=12.68 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 5803 0 0 0 1264 4 0 0 25 0 1 0 188236819 24272896 5470 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 5926 5470 136 292 0 5631 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23704 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1785000/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=41028 CPUtime=25.48 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 10140 0 0 0 2540 8 0 0 25 0 1 0 188236819 42012672 9807 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 10257 9807 136 292 0 9962 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41028 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1751080/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=75132 CPUtime=51.07 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 18666 0 0 0 5091 16 0 0 25 0 1 0 188236819 76935168 18333 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 18783 18333 136 292 0 18488 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75132 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1687528/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=137972 CPUtime=102.26 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 34384 0 0 0 10198 28 0 0 25 0 1 0 188236819 141283328 34051 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 34493 34051 136 292 0 34198 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 137972 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1618344/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=207680 CPUtime=162.24 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 51791 0 0 0 16182 42 0 0 25 0 1 0 188236819 212664320 51458 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 51920 51458 136 292 0 51625 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 207680 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1565288/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=259948 CPUtime=222.23 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 64828 0 0 0 22166 57 0 0 25 0 1 0 188236819 266186752 64495 1992294400 134512640 135709839 4294956240 18446744073709551615 134579541 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 64987 64495 136 292 0 64692 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 259948 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1565288/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=259948 CPUtime=282.21 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 64835 0 0 0 28153 68 0 0 25 0 1 0 188236819 266186752 64502 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 64987 64502 136 292 0 64692 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 259948 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1541864/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=283592 CPUtime=342.2 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 70780 0 0 0 34145 75 0 0 25 0 1 0 188236819 290398208 70447 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 70898 70447 136 292 0 70603 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 283592 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1479400/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=346656 CPUtime=402.18 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 86535 0 0 0 40130 88 0 0 25 0 1 0 188236819 354975744 86202 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 86664 86202 136 292 0 86369 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 346656 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1416872/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=408056 CPUtime=462.16 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 101893 0 0 0 46116 100 0 0 25 0 1 0 188236819 417849344 101560 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 102014 101560 136 292 0 101719 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 408056 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1353512/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=472312 CPUtime=522.15 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 117957 0 0 0 52103 112 0 0 25 0 1 0 188236819 483647488 117624 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 118078 117624 136 292 0 117783 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 472312 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1301736/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=523332 CPUtime=582.13 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 130693 0 0 0 58092 121 0 0 25 0 1 0 188236819 535891968 130360 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 130833 130360 136 292 0 130538 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 523332 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32419 /proc/meminfo: memFree=1240168/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=584276 CPUtime=642.12 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 145935 0 0 0 64079 133 0 0 25 0 1 0 188236819 598298624 145602 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 146069 145602 136 292 0 145774 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 584276 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=917800/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=906596 CPUtime=942.04 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 226489 0 0 0 94003 201 0 0 25 0 1 0 188236819 928354304 226156 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 226649 226156 136 292 0 226354 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 906596 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=854120/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=969808 CPUtime=1002.02 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 242297 0 0 0 99988 214 0 0 25 0 1 0 188236819 993083392 241964 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 242452 241964 136 292 0 242157 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 969808 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=796072/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1028068 CPUtime=1062.01 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 256839 0 0 0 105976 225 0 0 25 0 1 0 188236819 1052741632 256506 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 257017 256507 136 292 0 256722 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1028068 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=751336/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1072520 CPUtime=1122 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 267945 0 0 0 111964 236 0 0 25 0 1 0 188236819 1098260480 267612 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 268130 267612 136 292 0 267835 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1072520 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=693352/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1130916 CPUtime=1181.98 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 282544 0 0 0 117949 249 0 0 25 0 1 0 188236819 1158057984 282211 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 282729 282211 136 292 0 282434 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1130916 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32421 /proc/meminfo: memFree=627240/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1196444 CPUtime=1241.96 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 298903 0 0 0 123933 263 0 0 25 0 1 0 188236819 1225158656 298570 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 299111 298570 136 292 0 298816 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1196444 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=557736/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1265200 CPUtime=1301.95 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 316088 0 0 0 129918 277 0 0 25 0 1 0 188236819 1295564800 315755 1992294400 134512640 135709839 4294956240 18446744073709551615 134579591 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 316300 315755 136 292 0 316005 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1265200 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=484584/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1338756 CPUtime=1361.93 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 334483 0 0 0 135903 290 0 0 25 0 1 0 188236819 1370886144 334150 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 334689 334150 136 292 0 334394 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1338756 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=426536/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1396224 CPUtime=1421.91 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 348856 0 0 0 141891 300 0 0 25 0 1 0 188236819 1429733376 348523 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 349056 348523 136 292 0 348761 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1396224 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=372712/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1450560 CPUtime=1481.9 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 362425 0 0 0 147876 314 0 0 25 0 1 0 188236819 1485373440 362092 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 362640 362092 136 292 0 362345 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1450560 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=307304/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1515432 CPUtime=1541.88 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 378641 0 0 0 153863 325 0 0 25 0 1 0 188236819 1551802368 378308 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 378858 378308 136 292 0 378563 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1515432 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=249640/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1573652 CPUtime=1601.86 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 393191 0 0 0 159846 340 0 0 25 0 1 0 188236819 1611419648 392858 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 393413 392858 136 292 0 393118 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1573652 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=182248/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1640356 CPUtime=1661.85 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 409878 0 0 0 165834 351 0 0 25 0 1 0 188236819 1679724544 409545 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 410089 409545 136 292 0 409794 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1640356 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=122344/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1700604 CPUtime=1721.84 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 424945 0 0 0 171822 362 0 0 25 0 1 0 188236819 1741418496 424612 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 425151 424612 136 292 0 424856 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1700604 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=52072/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1770224 CPUtime=1781.82 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 442341 0 0 0 177807 375 0 0 25 0 1 0 188236819 1812709376 442008 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 442556 442008 136 292 0 442261 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1770224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.99 2/66 32427 /proc/meminfo: memFree=25832/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=1796004 CPUtime=1800.02 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4194304 448784 0 0 0 179621 381 0 0 25 0 1 0 188236819 1839108096 448451 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 449001 448451 136 292 0 448706 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1796004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.99 2/67 32428 /proc/meminfo: memFree=684640/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=0 CPUtime=1800.12 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4195332 448784 0 0 0 179621 391 0 0 25 0 1 0 188236819 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/67 32428 /proc/meminfo: memFree=684640/2055920 swapFree=4179968/4192956 [pid=32418] ppid=32416 vsize=0 CPUtime=1800.22 /proc/32418/stat : 32418 (wbo) R 32416 32418 32327 0 -1 4195332 448784 0 0 0 179621 401 0 0 25 0 1 0 188236819 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/32418/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.77 CPU time (s): 1800.29 CPU user time (s): 1796.21 CPU system time (s): 4.07538 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1796004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.21 system time used= 4.07538 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 448784 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= 3673 runsolver used 2.08968 second user time and 4.05238 second system time The end
Begin job on node82 at 2009-06-17 04:39:48 IDJOB=1875394 IDBENCH=48234 IDSOLVER=698 FILE ID=node82/1875394-1245206388 PBS_JOBID= 9368367 Free space on /tmp= 66404 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.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-1875394-1245206388/watcher-1875394-1245206388 -o /tmp/evaluation-result-1875394-1245206388/solver-1875394-1245206388 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875394-1245206388.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED=1152082001 node82.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.232 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.232 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1824328 kB Buffers: 42296 kB Cached: 116616 kB SwapCached: 6532 kB Active: 33900 kB Inactive: 138504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824328 kB SwapTotal: 4192956 kB SwapFree: 4179968 kB Dirty: 2568 kB Writeback: 0 kB Mapped: 19132 kB Slab: 45112 kB Committed_AS: 95360 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875394-1245206388.opb Free space on /tmp at the end= 66400 MiB End job on node82 at 2009-06-17 05:09:51