Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.3 | 1800.08 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb |
MD5SUM | e3f554c192a1ee7b261cc2808827870e |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1794.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6226 |
Sum of products size (including duplicates) | 12452 |
Number of different products | 6226 |
Sum of products size | 12452 |
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-1875308-1245196077.opb. 0.00/0.00 c Instance file HOME/instance-1875308-1245196077.opb 0.00/0.00 c File size is 460397 bytes. 0.00/0.06 c Highest Coefficient sum: 51 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.07 s | 0.00/0.06 c | Number Variables: 6426 | 0.00/0.06 c | Number Clauses: 6626 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 6226 | 0.00/0.06 c core #1 0.00/0.06 c Core size: 52 Core Weight: 1 Total Weight: 1 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #2 0.00/0.08 c Core size: 52 Core Weight: 1 Total Weight: 2 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1787 12854 30309 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #3 0.09/0.11 c Core size: 205 Core Weight: 1 Total Weight: 3 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 4034 12855 36830 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 107 | 4034 12855 36830 | 5500 107 178 | 38.544 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #4 0.19/0.25 c Core size: 1004 Core Weight: 1 Total Weight: 4 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 6668 12856 44380 | 5000 0 nan | 0.000 % | 0.29/0.33 c | 100 | 6668 12856 44380 | 5500 100 222 | 1.361 % | 0.39/0.41 c | 252 | 6668 12856 44380 | 6050 252 201 | 1.361 % | 0.59/0.60 c | 481 | 6668 12856 44380 | 6655 481 181 | 1.361 % | 0.89/0.96 c | 818 | 6668 12856 44380 | 7320 818 161 | 1.361 % | 1.29/1.39 c | 1329 | 6668 12856 44380 | 8052 1329 153 | 1.361 % | 2.09/2.19 c | 2089 | 6668 12856 44380 | 8857 2089 158 | 1.361 % | 3.29/3.30 c | 3228 | 6668 12856 44380 | 9743 3228 176 | 1.361 % | 5.19/5.26 c | 4941 | 6668 12856 44380 | 10717 4941 181 | 1.361 % | 8.99/9.02 c | 7505 | 6668 12856 44380 | 11789 7505 202 | 1.361 % | 14.99/15.03 c | 11349 | 6668 12856 44380 | 12968 11349 207 | 1.361 % | 24.59/24.61 c | 17115 | 6668 12856 44380 | 14265 10257 263 | 1.361 % | 38.39/38.46 c =============================================================================== 38.89/38.97 c core #5 38.89/38.97 c Core size: 5721 Core Weight: 1 Total Weight: 5 38.89/38.97 c Elapsed CPU time: 38.7871 s Remaining CPU time: 1761.21 s 39.00/39.03 c ============================[ Search Statistics ]============================== 39.00/39.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.00/39.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.00/39.03 c =============================================================================== 39.00/39.03 c | 0 | 6960 12857 45050 | 5000 0 nan | 0.000 % | 39.00/39.09 c | 101 | 6960 12857 45050 | 5500 101 202 | 0.000 % | 39.10/39.18 c | 251 | 6960 12857 45050 | 6050 251 175 | 0.000 % | 39.30/39.36 c | 480 | 6960 12857 45050 | 6655 480 144 | 0.000 % | 39.60/39.63 c | 819 | 6960 12857 45050 | 7320 819 157 | 0.000 % | 40.09/40.10 c | 1325 | 6960 12857 45050 | 8052 1325 148 | 0.000 % | 40.70/40.70 c | 2084 | 6960 12857 45050 | 8857 2084 151 | 0.000 % | 41.59/41.67 c | 3224 | 6960 12857 45050 | 9743 3224 170 | 0.000 % | 43.29/43.34 c | 4933 | 6960 12857 45050 | 10717 4933 187 | 0.000 % | 46.39/46.41 c | 7496 | 6960 12857 45050 | 11789 7496 199 | 0.000 % | 50.79/50.89 c | 11340 | 6960 12857 45050 | 12968 11340 210 | 0.000 % | 58.30/58.36 c | 17108 | 6960 12857 45050 | 14265 9559 224 | 0.000 % | 71.00/71.04 c | 25762 | 6960 12857 45050 | 15692 10075 305 | 0.000 % | 90.11/90.13 c | 38738 | 6960 12857 45050 | 17261 14122 277 | 0.000 % | 122.01/122.06 c | 58200 | 6960 12857 45050 | 18987 14953 393 | 0.000 % | 178.81/178.85 c | 87395 | 6960 12857 45050 | 20886 13416 285 | 0.000 % | 269.83/269.83 c | 131185 | 6960 12857 45050 | 22974 22590 453 | 0.000 % | 403.14/403.18 c | 196876 | 6960 12857 45050 | 25272 12849 286 | 0.000 % | 658.48/658.44 c | 295402 | 6960 12857 45050 | 27799 17095 492 | 0.000 % | 1094.04/1093.95 c | 443194 | 6960 12857 45050 | 30579 27763 521 | 0.000 % | 1753.42/1753.29 c | 664878 | 6960 12857 45050 | 33637 23032 558 | 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-1875308-1245196077/watcher-1875308-1245196077 -o /tmp/evaluation-result-1875308-1245196077/solver-1875308-1245196077 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875308-1245196077.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.92 0.98 0.99 3/64 32732 /proc/meminfo: memFree=1813424/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=3316 CPUtime=0 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 187208187 3395584 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 829 248 125 292 0 421 0 [startup+0.0108029 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32732 /proc/meminfo: memFree=1813424/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=3808 CPUtime=0 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 187208187 3899392 381 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 952 381 132 292 0 544 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3808 [startup+0.101778 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32732 /proc/meminfo: memFree=1813424/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=6336 CPUtime=0.09 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 1333 0 0 0 9 0 0 0 18 0 1 0 187208187 6488064 1108 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 1584 1109 134 292 0 1289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6336 [startup+0.301719 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32732 /proc/meminfo: memFree=1813424/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=8028 CPUtime=0.29 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 1818 0 0 0 29 0 0 0 19 0 1 0 187208187 8220672 1517 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 2007 1517 136 292 0 1712 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8028 [startup+0.701605 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32732 /proc/meminfo: memFree=1813424/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=8028 CPUtime=0.69 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 1818 0 0 0 69 0 0 0 22 0 1 0 187208187 8220672 1517 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 2007 1517 136 292 0 1712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8028 [startup+1.50137 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1807784/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=8160 CPUtime=1.49 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 1888 0 0 0 148 1 0 0 25 0 1 0 187208187 8355840 1587 1992294400 134512640 135709839 4294956240 18446744073709551615 134572379 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 2040 1587 136 292 0 1745 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8160 [startup+3.10192 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1806824/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=10012 CPUtime=3.09 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 2345 0 0 0 307 2 0 0 25 0 1 0 187208187 10252288 2044 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 2503 2044 136 292 0 2208 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10012 [startup+6.302 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1803176/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=13048 CPUtime=6.29 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 3111 0 0 0 625 4 0 0 25 0 1 0 187208187 13361152 2810 1992294400 134512640 135709839 4294956240 18446744073709551615 134518454 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 3262 2810 136 292 0 2967 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13048 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1796464/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=19516 CPUtime=12.69 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 4698 0 0 0 1262 7 0 0 25 0 1 0 187208187 19984384 4397 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 4879 4397 136 292 0 4584 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19516 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1783152/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=32648 CPUtime=25.5 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 8008 0 0 0 2537 13 0 0 25 0 1 0 187208187 33431552 7707 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 8162 7707 136 292 0 7867 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 32648 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1769648/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=46084 CPUtime=51.09 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 11312 0 0 0 5085 24 0 0 25 0 1 0 187208187 47190016 11011 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 11521 11011 136 292 0 11226 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46084 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1713904/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=101604 CPUtime=102.3 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 25237 0 0 0 10180 50 0 0 25 0 1 0 187208187 104042496 24936 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 25401 24936 136 292 0 25106 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 101604 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1647024/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=168832 CPUtime=162.31 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 42040 0 0 0 16156 75 0 0 25 0 1 0 187208187 172883968 41739 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 42208 41739 136 292 0 41913 0 Current children cumulated CPU time (s) 162.31 Current children cumulated vsize (KiB) 168832 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1589040/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=226420 CPUtime=222.32 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 56437 0 0 0 22135 97 0 0 25 0 1 0 187208187 231854080 56136 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 56605 56136 136 292 0 56310 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 226420 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1523312/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=292904 CPUtime=282.32 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 73065 0 0 0 28113 119 0 0 25 0 1 0 187208187 299933696 72764 1992294400 134512640 135709839 4294956240 18446744073709551615 134518368 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 73226 72764 136 292 0 72931 0 Current children cumulated CPU time (s) 282.32 Current children cumulated vsize (KiB) 292904 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1455472/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=359916 CPUtime=342.33 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 89770 0 0 0 34091 142 0 0 25 0 1 0 187208187 368553984 89469 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 89979 89469 136 292 0 89684 0 Current children cumulated CPU time (s) 342.33 Current children cumulated vsize (KiB) 359916 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1399344/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=416364 CPUtime=402.34 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 103872 0 0 0 40068 166 0 0 25 0 1 0 187208187 426356736 103571 1992294400 134512640 135709839 4294956240 18446744073709551615 135165952 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 104091 103571 136 292 0 103796 0 Current children cumulated CPU time (s) 402.34 Current children cumulated vsize (KiB) 416364 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1335984/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=479288 CPUtime=462.35 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 119591 0 0 0 46047 188 0 0 25 0 1 0 187208187 490790912 119290 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 119822 119290 136 292 0 119527 0 Current children cumulated CPU time (s) 462.35 Current children cumulated vsize (KiB) 479288 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1275248/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=540596 CPUtime=522.35 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 134906 0 0 0 52029 206 0 0 25 0 1 0 187208187 553570304 134605 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 135149 134605 136 292 0 134854 0 Current children cumulated CPU time (s) 522.35 Current children cumulated vsize (KiB) 540596 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1208624/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=606668 CPUtime=582.37 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 151409 0 0 0 58009 228 0 0 25 0 1 0 187208187 621228032 151108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 151667 151108 136 292 0 151372 0 Current children cumulated CPU time (s) 582.37 Current children cumulated vsize (KiB) 606668 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32733 /proc/meminfo: memFree=1153072/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=661392 CPUtime=642.38 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 165109 0 0 0 63992 246 0 0 25 0 1 0 187208187 677265408 164808 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 165348 164808 136 292 0 165053 0 Current children cumulated CPU time (s) 642.38 Current children cumulated vsize (KiB) 661392 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=892080/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=922176 CPUtime=882.4 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 230247 0 0 0 87911 329 0 0 25 0 1 0 187208187 944308224 229946 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 230544 229946 136 292 0 230249 0 Current children cumulated CPU time (s) 882.4 Current children cumulated vsize (KiB) 922176 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=838768/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=976024 CPUtime=942.42 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 243709 0 0 0 93895 347 0 0 25 0 1 0 187208187 999448576 243408 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 244006 243408 136 292 0 243711 0 Current children cumulated CPU time (s) 942.42 Current children cumulated vsize (KiB) 976024 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=786288/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1027836 CPUtime=1002.42 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 256641 0 0 0 99880 362 0 0 25 0 1 0 187208187 1052504064 256340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 256959 256340 136 292 0 256664 0 Current children cumulated CPU time (s) 1002.42 Current children cumulated vsize (KiB) 1027836 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=729392/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1085520 CPUtime=1062.43 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 271044 0 0 0 105862 381 0 0 25 0 1 0 187208187 1111572480 270743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 271380 270743 136 292 0 271085 0 Current children cumulated CPU time (s) 1062.43 Current children cumulated vsize (KiB) 1085520 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=665584/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1148680 CPUtime=1122.43 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 286836 0 0 0 111841 402 0 0 25 0 1 0 187208187 1176248320 286535 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 287170 286535 136 292 0 286875 0 Current children cumulated CPU time (s) 1122.43 Current children cumulated vsize (KiB) 1148680 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=602992/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1212588 CPUtime=1182.45 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 302794 0 0 0 117823 422 0 0 25 0 1 0 187208187 1241690112 302493 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 303147 302493 136 292 0 302852 0 Current children cumulated CPU time (s) 1182.45 Current children cumulated vsize (KiB) 1212588 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=541680/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1272300 CPUtime=1242.45 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 317698 0 0 0 123804 441 0 0 25 0 1 0 187208187 1302835200 317397 1992294400 134512640 135709839 4294956240 18446744073709551615 134518432 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 318075 317397 136 292 0 317780 0 Current children cumulated CPU time (s) 1242.45 Current children cumulated vsize (KiB) 1272300 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=490736/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1322784 CPUtime=1302.47 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 330309 0 0 0 129790 457 0 0 25 0 1 0 187208187 1354530816 330008 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 330696 330008 136 292 0 330401 0 Current children cumulated CPU time (s) 1302.47 Current children cumulated vsize (KiB) 1322784 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=431600/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1382392 CPUtime=1362.47 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 345205 0 0 0 135774 473 0 0 25 0 1 0 187208187 1415569408 344904 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 345598 344904 136 292 0 345303 0 Current children cumulated CPU time (s) 1362.47 Current children cumulated vsize (KiB) 1382392 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=379376/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1434060 CPUtime=1422.48 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 358106 0 0 0 141755 493 0 0 25 0 1 0 187208187 1468477440 357805 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 358515 357805 136 292 0 358220 0 Current children cumulated CPU time (s) 1422.48 Current children cumulated vsize (KiB) 1434060 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=324400/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1489584 CPUtime=1482.49 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 372004 0 0 0 147738 511 0 0 25 0 1 0 187208187 1525334016 371703 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 372396 371703 136 292 0 372101 0 Current children cumulated CPU time (s) 1482.49 Current children cumulated vsize (KiB) 1489584 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=263728/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1549480 CPUtime=1542.5 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 386980 0 0 0 153720 530 0 0 25 0 1 0 187208187 1586667520 386679 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 387370 386679 136 292 0 387075 0 Current children cumulated CPU time (s) 1542.5 Current children cumulated vsize (KiB) 1549480 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=200112/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1613844 CPUtime=1602.5 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 403065 0 0 0 159699 551 0 0 25 0 1 0 187208187 1652576256 402764 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 403461 402764 136 292 0 403166 0 Current children cumulated CPU time (s) 1602.5 Current children cumulated vsize (KiB) 1613844 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=147696/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1665488 CPUtime=1662.51 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 415965 0 0 0 165684 567 0 0 25 0 1 0 187208187 1705459712 415664 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 416372 415664 136 292 0 416077 0 Current children cumulated CPU time (s) 1662.51 Current children cumulated vsize (KiB) 1665488 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=87856/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1725856 CPUtime=1722.52 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 431042 0 0 0 171664 588 0 0 25 0 1 0 187208187 1767276544 430741 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 431464 430741 136 292 0 431169 0 Current children cumulated CPU time (s) 1722.52 Current children cumulated vsize (KiB) 1725856 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=25520/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1787476 CPUtime=1782.52 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 446434 0 0 0 177644 608 0 0 25 0 1 0 187208187 1830375424 446133 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 446869 446133 136 292 0 446574 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 1787476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=15472/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=1804784 CPUtime=1800.01 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4194304 450779 0 0 0 179386 615 0 0 25 0 1 0 187208187 1848098816 450478 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 451196 450478 136 292 0 450901 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1804784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32739 /proc/meminfo: memFree=15472/2055920 swapFree=4191900/4192956 [pid=32732] ppid=32730 vsize=0 CPUtime=1800.2 /proc/32732/stat : 32732 (wbo) R 32730 32732 31261 0 -1 4195332 450779 0 0 0 179386 634 0 0 25 0 1 0 187208187 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/32732/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.08 CPU time (s): 1800.3 CPU user time (s): 1793.87 CPU system time (s): 6.42802 CPU usage (%): 100.012 Max. virtual memory (cumulated for all children) (KiB): 1804784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.87 system time used= 6.42802 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 450779 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= 2311 runsolver used 1.19582 second user time and 3.9604 second system time The end
Begin job on node16 at 2009-06-17 01:47:57 IDJOB=1875308 IDBENCH=48148 IDSOLVER=698 FILE ID=node16/1875308-1245196077 PBS_JOBID= 9368289 Free space on /tmp= 66280 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.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-1875308-1245196077/watcher-1875308-1245196077 -o /tmp/evaluation-result-1875308-1245196077/solver-1875308-1245196077 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875308-1245196077.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e RANDOM SEED=707879517 node16.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.214 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.214 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: 1814288 kB Buffers: 43416 kB Cached: 121972 kB SwapCached: 260 kB Active: 63092 kB Inactive: 115112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814288 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2476 kB Writeback: 0 kB Mapped: 21276 kB Slab: 49468 kB Committed_AS: 169124 kB PageTables: 1440 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-1875308-1245196077.opb Free space on /tmp at the end= 66276 MiB End job on node16 at 2009-06-17 02:17:59