Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_016_area_delay.opb |
MD5SUM | 580618cb84d1b6d12452a14c6ff54025 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 49.8224 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 10236 |
Total number of constraints | 31056 |
Number of constraints which are clauses | 31056 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 5070 |
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 | 5070 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5070 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1875463-1245181974.opb. 0.00/0.00 c Instance file HOME/instance-1875463-1245181974.opb 0.00/0.00 c File size is 911110 bytes. 0.10/0.13 c Highest Coefficient sum: 128 0.10/0.13 c ============================[ Problem Statistics ]============================= 0.10/0.13 c | | 0.10/0.13 c | Parsing time: 0.14 s | 0.10/0.13 c | Number Variables: 10236 | 0.10/0.13 c | Number Clauses: 36126 | 0.10/0.13 c | Number Cardinality: 0 | 0.10/0.13 c | Number PB Constraints: 0 | 0.10/0.13 c core #1 0.10/0.13 c Core size: 2 Core Weight: 1 Total Weight: 1 0.10/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.10/0.16 c core #2 0.10/0.16 c Core size: 2 Core Weight: 1 Total Weight: 2 0.10/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.10/0.18 c core #3 0.10/0.18 c Core size: 125 Core Weight: 1 Total Weight: 3 0.10/0.18 c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s 0.19/0.21 c core #4 0.19/0.21 c Core size: 31 Core Weight: 1 Total Weight: 4 0.19/0.21 c Elapsed CPU time: 0.212967 s Remaining CPU time: 1799.79 s 0.19/0.24 c core #5 0.19/0.24 c Core size: 253 Core Weight: 1 Total Weight: 5 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #6 0.19/0.26 c Core size: 31 Core Weight: 1 Total Weight: 6 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.29 c core #7 0.19/0.29 c Core size: 255 Core Weight: 1 Total Weight: 7 0.19/0.29 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.29/0.32 c core #8 0.29/0.32 c Core size: 29 Core Weight: 1 Total Weight: 8 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #9 0.29/0.34 c Core size: 63 Core Weight: 1 Total Weight: 9 0.29/0.34 c Elapsed CPU time: 0.345947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #10 0.29/0.37 c Core size: 31 Core Weight: 1 Total Weight: 10 0.29/0.37 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.39/0.40 c core #11 0.39/0.40 c Core size: 127 Core Weight: 1 Total Weight: 11 0.39/0.40 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.43 c core #12 0.39/0.43 c Core size: 31 Core Weight: 1 Total Weight: 12 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.46 c core #13 0.39/0.46 c Core size: 7 Core Weight: 1 Total Weight: 13 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.39/0.49 c core #14 0.39/0.49 c Core size: 15 Core Weight: 1 Total Weight: 14 0.39/0.49 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #15 0.49/0.51 c Core size: 13 Core Weight: 1 Total Weight: 15 0.49/0.51 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 0.49/0.54 c core #16 0.49/0.54 c Core size: 15 Core Weight: 1 Total Weight: 16 0.49/0.54 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.57 c core #17 0.49/0.57 c Core size: 12 Core Weight: 1 Total Weight: 17 0.49/0.57 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 0.69/0.73 c core #18 0.69/0.73 c Core size: 4586 Core Weight: 1 Total Weight: 18 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #19 0.69/0.76 c Core size: 5 Core Weight: 1 Total Weight: 19 0.69/0.76 c Elapsed CPU time: 0.761884 s Remaining CPU time: 1799.24 s 0.69/0.79 c core #20 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 20 0.69/0.79 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 5926 36146 57668 | 12048 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #21 0.79/0.86 c Core size: 2006 Core Weight: 1 Total Weight: 21 0.79/0.86 c Elapsed CPU time: 0.855869 s Remaining CPU time: 1799.14 s 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 9343 36147 69327 | 12049 0 nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #22 0.89/0.94 c Core size: 1254 Core Weight: 1 Total Weight: 22 0.89/0.94 c Elapsed CPU time: 0.939857 s Remaining CPU time: 1799.06 s 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 10272 36148 72392 | 12049 0 nan | 0.000 % | 1.09/1.15 c | 104 | 10272 36148 72392 | 13254 104 111 | 28.007 % | 1.29/1.32 c | 255 | 10272 36148 72392 | 14579 255 105 | 28.007 % | 1.49/1.55 c | 480 | 10272 36148 72392 | 16037 480 99 | 28.007 % | 1.79/1.83 c | 817 | 10272 36148 72392 | 17641 817 114 | 28.007 % | 2.19/2.21 c =============================================================================== 2.19/2.23 c core #23 2.19/2.23 c Core size: 2441 Core Weight: 1 Total Weight: 23 2.19/2.23 c Elapsed CPU time: 2.21966 s Remaining CPU time: 1797.78 s 2.19/2.27 c Learning 51 hard constraints 2.19/2.27 c ============================[ Search Statistics ]============================== 2.19/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.27 c =============================================================================== 2.19/2.27 c | 0 | 11089 36200 74943 | 12066 0 nan | 0.000 % | 2.29/2.31 c | 101 | 11089 36200 74943 | 13273 101 122 | 25.457 % | 2.39/2.41 c | 251 | 11089 36200 74943 | 14600 251 120 | 25.457 % | 2.59/2.61 c | 478 | 11089 36200 74943 | 16060 478 122 | 25.457 % | 2.89/2.91 c | 815 | 11089 36200 74943 | 17666 815 159 | 25.457 % | 3.19/3.30 c | 1324 | 11089 36200 74943 | 19433 1324 169 | 25.457 % | 3.99/4.05 c | 2085 | 11089 36200 74943 | 21376 2085 151 | 25.457 % | 5.19/5.21 c | 3225 | 11089 36200 74943 | 23514 3225 137 | 25.457 % | 6.79/6.83 c | 4933 | 11089 36200 74943 | 25865 4933 144 | 25.457 % | 9.69/9.79 c | 7496 | 11089 36200 74943 | 28452 7496 136 | 25.457 % | 14.68/14.77 c | 11343 | 11089 36200 74943 | 31297 11343 149 | 25.457 % | 23.28/23.36 c | 17109 | 11089 36200 74943 | 34427 17109 181 | 25.457 % | 32.58/32.64 c =============================================================================== 32.98/33.08 c core #24 32.98/33.08 c Core size: 3458 Core Weight: 1 Total Weight: 24 32.98/33.08 c Elapsed CPU time: 32.903 s Remaining CPU time: 1767.1 s 33.08/33.14 c Learning 254 hard constraints 33.08/33.14 c ============================[ Search Statistics ]============================== 33.08/33.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.08/33.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.08/33.14 c =============================================================================== 33.08/33.14 c | 0 | 11994 36455 82322 | 12151 0 nan | 0.000 % | 33.18/33.23 c | 100 | 11994 36455 82322 | 13366 100 184 | 23.229 % | 33.28/33.32 c | 252 | 11994 36455 82322 | 14703 252 154 | 23.229 % | 33.38/33.49 c | 477 | 11994 36455 82322 | 16173 477 148 | 23.229 % | 33.67/33.71 c | 814 | 11994 36455 82322 | 17791 814 163 | 23.229 % | 34.37/34.40 c | 1323 | 11994 36455 82322 | 19570 1323 161 | 23.229 % | 35.07/35.18 c | 2084 | 11994 36455 82322 | 21527 2084 195 | 23.229 % | 36.28/36.36 c | 3224 | 11994 36455 82322 | 23680 3224 219 | 23.229 % | 38.78/38.81 c | 4932 | 11994 36455 82322 | 26048 4932 213 | 23.229 % | 41.48/41.57 c | 7494 | 11994 36455 82322 | 28652 7494 213 | 23.229 % | 47.48/47.58 c | 11338 | 11994 36455 82322 | 31518 11338 223 | 23.229 % | 55.98/56.09 c | 17105 | 11994 36455 82322 | 34670 17105 227 | 23.229 % | 72.76/72.85 c | 25755 | 11994 36455 82322 | 38137 25755 266 | 23.229 % | 103.56/103.66 c | 38732 | 11994 36455 82322 | 41950 38732 295 | 23.229 % | 152.85/152.93 c | 58193 | 11994 36455 82322 | 46145 27140 352 | 23.229 % | 218.13/218.24 c | 87386 | 11994 36455 82322 | 50760 20356 252 | 23.229 % | 318.30/318.47 c | 131178 | 11994 36455 82322 | 55836 22734 315 | 23.229 % | 492.65/492.88 c | 196866 | 11994 36455 82322 | 61420 44051 287 | 23.229 % | 829.56/829.84 c | 295395 | 11994 36455 82322 | 67562 39818 417 | 23.229 % | 1395.80/1396.22 c | 443186 | 11994 36455 82322 | 74318 29616 261 | 23.229 % |
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-1875463-1245181974/watcher-1875463-1245181974 -o /tmp/evaluation-result-1875463-1245181974/solver-1875463-1245181974 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875463-1245181974.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: 1.00 1.00 1.00 3/64 6004 /proc/meminfo: memFree=1890352/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=3744 CPUtime=0 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 185794421 3833856 252 1992294400 134512640 135709839 4294956240 18446744073709551615 135058274 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 936 253 122 292 0 418 0 [startup+0.102708 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6004 /proc/meminfo: memFree=1890352/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=6056 CPUtime=0.1 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 980 0 0 0 10 0 0 0 18 0 1 0 185794421 6201344 964 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 1514 964 285 292 0 996 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6056 [startup+0.201718 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6004 /proc/meminfo: memFree=1890352/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=7800 CPUtime=0.19 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 2038 0 0 0 19 0 0 0 18 0 1 0 185794421 7987200 1455 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 1950 1455 133 292 0 1655 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7800 [startup+0.301728 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6004 /proc/meminfo: memFree=1890352/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=8976 CPUtime=0.29 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 2321 0 0 0 29 0 0 0 19 0 1 0 185794421 9191424 1738 1992294400 134512640 135709839 4294956240 18446744073709551615 135183285 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 2244 1738 133 292 0 1949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8976 [startup+0.701768 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6004 /proc/meminfo: memFree=1890352/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=8976 CPUtime=0.69 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 2417 0 0 0 69 0 0 0 22 0 1 0 185794421 9191424 1740 1992294400 134512640 135709839 4294956240 18446744073709551615 134599691 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 2244 1740 133 292 0 1949 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8976 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1882600/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=10132 CPUtime=1.49 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 2857 0 0 0 149 0 0 0 25 0 1 0 185794421 10375168 2016 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 2533 2016 136 292 0 2238 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10132 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1882472/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=11796 CPUtime=3.09 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 3355 0 0 0 307 2 0 0 25 0 1 0 185794421 12079104 2430 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 2949 2430 136 292 0 2654 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11796 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1880808/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=12192 CPUtime=6.29 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 3483 0 0 0 626 3 0 0 25 0 1 0 185794421 12484608 2558 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 3048 2558 136 292 0 2753 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12192 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1875568/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=17504 CPUtime=12.69 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 4790 0 0 0 1262 7 0 0 25 0 1 0 185794421 17924096 3865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 4376 3865 136 292 0 4081 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17504 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1863152/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=29712 CPUtime=25.49 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 7828 0 0 0 2536 13 0 0 25 0 1 0 185794421 30425088 6903 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 7428 6903 136 292 0 7133 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 29712 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1851184/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=41824 CPUtime=51.07 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 10889 0 0 0 5085 22 0 0 25 0 1 0 185794421 42827776 9964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 10456 9964 136 292 0 10161 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41824 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1810224/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=82216 CPUtime=102.26 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 20996 0 0 0 10185 41 0 0 25 0 1 0 185794421 84189184 20071 1992294400 134512640 135709839 4294956240 18446744073709551615 134572782 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 20554 20071 136 292 0 20259 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82216 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1765680/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=127104 CPUtime=162.24 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 32181 0 0 0 16164 60 0 0 25 0 1 0 185794421 130154496 31256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 31776 31256 136 292 0 31481 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 127104 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1726448/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=166020 CPUtime=222.23 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 41901 0 0 0 22143 80 0 0 25 0 1 0 185794421 170004480 40976 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 41505 40976 136 292 0 41210 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 166020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1677936/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=214752 CPUtime=282.21 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 54075 0 0 0 28117 104 0 0 25 0 1 0 185794421 219906048 53150 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 53688 53150 136 292 0 53393 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 214752 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1635376/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=256916 CPUtime=342.19 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 64612 0 0 0 34098 121 0 0 25 0 1 0 185794421 263081984 63687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 64229 63687 136 292 0 63934 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 256916 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1599664/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=292716 CPUtime=402.18 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 73576 0 0 0 40077 141 0 0 25 0 1 0 185794421 299741184 72651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 73179 72651 136 292 0 72884 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 292716 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6005 /proc/meminfo: memFree=1557936/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=334332 CPUtime=462.16 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 83968 0 0 0 46058 158 0 0 25 0 1 0 185794421 342355968 83043 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 83583 83043 136 292 0 83288 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 334332 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1522096/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=370404 CPUtime=522.14 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 92979 0 0 0 52039 175 0 0 25 0 1 0 185794421 379293696 92054 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 92601 92054 136 292 0 92306 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 370404 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1474928/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=417328 CPUtime=582.12 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 104678 0 0 0 58018 194 0 0 25 0 1 0 185794421 427343872 103753 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 104332 103753 136 292 0 104037 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 417328 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1438512/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=453804 CPUtime=642.11 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 113785 0 0 0 64001 210 0 0 25 0 1 0 185794421 464695296 112860 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 113451 112860 136 292 0 113156 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 453804 [startup+702.301 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1295600/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=596152 CPUtime=882.04 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 149351 0 0 0 87941 263 0 0 25 0 1 0 185794421 610459648 148426 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 149038 148426 136 292 0 148743 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 596152 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1269104/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=622756 CPUtime=942.02 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 156006 0 0 0 93926 276 0 0 25 0 1 0 185794421 637702144 155081 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 155689 155081 136 292 0 155394 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 622756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1233840/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=657880 CPUtime=1002.01 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 164776 0 0 0 99908 293 0 0 25 0 1 0 185794421 673669120 163851 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 164470 163851 136 292 0 164175 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 657880 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1199024/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=692808 CPUtime=1061.99 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 173506 0 0 0 105891 308 0 0 25 0 1 0 185794421 709435392 172581 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 173202 172581 136 292 0 172907 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 692808 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1171376/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=720212 CPUtime=1121.97 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 180336 0 0 0 111877 320 0 0 25 0 1 0 185794421 737497088 179411 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 180053 179411 136 292 0 179758 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 720212 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1147312/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=744440 CPUtime=1181.96 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 186383 0 0 0 117865 331 0 0 25 0 1 0 185794421 762306560 185458 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 186110 185458 136 292 0 185815 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 744440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1110576/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=780872 CPUtime=1241.94 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 195508 0 0 0 123846 348 0 0 25 0 1 0 185794421 799612928 194583 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 195218 194583 136 292 0 194923 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 780872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1073200/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=818500 CPUtime=1301.93 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 204912 0 0 0 129830 363 0 0 25 0 1 0 185794421 838144000 203987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 204625 203987 136 292 0 204330 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 818500 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1046768/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=844688 CPUtime=1361.9 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 211434 0 0 0 135817 373 0 0 25 0 1 0 185794421 864960512 210509 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 211172 210509 136 292 0 210877 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 844688 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=1009712/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=881412 CPUtime=1421.89 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 220619 0 0 0 141799 390 0 0 25 0 1 0 185794421 902565888 219694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 220353 219694 136 292 0 220058 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 881412 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=974832/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=916488 CPUtime=1481.87 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 229362 0 0 0 147779 408 0 0 25 0 1 0 185794421 938483712 228437 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 229122 228437 136 292 0 228827 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 916488 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=940400/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=950696 CPUtime=1541.86 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 237932 0 0 0 153764 422 0 0 25 0 1 0 185794421 973512704 237007 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 237674 237007 136 292 0 237379 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 950696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=897136/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=994276 CPUtime=1601.84 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 248806 0 0 0 159741 443 0 0 25 0 1 0 185794421 1018138624 247881 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 248569 247881 136 292 0 248274 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 994276 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=861296/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=1029816 CPUtime=1661.83 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 257683 0 0 0 165724 459 0 0 25 0 1 0 185794421 1054531584 256758 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 257454 256758 136 292 0 257159 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1029816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=824240/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=1067072 CPUtime=1721.81 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 266992 0 0 0 171706 475 0 0 25 0 1 0 185794421 1092681728 266067 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 266768 266067 136 292 0 266473 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1067072 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=773936/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=1117048 CPUtime=1781.79 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 279477 0 0 0 177684 495 0 0 25 0 1 0 185794421 1143857152 278552 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 279262 278552 136 292 0 278967 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1117048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6011 /proc/meminfo: memFree=760496/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=1130260 CPUtime=1800.09 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4194304 282784 0 0 0 179509 500 0 0 25 0 1 0 185794421 1157386240 281859 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 282565 281859 136 292 0 282270 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1130260 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: 1.00 1.00 1.00 2/66 6012 /proc/meminfo: memFree=1407016/2055920 swapFree=4192812/4192956 [pid=6004] ppid=6002 vsize=0 CPUtime=1800.19 /proc/6004/stat : 6004 (wbo) R 6002 6004 5825 0 -1 4195332 282784 0 0 0 179509 510 0 0 25 0 1 0 185794421 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6004/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.27 CPU user time (s): 1795.09 CPU system time (s): 5.17821 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1130260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.09 system time used= 5.17821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282784 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= 3107 runsolver used 1.18182 second user time and 3.85341 second system time The end
Begin job on node45 at 2009-06-16 21:52:54 IDJOB=1875463 IDBENCH=24985 IDSOLVER=698 FILE ID=node45/1875463-1245181974 PBS_JOBID= 9363928 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_016_area_delay.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-1875463-1245181974/watcher-1875463-1245181974 -o /tmp/evaluation-result-1875463-1245181974/solver-1875463-1245181974 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875463-1245181974.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025 RANDOM SEED=281322667 node45.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.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1890776 kB Buffers: 39268 kB Cached: 63000 kB SwapCached: 140 kB Active: 58604 kB Inactive: 57768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1890776 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3276 kB Writeback: 0 kB Mapped: 23756 kB Slab: 34764 kB Committed_AS: 159580 kB PageTables: 1380 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-1875463-1245181974.opb Free space on /tmp at the end= 66168 MiB End job on node45 at 2009-06-16 22:22:57