Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.31 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb |
MD5SUM | cdb29f44159b0b72729019e0c0db0b8a |
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 | 101.107 |
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) | 3090 |
Sum of products size (including duplicates) | 6180 |
Number of different products | 3090 |
Sum of products size | 6180 |
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-1875314-1245197349.opb. 0.00/0.00 c Instance file HOME/instance-1875314-1245197349.opb 0.00/0.00 c File size is 220844 bytes. 0.00/0.03 c Highest Coefficient sum: 47 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 3190 | 0.00/0.03 c | Number Clauses: 3290 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 3090 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 52 Core Weight: 1 Total Weight: 1 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 861 6381 14965 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #2 0.00/0.04 c Core size: 249 Core Weight: 1 Total Weight: 2 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 2990 6382 21138 | 5000 0 nan | 0.000 % | 0.04/0.08 c | 101 | 2990 6382 21138 | 5500 101 158 | 9.449 % | 0.09/0.14 c | 251 | 2990 6382 21138 | 6050 251 156 | 9.449 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #3 0.09/0.19 c Core size: 1072 Core Weight: 1 Total Weight: 3 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 3402 6383 22254 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 104 | 3402 6383 22254 | 5500 104 212 | 0.000 % | 0.19/0.29 c | 255 | 3402 6383 22254 | 6050 255 223 | 0.000 % | 0.29/0.37 c | 483 | 3402 6383 22254 | 6655 483 187 | 0.000 % | 0.39/0.49 c | 822 | 3402 6383 22254 | 7320 822 189 | 0.000 % | 0.69/0.74 c | 1336 | 3402 6383 22254 | 8052 1336 233 | 0.000 % | 1.09/1.16 c | 2095 | 3402 6383 22254 | 8857 2095 262 | 0.000 % | 1.79/1.85 c | 3238 | 3402 6383 22254 | 9743 3238 296 | 0.000 % | 2.79/2.83 c | 4946 | 3402 6383 22254 | 10717 4946 280 | 0.000 % | 4.79/4.83 c | 7509 | 3402 6383 22254 | 11789 7509 267 | 0.000 % | 8.39/8.46 c | 11354 | 3402 6383 22254 | 12968 11354 316 | 0.000 % | 15.19/15.23 c | 17123 | 3402 6383 22254 | 14265 10191 407 | 0.000 % | 25.68/25.79 c | 25772 | 3402 6383 22254 | 15692 11535 304 | 0.000 % | 37.49/37.51 c =============================================================================== 38.28/38.34 c core #4 38.28/38.34 c Core size: 4268 Core Weight: 1 Total Weight: 4 38.28/38.34 c Elapsed CPU time: 38.1362 s Remaining CPU time: 1761.86 s 38.28/38.40 c Learning 3 hard constraints 38.28/38.40 c ============================[ Search Statistics ]============================== 38.28/38.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.28/38.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.28/38.40 c =============================================================================== 38.28/38.40 c | 0 | 3502 6387 22534 | 5000 0 nan | 0.000 % | 38.39/38.44 c | 100 | 3502 6387 22534 | 5500 100 223 | 0.000 % | 38.39/38.48 c | 252 | 3502 6387 22534 | 6050 252 158 | 0.000 % | 38.49/38.54 c | 478 | 3502 6387 22534 | 6655 478 140 | 0.000 % | 38.58/38.63 c | 819 | 3502 6387 22534 | 7320 819 137 | 0.000 % | 38.78/38.81 c | 1325 | 3502 6387 22534 | 8052 1325 161 | 0.000 % | 39.08/39.16 c | 2085 | 3502 6387 22534 | 8857 2085 226 | 0.000 % | 39.58/39.65 c | 3226 | 3502 6387 22534 | 9743 3226 225 | 0.000 % | 40.58/40.63 c | 4935 | 3502 6387 22534 | 10717 4935 310 | 0.000 % | 42.38/42.47 c | 7502 | 3502 6387 22534 | 11789 7502 332 | 0.000 % | 45.78/45.84 c | 11357 | 3502 6387 22534 | 12968 11357 309 | 0.000 % | 49.97/50.00 c | 17124 | 3502 6387 22534 | 14265 9873 233 | 0.000 % | 59.68/59.74 c | 25775 | 3502 6387 22534 | 15692 10981 443 | 0.000 % | 75.97/76.09 c | 38750 | 3502 6387 22534 | 17261 15416 348 | 0.000 % | 100.86/101.00 c | 58212 | 3502 6387 22534 | 18987 16296 371 | 0.000 % | 143.85/143.98 c | 87411 | 3502 6387 22534 | 20886 14767 268 | 0.000 % | 215.23/215.39 c | 131202 | 3502 6387 22534 | 22974 14358 407 | 0.000 % | 328.71/328.88 c | 196886 | 3502 6387 22534 | 25272 19505 282 | 0.000 % | 532.35/532.59 c | 295412 | 3502 6387 22534 | 27799 13450 270 | 0.000 % | 811.08/811.35 c | 443202 | 3502 6387 22534 | 30579 25086 311 | 0.000 % | 1263.46/1263.85 c | 664885 | 3502 6387 22534 | 33637 18448 294 | 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-1875314-1245197349/watcher-1875314-1245197349 -o /tmp/evaluation-result-1875314-1245197349/solver-1875314-1245197349 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875314-1245197349.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 10698 /proc/meminfo: memFree=1848944/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=3080 CPUtime=0 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 187332071 3153920 250 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 770 250 125 292 0 421 0 [startup+0.0526901 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10698 /proc/meminfo: memFree=1848944/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=4416 CPUtime=0.04 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 739 0 0 0 4 0 0 0 18 0 1 0 187332071 4521984 669 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 1104 669 135 292 0 809 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4416 [startup+0.101696 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10698 /proc/meminfo: memFree=1848944/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=4680 CPUtime=0.09 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 782 0 0 0 9 0 0 0 18 0 1 0 187332071 4792320 712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 1170 712 136 292 0 875 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4680 [startup+0.301719 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10698 /proc/meminfo: memFree=1848944/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=5296 CPUtime=0.29 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 951 0 0 0 29 0 0 0 19 0 1 0 187332071 5423104 881 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 1324 881 136 292 0 1029 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5296 [startup+0.701763 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10698 /proc/meminfo: memFree=1848944/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=6088 CPUtime=0.69 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 1139 0 0 0 69 0 0 0 22 0 1 0 187332071 6234112 1069 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 1522 1069 136 292 0 1227 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6088 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1844328/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=8468 CPUtime=1.49 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 1754 0 0 0 148 1 0 0 25 0 1 0 187332071 8671232 1684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 2117 1684 136 292 0 1822 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8468 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1840744/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=12428 CPUtime=3.09 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 2731 0 0 0 307 2 0 0 25 0 1 0 187332071 12726272 2661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 3107 2661 136 292 0 2812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12428 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1834024/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=18904 CPUtime=6.29 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 4359 0 0 0 624 5 0 0 25 0 1 0 187332071 19357696 4289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 4726 4289 136 292 0 4431 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18904 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1820136/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=32260 CPUtime=12.69 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 7678 0 0 0 1261 8 0 0 25 0 1 0 187332071 33034240 7608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 8065 7608 136 292 0 7770 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32260 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1799272/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=51936 CPUtime=25.48 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 12619 0 0 0 2534 14 0 0 25 0 1 0 187332071 53182464 12549 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 12984 12549 136 292 0 12689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51936 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1781096/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=71256 CPUtime=51.08 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 17438 0 0 0 5082 26 0 0 25 0 1 0 187332071 72966144 17368 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 17814 17368 136 292 0 17519 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71256 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1697576/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=153464 CPUtime=102.27 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 37977 0 0 0 10176 51 0 0 25 0 1 0 187332071 157147136 37907 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 38366 37907 136 292 0 38071 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 153464 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1624424/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=227304 CPUtime=162.25 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 56450 0 0 0 16148 77 0 0 25 0 1 0 187332071 232759296 56380 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 56826 56380 136 292 0 56531 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 227304 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1538024/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=312440 CPUtime=222.23 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 77749 0 0 0 22121 102 0 0 25 0 1 0 187332071 319938560 77679 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 78110 77679 136 292 0 77815 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 312440 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1470824/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=380596 CPUtime=282.21 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 94772 0 0 0 28094 127 0 0 25 0 1 0 187332071 389730304 94702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 95149 94702 136 292 0 94854 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 380596 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1406504/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=443860 CPUtime=342.2 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 110553 0 0 0 34071 149 0 0 25 0 1 0 187332071 454512640 110483 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 110965 110483 136 292 0 110670 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 443860 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1356776/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=494288 CPUtime=402.18 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 123153 0 0 0 40050 168 0 0 25 0 1 0 187332071 506150912 123083 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 123572 123083 136 292 0 123277 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 494288 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1292584/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=557932 CPUtime=462.17 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 139054 0 0 0 46026 191 0 0 25 0 1 0 187332071 571322368 138984 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 139483 138984 136 292 0 139188 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 557932 [startup+522.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 10699 /proc/meminfo: memFree=1235432/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=615596 CPUtime=522.15 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 153439 0 0 0 52001 214 0 0 25 0 1 0 187332071 630370304 153369 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 153899 153369 136 292 0 153604 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 615596 [startup+582.301 s] /proc/loadavg: 1.01 1.01 1.00 2/65 10699 /proc/meminfo: memFree=1175336/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=675160 CPUtime=582.14 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 168317 0 0 0 57980 234 0 0 25 0 1 0 187332071 691363840 168247 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 168790 168247 136 292 0 168495 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 675160 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=1110952/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=738936 CPUtime=642.12 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 184255 0 0 0 63956 256 0 0 25 0 1 0 187332071 756670464 184185 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 184734 184185 136 292 0 184439 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 738936 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=797352/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1052896 CPUtime=942.04 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 262714 0 0 0 93844 360 0 0 25 0 1 0 187332071 1078165504 262644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 263224 262644 136 292 0 262929 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1052896 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=722216/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1127144 CPUtime=1002.03 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 281250 0 0 0 99818 385 0 0 25 0 1 0 187332071 1154195456 281180 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 281786 281180 136 292 0 281491 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1127144 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=651816/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1198200 CPUtime=1062.01 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 299005 0 0 0 105793 408 0 0 25 0 1 0 187332071 1226956800 298935 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 299550 298935 136 292 0 299255 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1198200 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10699 /proc/meminfo: memFree=585448/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1263956 CPUtime=1122 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 315449 0 0 0 111773 427 0 0 25 0 1 0 187332071 1294290944 315379 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 315989 315379 136 292 0 315694 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1263956 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 10699 /proc/meminfo: memFree=529576/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1320256 CPUtime=1181.98 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 329495 0 0 0 117749 449 0 0 25 0 1 0 187332071 1351942144 329425 1992294400 134512640 135709839 4294956240 18446744073709551615 134572728 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 330064 329425 136 292 0 329769 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1320256 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 10699 /proc/meminfo: memFree=488360/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1361112 CPUtime=1241.96 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 339682 0 0 0 123732 464 0 0 25 0 1 0 187332071 1393778688 339612 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 340278 339612 136 292 0 339983 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1361112 [startup+1302.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 10699 /proc/meminfo: memFree=441256/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1407596 CPUtime=1301.95 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 351307 0 0 0 129712 483 0 0 25 0 1 0 187332071 1441378304 351237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 351899 351237 136 292 0 351604 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1407596 [startup+1362.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 10699 /proc/meminfo: memFree=395752/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1453412 CPUtime=1361.93 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 362758 0 0 0 135694 499 0 0 25 0 1 0 187332071 1488293888 362688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 363353 362688 136 292 0 363058 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1453412 [startup+1422.31 s] /proc/loadavg: 1.05 1.04 1.00 2/65 10699 /proc/meminfo: memFree=350504/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1498296 CPUtime=1421.92 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 373952 0 0 0 141677 515 0 0 25 0 1 0 187332071 1534255104 373882 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 374574 373882 136 292 0 374279 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1498296 [startup+1482.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 10699 /proc/meminfo: memFree=299752/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1549896 CPUtime=1481.9 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 386816 0 0 0 147654 536 0 0 25 0 1 0 187332071 1587093504 386746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 387474 386746 136 292 0 387179 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1549896 [startup+1542.3 s] /proc/loadavg: 1.12 1.07 1.00 2/65 10699 /proc/meminfo: memFree=254824/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1593912 CPUtime=1541.88 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 397823 0 0 0 153633 555 0 0 25 0 1 0 187332071 1632165888 397753 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 398478 397753 136 292 0 398183 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1593912 [startup+1602.3 s] /proc/loadavg: 1.12 1.07 1.00 2/65 10699 /proc/meminfo: memFree=209576/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1639664 CPUtime=1601.87 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 409257 0 0 0 159614 573 0 0 25 0 1 0 187332071 1679015936 409187 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 409916 409187 136 292 0 409621 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1639664 [startup+1662.3 s] /proc/loadavg: 1.10 1.07 1.00 2/65 10699 /proc/meminfo: memFree=164584/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1684336 CPUtime=1661.85 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 420418 0 0 0 165594 591 0 0 25 0 1 0 187332071 1724760064 420348 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 421084 420348 136 292 0 420789 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1684336 [startup+1722.3 s] /proc/loadavg: 1.10 1.07 1.00 2/65 10699 /proc/meminfo: memFree=129384/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1719776 CPUtime=1721.84 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 429253 0 0 0 171579 605 0 0 25 0 1 0 187332071 1761050624 429183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 429944 429183 136 292 0 429649 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1719776 [startup+1782.3 s] /proc/loadavg: 1.13 1.08 1.01 2/65 10699 /proc/meminfo: memFree=68136/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1780456 CPUtime=1781.82 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 444435 0 0 0 177553 629 0 0 25 0 1 0 187332071 1823186944 444365 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 445114 444365 136 292 0 444819 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1780456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.10 1.08 1.01 2/65 10699 /proc/meminfo: memFree=51560/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=1796736 CPUtime=1800.02 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4194304 448494 0 0 0 179366 636 0 0 25 0 1 0 187332071 1839857664 448424 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 449184 448424 136 292 0 448889 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1796736 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.10 1.08 1.01 2/66 10700 /proc/meminfo: memFree=678176/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=0 CPUtime=1800.12 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4195332 448494 0 0 0 179366 646 0 0 25 0 1 0 187332071 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.10 1.08 1.01 2/66 10700 /proc/meminfo: memFree=678176/2055920 swapFree=4191900/4192956 [pid=10698] ppid=10696 vsize=0 CPUtime=1800.22 /proc/10698/stat : 10698 (wbo) R 10696 10698 10474 0 -1 4195332 448494 0 0 0 179366 656 0 0 25 0 1 0 187332071 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10698/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.31 CPU user time (s): 1793.67 CPU system time (s): 6.63799 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1796736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.67 system time used= 6.63799 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 448494 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= 2317 runsolver used 1.25581 second user time and 3.80642 second system time The end
Begin job on node38 at 2009-06-17 02:09:09 IDJOB=1875314 IDBENCH=48154 IDSOLVER=698 FILE ID=node38/1875314-1245197349 PBS_JOBID= 9368312 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.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-1875314-1245197349/watcher-1875314-1245197349 -o /tmp/evaluation-result-1875314-1245197349/solver-1875314-1245197349 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875314-1245197349.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a RANDOM SEED=952306518 node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1849616 kB Buffers: 51160 kB Cached: 71048 kB SwapCached: 260 kB Active: 48576 kB Inactive: 86912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849616 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 22512 kB Slab: 56776 kB Committed_AS: 169560 kB PageTables: 1464 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-1875314-1245197349.opb Free space on /tmp at the end= 66236 MiB End job on node38 at 2009-06-17 02:39:11