Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.16 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
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 | 38 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 15754 |
Sum of products size | 31508 |
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-1875313-1245197194.opb. 0.00/0.00 c Instance file HOME/instance-1875313-1245197194.opb 0.00/0.00 c File size is 1209967 bytes. 0.09/0.17 c Highest Coefficient sum: 51 0.09/0.17 c ============================[ Problem Statistics ]============================= 0.09/0.17 c | | 0.09/0.17 c | Parsing time: 0.17 s | 0.09/0.17 c | Number Variables: 16254 | 0.09/0.17 c | Number Clauses: 16754 | 0.09/0.17 c | Number Cardinality: 0 | 0.09/0.17 c | Number PB Constraints: 15754 | 0.09/0.17 c core #1 0.09/0.17 c Core size: 52 Core Weight: 1 Total Weight: 1 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.19/0.21 c core #2 0.19/0.21 c Core size: 52 Core Weight: 1 Total Weight: 2 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.25 c core #3 0.19/0.25 c Core size: 52 Core Weight: 1 Total Weight: 3 0.19/0.25 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.19/0.29 c core #4 0.19/0.29 c Core size: 52 Core Weight: 1 Total Weight: 4 0.19/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.29/0.34 c core #5 0.29/0.34 c Core size: 58 Core Weight: 1 Total Weight: 5 0.29/0.34 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 4505 32513 76632 | 10837 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #6 0.39/0.41 c Core size: 318 Core Weight: 1 Total Weight: 6 0.39/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 1799.61 s 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 8901 32514 89420 | 10838 0 nan | 0.000 % | 0.59/0.62 c | 112 | 8901 32514 89420 | 11921 112 176 | 46.156 % | 0.79/0.87 c | 262 | 8901 32514 89420 | 13113 262 154 | 46.156 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #7 1.29/1.30 c Core size: 1382 Core Weight: 1 Total Weight: 7 1.29/1.30 c Elapsed CPU time: 1.2838 s Remaining CPU time: 1798.72 s 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 15554 32515 108578 | 10838 0 nan | 0.000 % | 1.49/1.51 c | 107 | 15554 32515 108578 | 11922 107 382 | 8.204 % | 1.89/1.91 c | 259 | 15554 32515 108578 | 13114 259 422 | 8.203 % | 2.39/2.43 c | 487 | 15554 32515 108578 | 14425 487 435 | 8.203 % | 3.49/3.54 c | 824 | 15554 32515 108578 | 15868 824 426 | 8.203 % | 5.29/5.40 c | 1330 | 15554 32515 108578 | 17455 1330 400 | 8.203 % | 7.39/7.41 c | 2089 | 15554 32515 108578 | 19200 2089 414 | 8.203 % | 10.99/11.08 c | 3228 | 15554 32515 108578 | 21120 3228 398 | 8.203 % | 18.28/18.36 c | 4939 | 15554 32515 108578 | 23232 4939 391 | 8.203 % | 28.59/28.60 c | 7505 | 15554 32515 108578 | 25556 7505 424 | 8.204 % | 43.57/43.62 c | 11349 | 15554 32515 108578 | 28111 11349 453 | 8.203 % | 67.97/68.03 c | 17119 | 15554 32515 108578 | 30923 17119 465 | 8.203 % | 115.16/115.22 c | 25770 | 15554 32515 108578 | 34015 25770 479 | 8.203 % | 195.04/195.18 c | 38744 | 15554 32515 108578 | 37416 15159 463 | 8.203 % | 258.42/258.51 c =============================================================================== 259.82/259.98 c core #8 259.82/259.98 c Core size: 5763 Core Weight: 1 Total Weight: 8 259.82/259.98 c Elapsed CPU time: 259.286 s Remaining CPU time: 1540.71 s 260.01/260.12 c Learning 1 hard constraints 260.01/260.12 c ============================[ Search Statistics ]============================== 260.01/260.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.01/260.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.01/260.12 c =============================================================================== 260.01/260.12 c | 0 | 17442 32517 113693 | 10839 0 nan | 0.000 % | 260.11/260.29 c | 104 | 17442 32517 113693 | 11922 104 563 | 0.000 % | 260.31/260.48 c | 255 | 17442 32517 113693 | 13115 255 489 | 0.000 % | 261.02/261.15 c | 480 | 17442 32517 113693 | 14426 480 325 | 0.000 % | 262.61/262.71 c | 818 | 17442 32517 113693 | 15869 818 281 | 0.000 % | 264.42/264.58 c | 1325 | 17442 32517 113693 | 17456 1325 319 | 0.000 % | 266.81/266.93 c | 2085 | 17442 32517 113693 | 19201 2085 327 | 0.000 % | 269.91/270.02 c | 3226 | 17442 32517 113693 | 21122 3226 291 | 0.000 % | 274.31/274.46 c | 4936 | 17442 32517 113693 | 23234 4936 284 | 0.000 % | 279.71/279.83 c | 7500 | 17442 32517 113693 | 25557 7500 285 | 0.000 % | 293.61/293.76 c | 11347 | 17442 32517 113693 | 28113 11347 297 | 0.000 % | 316.00/316.10 c | 17113 | 17442 32517 113693 | 30924 17113 304 | 0.000 % | 344.49/344.60 c | 25763 | 17442 32517 113693 | 34017 25763 346 | 0.000 % | 401.18/401.30 c | 38738 | 17442 32517 113693 | 37419 15200 456 | 0.000 % | 491.05/491.27 c | 58199 | 17442 32517 113693 | 41161 34661 544 | 0.000 % | 623.01/623.30 c | 87392 | 17442 32517 113693 | 45277 32900 619 | 0.000 % | 856.56/856.87 c | 131181 | 17442 32517 113693 | 49804 43346 575 | 0.000 % | 1243.65/1244.00 c | 196866 | 17442 32517 113693 | 54785 33081 581 | 0.000 % | 1761.10/1761.66 c | 295392 | 17442 32517 113693 | 60263 42869 502 | 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-1875313-1245197194/watcher-1875313-1245197194 -o /tmp/evaluation-result-1875313-1245197194/solver-1875313-1245197194 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875313-1245197194.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 5212 /proc/meminfo: memFree=1870824/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=4068 CPUtime=0 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 187319665 4165632 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 1017 255 125 292 0 426 0 [startup+0.0424521 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5212 /proc/meminfo: memFree=1870824/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=6128 CPUtime=0.03 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 816 0 0 0 3 0 0 0 18 0 1 0 187319665 6275072 800 1992294400 134512640 135709839 4294956240 18446744073709551615 134542941 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 1532 800 182 292 0 941 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6128 [startup+0.101456 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5212 /proc/meminfo: memFree=1870824/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=6944 CPUtime=0.09 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 1113 0 0 0 9 0 0 0 18 0 1 0 187319665 7110656 1097 1992294400 134512640 135709839 4294956240 18446744073709551615 135080105 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 1736 1097 289 292 0 1145 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6944 [startup+0.301475 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5212 /proc/meminfo: memFree=1870824/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=12556 CPUtime=0.29 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 3327 0 0 0 28 1 0 0 19 0 1 0 187319665 12857344 2503 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 3139 2509 134 292 0 2844 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12556 [startup+0.701513 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5212 /proc/meminfo: memFree=1870824/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=15116 CPUtime=0.69 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 4091 0 0 0 68 1 0 0 22 0 1 0 187319665 15478784 3267 1992294400 134512640 135709839 4294956240 18446744073709551615 134572312 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 3779 3267 136 292 0 3484 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15116 [startup+1.50159 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1858272/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=16824 CPUtime=1.49 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 4520 0 0 0 147 2 0 0 25 0 1 0 187319665 17227776 3696 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 4206 3696 136 292 0 3911 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16824 [startup+3.10174 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1856416/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=16824 CPUtime=3.09 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 4530 0 0 0 307 2 0 0 25 0 1 0 187319665 17227776 3706 1992294400 134512640 135709839 4294956240 18446744073709551615 134572382 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 4206 3706 136 292 0 3911 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16824 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1855712/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=18276 CPUtime=6.29 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 4894 0 0 0 626 3 0 0 25 0 1 0 187319665 18714624 4070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 4569 4070 136 292 0 4274 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18276 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1851176/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=22104 CPUtime=12.69 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 5858 0 0 0 1263 6 0 0 25 0 1 0 187319665 22634496 5034 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 5526 5034 136 292 0 5231 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22104 [startup+25.5029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1844456/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=28720 CPUtime=25.49 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 7511 0 0 0 2540 9 0 0 25 0 1 0 187319665 29409280 6687 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 7180 6687 136 292 0 6885 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28720 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1827112/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=46464 CPUtime=51.08 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 11938 0 0 0 5092 16 0 0 25 0 1 0 187319665 47579136 11114 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 11616 11114 136 292 0 11321 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46464 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1798696/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=74328 CPUtime=102.26 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 18900 0 0 0 10198 28 0 0 25 0 1 0 187319665 76111872 18076 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 18582 18076 136 292 0 18287 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74328 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1769256/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=104196 CPUtime=162.25 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 26339 0 0 0 16183 42 0 0 25 0 1 0 187319665 106696704 25515 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 26049 25515 136 292 0 25754 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 104196 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1735400/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=137636 CPUtime=222.23 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 34711 0 0 0 22169 54 0 0 25 0 1 0 187319665 140939264 33887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 34409 33887 136 292 0 34114 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 137636 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1712104/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=160880 CPUtime=282.21 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 40468 0 0 0 28151 70 0 0 25 0 1 0 187319665 164741120 39644 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 40220 39644 136 292 0 39925 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 160880 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1711720/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=160880 CPUtime=342.19 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 40566 0 0 0 34137 82 0 0 25 0 1 0 187319665 164741120 39742 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 40220 39742 136 292 0 39925 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 160880 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1677544/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=195604 CPUtime=402.18 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 49241 0 0 0 40120 98 0 0 25 0 1 0 187319665 200298496 48417 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 48901 48417 136 292 0 48606 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 195604 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1640296/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=232348 CPUtime=462.16 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 58429 0 0 0 46102 114 0 0 25 0 1 0 187319665 237924352 57605 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 58087 57605 136 292 0 57792 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 232348 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1604392/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=268420 CPUtime=522.15 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 67447 0 0 0 52086 129 0 0 25 0 1 0 187319665 274862080 66623 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 67105 66623 136 292 0 66810 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 268420 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1566760/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=305888 CPUtime=582.13 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 76794 0 0 0 58068 145 0 0 25 0 1 0 187319665 313229312 75970 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 76472 75970 136 292 0 76177 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 305888 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1518248/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=354048 CPUtime=642.12 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 88844 0 0 0 64050 162 0 0 25 0 1 0 187319665 362545152 88020 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 88512 88020 136 292 0 88217 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 354048 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1385064/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=487120 CPUtime=882.05 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 122063 0 0 0 87989 216 0 0 25 0 1 0 187319665 498810880 121239 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 121780 121239 136 292 0 121485 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 487120 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1351208/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=521296 CPUtime=942.03 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 130589 0 0 0 93974 229 0 0 25 0 1 0 187319665 533807104 129765 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 130324 129765 136 292 0 130029 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 521296 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1316904/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=555368 CPUtime=1002.02 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 139097 0 0 0 99955 247 0 0 25 0 1 0 187319665 568696832 138273 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 138842 138273 136 292 0 138547 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 555368 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=1287464/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=584968 CPUtime=1062 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 146481 0 0 0 105942 258 0 0 25 0 1 0 187319665 599007232 145657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 146242 145657 136 292 0 145947 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 584968 [startup+1122.3 s] /proc/loadavg: 1.11 1.03 1.01 3/65 5213 /proc/meminfo: memFree=1262504/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=609784 CPUtime=1121.98 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 152656 0 0 0 111930 268 0 0 25 0 1 0 187319665 624418816 151832 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 152446 151832 136 292 0 152151 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 609784 [startup+1182.3 s] /proc/loadavg: 1.10 1.04 1.01 2/65 5213 /proc/meminfo: memFree=1231720/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=640712 CPUtime=1181.96 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 160398 0 0 0 117918 278 0 0 25 0 1 0 187319665 656089088 159574 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 160178 159574 136 292 0 159883 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 640712 [startup+1242.3 s] /proc/loadavg: 1.10 1.04 1.00 2/65 5213 /proc/meminfo: memFree=1197544/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=674800 CPUtime=1241.95 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 168908 0 0 0 123903 292 0 0 25 0 1 0 187319665 690995200 168084 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 168700 168084 136 292 0 168405 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 674800 [startup+1302.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 5213 /proc/meminfo: memFree=1163176/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=708676 CPUtime=1301.93 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 177389 0 0 0 129888 305 0 0 25 0 1 0 187319665 725684224 176565 1992294400 134512640 135709839 4294956240 18446744073709551615 134588036 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 177169 176565 136 292 0 176874 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 708676 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 5213 /proc/meminfo: memFree=1126248/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=746252 CPUtime=1361.92 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 186763 0 0 0 135869 323 0 0 25 0 1 0 187319665 764162048 185939 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 186563 185939 136 292 0 186268 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 746252 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5213 /proc/meminfo: memFree=1086376/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=785344 CPUtime=1421.9 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 196549 0 0 0 141855 335 0 0 25 0 1 0 187319665 804192256 195725 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 196336 195725 136 292 0 196041 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 785344 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 3/65 5213 /proc/meminfo: memFree=1056872/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=815012 CPUtime=1481.88 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 203934 0 0 0 147838 350 0 0 25 0 1 0 187319665 834572288 203110 1992294400 134512640 135709839 4294956240 18446744073709551615 134518380 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 203753 203110 136 292 0 203458 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 815012 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5213 /proc/meminfo: memFree=1024168/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=847672 CPUtime=1541.87 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 212104 0 0 0 153824 363 0 0 25 0 1 0 187319665 868016128 211280 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 211918 211280 136 292 0 211623 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 847672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=991208/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=880908 CPUtime=1601.85 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 220382 0 0 0 159810 375 0 0 25 0 1 0 187319665 902049792 219558 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 220227 219558 136 292 0 219932 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 880908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=959976/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=911568 CPUtime=1661.83 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 228064 0 0 0 165795 388 0 0 25 0 1 0 187319665 933445632 227240 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 227892 227240 136 292 0 227597 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 911568 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=928360/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=943696 CPUtime=1721.82 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 236088 0 0 0 171781 401 0 0 25 0 1 0 187319665 966344704 235264 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 235924 235264 136 292 0 235629 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 943696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=897128/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=974488 CPUtime=1781.81 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 243765 0 0 0 177766 415 0 0 25 0 1 0 187319665 997875712 242941 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 243622 242941 136 292 0 243327 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 974488 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5213 /proc/meminfo: memFree=889128/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=982284 CPUtime=1800 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4194304 245718 0 0 0 179581 419 0 0 25 0 1 0 187319665 1005858816 244894 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 245571 244894 136 292 0 245276 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 982284 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.00 1.00 1.00 2/66 5214 /proc/meminfo: memFree=1531424/2055920 swapFree=4181656/4192956 [pid=5212] ppid=5210 vsize=0 CPUtime=1800.11 /proc/5212/stat : 5212 (wbo) R 5210 5212 4769 0 -1 4195332 245718 0 0 0 179582 429 0 0 25 0 1 0 187319665 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5212/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.66 CPU time (s): 1800.16 CPU user time (s): 1795.82 CPU system time (s): 4.34234 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 982284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.82 system time used= 4.34234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 245718 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= 3 involuntary context switches= 2627 runsolver used 1.3028 second user time and 3.98039 second system time The end
Begin job on node18 at 2009-06-17 02:06:34 IDJOB=1875313 IDBENCH=48153 IDSOLVER=698 FILE ID=node18/1875313-1245197194 PBS_JOBID= 9368325 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.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-1875313-1245197194/watcher-1875313-1245197194 -o /tmp/evaluation-result-1875313-1245197194/solver-1875313-1245197194 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875313-1245197194.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED=103967164 node18.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.236 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.236 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: 1872264 kB Buffers: 47404 kB Cached: 91416 kB SwapCached: 5544 kB Active: 76316 kB Inactive: 70400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1872264 kB SwapTotal: 4192956 kB SwapFree: 4181656 kB Dirty: 2588 kB Writeback: 0 kB Mapped: 12948 kB Slab: 22940 kB Committed_AS: 162632 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875313-1245197194.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-17 02:36:38