Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.3 | 1800.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb |
MD5SUM | faa00895e2f6f80e77634e2be522df62 |
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 | 1795.95 |
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 | 45 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 6220 |
Sum of products size | 12440 |
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-1875305-1245195651.opb. 0.00/0.00 c Instance file HOME/instance-1875305-1245195651.opb 0.00/0.00 c File size is 459853 bytes. 0.00/0.06 c Highest Coefficient sum: 46 0.00/0.06 c ============================[ Problem Statistics ]============================= 0.00/0.06 c | | 0.00/0.06 c | Parsing time: 0.06 s | 0.00/0.06 c | Number Variables: 6420 | 0.00/0.06 c | Number Clauses: 6620 | 0.00/0.06 c | Number Cardinality: 0 | 0.00/0.06 c | Number PB Constraints: 6220 | 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.06399 s Remaining CPU time: 1799.94 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.079987 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 | 1747 12842 30165 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #3 0.09/0.10 c Core size: 180 Core Weight: 1 Total Weight: 3 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 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 | 4022 12843 36778 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 109 | 4022 12843 36778 | 5500 109 173 | 38.596 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #4 0.19/0.22 c Core size: 845 Core Weight: 1 Total Weight: 4 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 6534 12844 43981 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 100 | 6534 12844 43981 | 5500 100 284 | 2.985 % | 0.39/0.44 c | 251 | 6534 12844 43981 | 6050 251 289 | 2.984 % | 0.59/0.60 c | 478 | 6534 12844 43981 | 6655 478 325 | 2.984 % | 0.89/0.91 c | 821 | 6534 12844 43981 | 7320 821 344 | 2.984 % | 1.39/1.44 c | 1331 | 6534 12844 43981 | 8052 1331 348 | 2.984 % | 2.19/2.25 c | 2101 | 6534 12844 43981 | 8857 2101 362 | 2.984 % | 3.59/3.65 c | 3241 | 6534 12844 43981 | 9743 3241 357 | 2.984 % | 5.79/5.84 c | 4951 | 6534 12844 43981 | 10717 4951 357 | 2.984 % | 9.68/9.79 c | 7518 | 6534 12844 43981 | 11789 7518 350 | 2.984 % | 16.68/16.79 c | 11366 | 6534 12844 43981 | 12968 11366 399 | 2.984 % | 28.98/29.01 c | 17132 | 6534 12844 43981 | 14265 10100 453 | 2.984 % | 44.68/44.76 c =============================================================================== 45.27/45.36 c core #5 45.27/45.36 c Core size: 6318 Core Weight: 1 Total Weight: 5 45.27/45.36 c Elapsed CPU time: 45.1431 s Remaining CPU time: 1754.86 s 45.37/45.42 c ============================[ Search Statistics ]============================== 45.37/45.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.37/45.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.37/45.42 c =============================================================================== 45.37/45.42 c | 0 | 6935 12845 44970 | 5000 0 nan | 0.000 % | 45.37/45.49 c | 100 | 6935 12845 44970 | 5500 100 251 | 0.000 % | 45.47/45.59 c | 250 | 6935 12845 44970 | 6050 250 240 | 0.000 % | 45.67/45.77 c | 475 | 6935 12845 44970 | 6655 475 228 | 0.000 % | 45.98/46.03 c | 815 | 6935 12845 44970 | 7320 815 217 | 0.000 % | 46.28/46.38 c | 1324 | 6935 12845 44970 | 8052 1324 219 | 0.000 % | 46.87/46.96 c | 2086 | 6935 12845 44970 | 8857 2086 209 | 0.000 % | 47.87/47.99 c | 3225 | 6935 12845 44970 | 9743 3225 194 | 0.000 % | 49.58/49.69 c | 4934 | 6935 12845 44970 | 10717 4934 184 | 0.000 % | 52.37/52.45 c | 7497 | 6935 12845 44970 | 11789 7497 193 | 0.000 % | 57.87/57.98 c | 11341 | 6935 12845 44970 | 12968 11341 206 | 0.000 % | 66.77/66.85 c | 17108 | 6935 12845 44970 | 14265 10333 260 | 0.000 % | 79.86/79.91 c | 25757 | 6935 12845 44970 | 15692 10851 299 | 0.000 % | 99.46/99.57 c | 38736 | 6935 12845 44970 | 17261 15008 298 | 0.000 % | 131.64/131.74 c | 58199 | 6935 12845 44970 | 18987 15528 507 | 0.000 % | 192.91/193.05 c | 87392 | 6935 12845 44970 | 20886 13802 685 | 0.000 % | 295.28/295.47 c | 131181 | 6935 12845 44970 | 22974 12974 621 | 0.000 % | 446.32/446.53 c | 196865 | 6935 12845 44970 | 25272 16938 336 | 0.000 % | 718.42/718.76 c | 295394 | 6935 12845 44970 | 27799 21066 409 | 0.000 % | 1061.41/1061.85 c | 443185 | 6935 12845 44970 | 30579 24397 322 | 0.000 % | 1587.70/1588.33 c | 664870 | 6935 12845 44970 | 33637 24170 301 | 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-1875305-1245195651/watcher-1875305-1245195651 -o /tmp/evaluation-result-1875305-1245195651/solver-1875305-1245195651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875305-1245195651.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4812 /proc/meminfo: memFree=1835808/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=3328 CPUtime=0 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 187165661 3407872 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 832 253 125 292 0 424 0 [startup+0.100716 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4812 /proc/meminfo: memFree=1835808/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=6228 CPUtime=0.09 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 1288 0 0 0 9 0 0 0 18 0 1 0 187165661 6377472 1083 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 1590 1084 134 292 0 1295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6228 [startup+0.201736 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4812 /proc/meminfo: memFree=1835808/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=7108 CPUtime=0.19 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 1601 0 0 0 19 0 0 0 18 0 1 0 187165661 7278592 1320 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 1777 1320 136 292 0 1482 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7108 [startup+0.301758 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4812 /proc/meminfo: memFree=1835808/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=7916 CPUtime=0.29 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 1778 0 0 0 29 0 0 0 19 0 1 0 187165661 8105984 1497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 1979 1497 136 292 0 1684 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7916 [startup+0.701842 s] /proc/loadavg: 0.99 0.97 0.99 3/64 4812 /proc/meminfo: memFree=1835808/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=7916 CPUtime=0.69 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 1791 0 0 0 69 0 0 0 22 0 1 0 187165661 8105984 1510 1992294400 134512640 135709839 4294956240 18446744073709551615 134572299 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 1979 1510 136 292 0 1684 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7916 [startup+1.50201 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1829528/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=9368 CPUtime=1.49 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 2167 0 0 0 148 1 0 0 25 0 1 0 187165661 9592832 1886 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 2342 1886 136 292 0 2047 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9368 [startup+3.10135 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1827416/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=12008 CPUtime=3.09 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 2843 0 0 0 307 2 0 0 25 0 1 0 187165661 12296192 2562 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 3002 2562 136 292 0 2707 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12008 [startup+6.30203 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1822552/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=16896 CPUtime=6.29 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 4049 0 0 0 624 5 0 0 25 0 1 0 187165661 17301504 3768 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 4224 3768 136 292 0 3929 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16896 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1813344/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=25212 CPUtime=12.68 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 6136 0 0 0 1260 8 0 0 25 0 1 0 187165661 25817088 5855 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 6303 5855 136 292 0 6008 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25212 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1796128/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=41756 CPUtime=25.49 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 10275 0 0 0 2535 14 0 0 25 0 1 0 187165661 42758144 9994 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 10439 9994 136 292 0 10144 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41756 [startup+51.1015 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1774688/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=63056 CPUtime=51.07 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 15571 0 0 0 5084 23 0 0 25 0 1 0 187165661 64569344 15290 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 15764 15290 136 292 0 15469 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63056 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1732448/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=105184 CPUtime=102.26 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 26115 0 0 0 10182 44 0 0 25 0 1 0 187165661 107708416 25834 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 26296 25834 136 292 0 26001 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105184 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1644320/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=194072 CPUtime=162.23 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 48348 0 0 0 16153 70 0 0 25 0 1 0 187165661 198729728 48067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 48518 48067 136 292 0 48223 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 194072 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1552864/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=284548 CPUtime=222.22 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 70972 0 0 0 22125 97 0 0 25 0 1 0 187165661 291377152 70691 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 71137 70691 136 292 0 70842 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 284548 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1463328/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=374176 CPUtime=282.19 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 93378 0 0 0 28098 121 0 0 25 0 1 0 187165661 383156224 93097 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 93544 93097 136 292 0 93249 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 374176 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1410976/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=426064 CPUtime=342.16 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 106337 0 0 0 34075 141 0 0 25 0 1 0 187165661 436289536 106056 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 106516 106056 136 292 0 106221 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 426064 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1365408/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=472032 CPUtime=402.14 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 117806 0 0 0 40051 163 0 0 25 0 1 0 187165661 483360768 117525 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 118008 117525 136 292 0 117713 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 472032 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1311328/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=525716 CPUtime=462.12 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 131213 0 0 0 46029 183 0 0 25 0 1 0 187165661 538333184 130932 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 131429 130932 136 292 0 131134 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 525716 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1255520/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=582332 CPUtime=522.1 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 145365 0 0 0 52006 204 0 0 25 0 1 0 187165661 596307968 145084 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 145583 145084 136 292 0 145288 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 582332 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1183200/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=653556 CPUtime=582.07 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 163186 0 0 0 57982 225 0 0 25 0 1 0 187165661 669241344 162905 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 163389 162905 136 292 0 163094 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 653556 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4813 /proc/meminfo: memFree=1122528/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=715088 CPUtime=642.05 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 178538 0 0 0 63961 244 0 0 25 0 1 0 187165661 732250112 178257 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 178772 178257 136 292 0 178477 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 715088 [startup+702.301 s] ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=925472/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=910816 CPUtime=881.97 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 227443 0 0 0 87873 324 0 0 25 0 1 0 187165661 932675584 227162 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 227704 227162 136 292 0 227409 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 910816 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=873312/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=963716 CPUtime=941.95 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 240620 0 0 0 93848 347 0 0 25 0 1 0 187165661 986845184 240339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 240929 240339 136 292 0 240634 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 963716 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=812064/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1024156 CPUtime=1001.92 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 255733 0 0 0 99823 369 0 0 25 0 1 0 187165661 1048735744 255452 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 256039 255452 136 292 0 255744 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1024156 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=770272/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1066508 CPUtime=1061.9 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 266313 0 0 0 105803 387 0 0 25 0 1 0 187165661 1092104192 266032 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 266627 266032 136 292 0 266332 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1066508 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=722912/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1113196 CPUtime=1121.88 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 277969 0 0 0 111780 408 0 0 25 0 1 0 187165661 1139912704 277688 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 278299 277688 136 292 0 278004 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1113196 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4815 /proc/meminfo: memFree=676832/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1159992 CPUtime=1181.86 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 289657 0 0 0 117759 427 0 0 25 0 1 0 187165661 1187831808 289376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 289998 289376 136 292 0 289703 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1159992 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=625944/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1210032 CPUtime=1241.83 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 302179 0 0 0 123737 446 0 0 25 0 1 0 187165661 1239072768 301898 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 302508 301898 136 292 0 302213 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1210032 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=575384/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1261012 CPUtime=1301.81 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 314919 0 0 0 129714 467 0 0 25 0 1 0 187165661 1291276288 314638 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 315253 314638 136 292 0 314958 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1261012 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=525400/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1310620 CPUtime=1361.79 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 327296 0 0 0 135693 486 0 0 25 0 1 0 187165661 1342074880 327015 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 327655 327015 136 292 0 327360 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1310620 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=479064/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1356480 CPUtime=1421.78 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 338731 0 0 0 141671 507 0 0 25 0 1 0 187165661 1389035520 338450 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 339120 338450 136 292 0 338825 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1356480 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=438232/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1397604 CPUtime=1481.75 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 349021 0 0 0 147648 527 0 0 25 0 1 0 187165661 1431146496 348740 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 349401 348740 136 292 0 349106 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1397604 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=389152/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1446224 CPUtime=1541.73 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 361167 0 0 0 153625 548 0 0 25 0 1 0 187165661 1480933376 360886 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 361556 360886 136 292 0 361261 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1446224 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=342560/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1493096 CPUtime=1601.7 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 372887 0 0 0 159604 566 0 0 25 0 1 0 187165661 1528930304 372606 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 373274 372606 136 292 0 372979 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1493096 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=302752/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1532320 CPUtime=1661.68 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 382709 0 0 0 165586 582 0 0 25 0 1 0 187165661 1569095680 382428 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 383080 382428 136 292 0 382785 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1532320 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=260960/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1574488 CPUtime=1721.66 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 393212 0 0 0 171565 601 0 0 25 0 1 0 187165661 1612275712 392931 1992294400 134512640 135709839 4294956240 18446744073709551615 134518368 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 393622 392931 136 292 0 393327 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1574488 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=220320/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1615028 CPUtime=1781.64 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 403336 0 0 0 177544 620 0 0 25 0 1 0 187165661 1653788672 403055 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 403757 403055 136 292 0 403462 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1615028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=212384/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=1622724 CPUtime=1800.04 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4194304 405269 0 0 0 179380 624 0 0 25 0 1 0 187165661 1661669376 404988 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 405681 404988 136 292 0 405386 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1622724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/65 4821 /proc/meminfo: memFree=212384/2055920 swapFree=4192812/4192956 [pid=4812] ppid=4810 vsize=0 CPUtime=1800.23 /proc/4812/stat : 4812 (wbo) R 4810 4812 4256 0 -1 4195332 405269 0 0 0 179380 643 0 0 25 0 1 0 187165661 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4812/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.96 CPU time (s): 1800.3 CPU user time (s): 1793.81 CPU system time (s): 6.49501 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 1622724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.81 system time used= 6.49501 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 405269 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= 1924 runsolver used 1.26181 second user time and 3.99139 second system time The end
Begin job on node13 at 2009-06-17 01:40:51 IDJOB=1875305 IDBENCH=48145 IDSOLVER=698 FILE ID=node13/1875305-1245195651 PBS_JOBID= 9368308 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_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-1875305-1245195651/watcher-1875305-1245195651 -o /tmp/evaluation-result-1875305-1245195651/solver-1875305-1245195651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875305-1245195651.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62 RANDOM SEED=1874838417 node13.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: 1836680 kB Buffers: 42804 kB Cached: 99172 kB SwapCached: 144 kB Active: 48200 kB Inactive: 107896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1836680 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2460 kB Writeback: 0 kB Mapped: 23760 kB Slab: 49112 kB Committed_AS: 171436 kB PageTables: 1460 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-1875305-1245195651.opb Free space on /tmp at the end= 66268 MiB End job on node13 at 2009-06-17 02:10:54