Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.25 | 1800.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 102.96 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
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-1875316-1245197420.opb. 0.00/0.00 c Instance file HOME/instance-1875316-1245197420.opb 0.00/0.00 c File size is 219680 bytes. 0.02/0.03 c Highest Coefficient sum: 47 0.02/0.03 c ============================[ Problem Statistics ]============================= 0.02/0.03 c | | 0.02/0.03 c | Parsing time: 0.03 s | 0.02/0.03 c | Number Variables: 3174 | 0.02/0.03 c | Number Clauses: 3274 | 0.02/0.03 c | Number Cardinality: 0 | 0.02/0.03 c | Number PB Constraints: 3074 | 0.02/0.03 c core #1 0.02/0.03 c Core size: 52 Core Weight: 1 Total Weight: 1 0.02/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 869 6349 14925 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #2 0.02/0.04 c Core size: 247 Core Weight: 1 Total Weight: 2 0.02/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3056 6350 21268 | 5000 0 nan | 0.000 % | 0.02/0.07 c | 101 | 3056 6350 21268 | 5500 101 166 | 7.000 % | 0.09/0.14 c | 254 | 3056 6350 21268 | 6050 254 205 | 6.999 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #3 0.19/0.25 c Core size: 1172 Core Weight: 1 Total Weight: 3 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 3386 6351 22142 | 5000 0 nan | 0.000 % | 0.19/0.30 c | 103 | 3386 6351 22142 | 5500 103 168 | 0.000 % | 0.29/0.34 c | 257 | 3386 6351 22142 | 6050 257 142 | 0.000 % | 0.39/0.40 c | 482 | 3386 6351 22142 | 6655 482 156 | 0.000 % | 0.49/0.52 c | 821 | 3386 6351 22142 | 7320 821 150 | 0.000 % | 0.69/0.72 c | 1333 | 3386 6351 22142 | 8052 1333 164 | 0.000 % | 1.00/1.04 c | 2093 | 3386 6351 22142 | 8857 2093 190 | 0.000 % | 1.49/1.55 c | 3232 | 3386 6351 22142 | 9743 3232 180 | 0.000 % | 2.29/2.34 c | 4941 | 3386 6351 22142 | 10717 4941 186 | 0.000 % | 3.89/3.93 c | 7505 | 3386 6351 22142 | 11789 7505 181 | 0.000 % | 6.99/7.03 c | 11349 | 3386 6351 22142 | 12968 11349 192 | 0.000 % | 12.29/12.32 c | 17115 | 3386 6351 22142 | 14265 10383 226 | 0.000 % | 21.89/21.99 c | 25766 | 3386 6351 22142 | 15692 11646 234 | 0.000 % | 36.67/36.74 c =============================================================================== 37.48/37.60 c core #4 37.48/37.60 c Core size: 4400 Core Weight: 1 Total Weight: 4 37.48/37.60 c Elapsed CPU time: 37.3863 s Remaining CPU time: 1762.61 s 37.58/37.65 c ============================[ Search Statistics ]============================== 37.58/37.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.58/37.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.58/37.65 c =============================================================================== 37.58/37.65 c | 0 | 3486 6352 22342 | 5000 0 nan | 0.000 % | 37.58/37.70 c | 103 | 3486 6352 22342 | 5500 103 239 | 0.000 % | 37.68/37.72 c | 254 | 3486 6352 22342 | 6050 254 138 | 0.000 % | 37.68/37.79 c | 479 | 3486 6352 22342 | 6655 479 139 | 0.000 % | 37.88/37.91 c | 816 | 3486 6352 22342 | 7320 816 132 | 0.000 % | 37.98/38.10 c | 1325 | 3486 6352 22342 | 8052 1325 150 | 0.000 % | 38.38/38.44 c | 2084 | 3486 6352 22342 | 8857 2084 225 | 0.000 % | 38.98/39.01 c | 3224 | 3486 6352 22342 | 9743 3224 231 | 0.000 % | 40.18/40.26 c | 4933 | 3486 6352 22342 | 10717 4933 355 | 0.000 % | 42.48/42.51 c | 7498 | 3486 6352 22342 | 11789 7498 421 | 0.000 % | 46.78/46.84 c | 11343 | 3486 6352 22342 | 12968 11343 505 | 0.000 % | 53.47/53.55 c | 17109 | 3486 6352 22342 | 14265 10139 510 | 0.000 % | 63.87/63.99 c | 25765 | 3486 6352 22342 | 15692 11194 358 | 0.000 % | 82.16/82.26 c | 38739 | 3486 6352 22342 | 17261 8182 284 | 0.000 % | 107.75/107.82 c | 58204 | 3486 6352 22342 | 18987 9892 273 | 0.000 % | 142.64/142.79 c | 87397 | 3486 6352 22342 | 20886 18944 231 | 0.000 % | 210.52/210.63 c | 131187 | 3486 6352 22342 | 22974 18892 267 | 0.000 % | 318.79/318.96 c | 196871 | 3486 6352 22342 | 25272 12838 235 | 0.000 % | 480.83/481.02 c | 295402 | 3486 6352 22342 | 27799 17183 281 | 0.000 % | 769.94/770.23 c | 443193 | 3486 6352 22342 | 30579 28134 265 | 0.000 % | 1274.17/1274.64 c | 664879 | 3486 6352 22342 | 33637 25830 289 | 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-1875316-1245197420/watcher-1875316-1245197420 -o /tmp/evaluation-result-1875316-1245197420/solver-1875316-1245197420 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875316-1245197420.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 7131 /proc/meminfo: memFree=1812576/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=3076 CPUtime=0 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 187342949 3149824 247 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 769 248 125 292 0 420 0 [startup+0.0238261 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7131 /proc/meminfo: memFree=1812576/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=3280 CPUtime=0.02 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 381 0 0 0 2 0 0 0 18 0 1 0 187342949 3358720 365 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 820 365 162 292 0 471 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3280 [startup+0.101839 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7131 /proc/meminfo: memFree=1812576/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=4672 CPUtime=0.09 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 780 0 0 0 9 0 0 0 18 0 1 0 187342949 4784128 710 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 1168 710 136 292 0 873 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4672 [startup+0.301874 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7131 /proc/meminfo: memFree=1812576/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=5448 CPUtime=0.29 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 1001 0 0 0 29 0 0 0 19 0 1 0 187342949 5578752 931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 1362 931 136 292 0 1067 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5448 [startup+0.701943 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7131 /proc/meminfo: memFree=1812576/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=5712 CPUtime=0.69 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 1057 0 0 0 68 1 0 0 22 0 1 0 187342949 5849088 987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 1428 987 136 292 0 1133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5712 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1808216/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=7692 CPUtime=1.49 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 1551 0 0 0 148 1 0 0 25 0 1 0 187342949 7876608 1481 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 1923 1481 136 292 0 1628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7692 [startup+3.10136 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1805592/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=11008 CPUtime=3.09 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 2396 0 0 0 306 3 0 0 25 0 1 0 187342949 11272192 2326 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 2752 2326 136 292 0 2457 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11008 [startup+6.30193 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1799832/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=16420 CPUtime=6.29 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 3749 0 0 0 624 5 0 0 25 0 1 0 187342949 16814080 3679 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 4105 3679 136 292 0 3810 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16420 [startup+12.7021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1788504/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=27112 CPUtime=12.69 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 6414 0 0 0 1259 10 0 0 25 0 1 0 187342949 27762688 6344 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 6778 6344 136 292 0 6483 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27112 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1771864/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=42980 CPUtime=25.48 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 10376 0 0 0 2533 15 0 0 25 0 1 0 187342949 44011520 10306 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 10745 10306 136 292 0 10450 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42980 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1739096/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=75500 CPUtime=51.08 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 18504 0 0 0 5082 26 0 0 25 0 1 0 187342949 77312000 18434 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 18875 18434 136 292 0 18580 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 75500 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1674904/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=139668 CPUtime=102.26 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 34552 0 0 0 10179 47 0 0 25 0 1 0 187342949 143020032 34482 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 34917 34482 136 292 0 34622 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 139668 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1601432/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=213752 CPUtime=162.24 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 53051 0 0 0 16153 71 0 0 25 0 1 0 187342949 218882048 52981 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 53438 52981 136 292 0 53143 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 213752 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1531736/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=282648 CPUtime=222.22 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 70245 0 0 0 22126 96 0 0 25 0 1 0 187342949 289431552 70175 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 70662 70175 136 292 0 70367 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 282648 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1467352/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=347868 CPUtime=282.2 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 86526 0 0 0 28104 116 0 0 25 0 1 0 187342949 356216832 86456 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 86967 86456 136 292 0 86672 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 347868 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1403672/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=410660 CPUtime=342.17 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 102225 0 0 0 34079 138 0 0 25 0 1 0 187342949 420515840 102155 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 102665 102155 136 292 0 102370 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 410660 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1341400/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=473588 CPUtime=402.16 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 117927 0 0 0 40058 158 0 0 25 0 1 0 187342949 484954112 117857 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 118397 117857 136 292 0 118102 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 473588 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1266136/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=548240 CPUtime=462.14 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 136568 0 0 0 46030 184 0 0 25 0 1 0 187342949 561397760 136498 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 137060 136498 136 292 0 136765 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 548240 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1201176/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=614028 CPUtime=522.12 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 153024 0 0 0 52009 203 0 0 25 0 1 0 187342949 628764672 152954 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 153507 152954 136 292 0 153212 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 614028 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1134616/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=679708 CPUtime=582.1 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 169420 0 0 0 57986 224 0 0 25 0 1 0 187342949 696020992 169350 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 169927 169350 136 292 0 169632 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 679708 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=1074520/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=739180 CPUtime=642.08 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 184281 0 0 0 63964 244 0 0 25 0 1 0 187342949 756920320 184211 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 184795 184211 136 292 0 184500 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 739180 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=879320/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=934376 CPUtime=882 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 233018 0 0 0 87879 321 0 0 25 0 1 0 187342949 956801024 232948 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 233594 232948 136 292 0 233299 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 934376 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=829208/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=985000 CPUtime=941.98 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 245665 0 0 0 93857 341 0 0 25 0 1 0 187342949 1008640000 245595 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 246250 245595 136 292 0 245955 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 985000 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=758296/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1055388 CPUtime=1001.96 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 263271 0 0 0 99831 365 0 0 25 0 1 0 187342949 1080717312 263201 1992294400 134512640 135709839 4294956240 18446744073709551615 134573839 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 263847 263201 136 292 0 263552 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1055388 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=697816/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1115872 CPUtime=1061.94 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 278381 0 0 0 105809 385 0 0 25 0 1 0 187342949 1142652928 278311 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 278968 278311 136 292 0 278673 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1115872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=656856/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1156552 CPUtime=1121.92 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 288528 0 0 0 111793 399 0 0 25 0 1 0 187342949 1184309248 288458 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 289138 288458 136 292 0 288843 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1156552 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=616728/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1196928 CPUtime=1181.9 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 298617 0 0 0 117774 416 0 0 25 0 1 0 187342949 1225654272 298547 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 299232 298547 136 292 0 298937 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1196928 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=582552/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1231008 CPUtime=1241.89 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 307101 0 0 0 123760 429 0 0 25 0 1 0 187342949 1260552192 307031 1992294400 134512640 135709839 4294956240 18446744073709551615 134572772 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 307752 307031 136 292 0 307457 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1231008 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=558744/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1254540 CPUtime=1301.87 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 312934 0 0 0 129747 440 0 0 25 0 1 0 187342949 1284648960 312864 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 313635 312864 136 292 0 313340 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1254540 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=533080/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1280664 CPUtime=1361.85 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 319390 0 0 0 135733 452 0 0 25 0 1 0 187342949 1311399936 319320 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 320166 319320 136 292 0 319871 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1280664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=506648/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1307012 CPUtime=1421.83 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 325952 0 0 0 141721 462 0 0 25 0 1 0 187342949 1338380288 325882 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 326753 325882 136 292 0 326458 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1307012 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=475032/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1339036 CPUtime=1481.8 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 333921 0 0 0 147707 473 0 0 25 0 1 0 187342949 1371172864 333851 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 334759 333851 136 292 0 334464 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1339036 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=436760/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1377000 CPUtime=1541.78 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 343387 0 0 0 153690 488 0 0 25 0 1 0 187342949 1410048000 343317 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 344250 343317 136 292 0 343955 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1377000 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=405592/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1408708 CPUtime=1601.77 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 351303 0 0 0 159675 502 0 0 25 0 1 0 187342949 1442516992 351233 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 352177 351233 136 292 0 351882 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1408708 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=364248/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1449268 CPUtime=1661.75 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 361474 0 0 0 165656 519 0 0 25 0 1 0 187342949 1484050432 361404 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 362317 361404 136 292 0 362022 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1449268 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=329048/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1485268 CPUtime=1721.72 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 370424 0 0 0 171639 533 0 0 25 0 1 0 187342949 1520914432 370354 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 371317 370354 136 292 0 371022 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1485268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=295000/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1518808 CPUtime=1781.7 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 378804 0 0 0 177622 548 0 0 25 0 1 0 187342949 1555259392 378734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 379702 378734 136 292 0 379407 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1518808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=284312/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=1529104 CPUtime=1800.01 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4194304 381370 0 0 0 179449 552 0 0 25 0 1 0 187342949 1565802496 381300 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 382276 381300 136 292 0 381981 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1529104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7132 /proc/meminfo: memFree=284312/2055920 swapFree=4191900/4192956 [pid=7131] ppid=7129 vsize=0 CPUtime=1800.21 /proc/7131/stat : 7131 (wbo) R 7129 7131 6764 0 -1 4195332 381370 0 0 0 179449 572 0 0 25 0 1 0 187342949 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7131/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.85 CPU time (s): 1800.25 CPU user time (s): 1794.49 CPU system time (s): 5.76212 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 1529104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.49 system time used= 5.76212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 381370 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= 2635 runsolver used 1.57876 second user time and 3.43348 second system time The end
Begin job on node4 at 2009-06-17 02:10:20 IDJOB=1875316 IDBENCH=48156 IDSOLVER=698 FILE ID=node4/1875316-1245197420 PBS_JOBID= 9368309 Free space on /tmp= 66408 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.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-1875316-1245197420/watcher-1875316-1245197420 -o /tmp/evaluation-result-1875316-1245197420/solver-1875316-1245197420 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875316-1245197420.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=460884375 node4.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.259 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.259 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: 1813248 kB Buffers: 49680 kB Cached: 124820 kB SwapCached: 260 kB Active: 58788 kB Inactive: 129012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813248 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 21804 kB Slab: 40816 kB Committed_AS: 150780 kB PageTables: 1472 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-1875316-1245197420.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-17 02:40:23