Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.15 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb |
MD5SUM | efe239846afd4f2627c83cec32ebc27d |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 1798.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
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 | 61 |
Maximum length of a constraint | 107 |
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) | 37458 |
Sum of products size (including duplicates) | 74916 |
Number of different products | 37458 |
Sum of products size | 74916 |
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-1875264-1245189621.opb. 0.00/0.00 c Instance file HOME/instance-1875264-1245189621.opb 0.00/0.00 c File size is 2902143 bytes. 0.39/0.42 c Highest Coefficient sum: 108 0.39/0.43 c ============================[ Problem Statistics ]============================= 0.39/0.43 c | | 0.39/0.43 c | Parsing time: 0.42 s | 0.39/0.43 c | Number Variables: 37958 | 0.39/0.43 c | Number Clauses: 38458 | 0.39/0.43 c | Number Cardinality: 0 | 0.39/0.43 c | Number PB Constraints: 37458 | 0.39/0.43 c core #1 0.39/0.43 c Core size: 122 Core Weight: 1 Total Weight: 1 0.39/0.43 c Elapsed CPU time: 0.421935 s Remaining CPU time: 1799.58 s 0.49/0.56 c core #2 0.49/0.56 c Core size: 314 Core Weight: 1 Total Weight: 2 0.49/0.56 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 15341 75918 195758 | 25306 0 nan | 0.000 % | 1.00/1.04 c | 101 | 15341 75918 195758 | 27836 101 504 | 59.810 % | 1.79/1.87 c | 251 | 15341 75918 195758 | 30620 251 604 | 59.810 % | 2.29/2.31 c =============================================================================== 2.29/2.32 c core #3 2.29/2.32 c Core size: 2181 Core Weight: 1 Total Weight: 3 2.29/2.32 c Elapsed CPU time: 2.29565 s Remaining CPU time: 1797.7 s 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 37664 75919 261657 | 25306 0 nan | 0.000 % | 2.79/2.86 c | 103 | 37664 75919 261657 | 27836 103 545 | 2.559 % | 3.89/3.91 c | 254 | 37664 75919 261657 | 30620 254 605 | 2.559 % | 5.09/5.11 c | 481 | 37664 75919 261657 | 33682 481 652 | 2.559 % | 7.19/7.25 c | 818 | 37664 75919 261657 | 37051 818 713 | 2.559 % | 10.99/11.02 c | 1324 | 37664 75919 261657 | 40756 1324 697 | 2.559 % | 18.68/18.78 c | 2084 | 37664 75919 261657 | 44831 2084 615 | 2.559 % | 29.88/29.98 c | 3223 | 37664 75919 261657 | 49314 3223 666 | 2.559 % | 47.76/47.89 c | 4932 | 37664 75919 261657 | 54246 4932 685 | 2.559 % | 75.86/75.90 c | 7494 | 37664 75919 261657 | 59671 7494 746 | 2.559 % | 126.23/126.37 c | 11338 | 37664 75919 261657 | 65638 11338 790 | 2.559 % | 205.41/205.50 c | 17107 | 37664 75919 261657 | 72201 17107 857 | 2.559 % | 324.67/324.87 c | 25756 | 37664 75919 261657 | 79422 25756 1049 | 2.559 % | 528.39/528.67 c | 38731 | 37664 75919 261657 | 87364 38731 1137 | 2.559 % | 896.07/896.42 c | 58194 | 37664 75919 261657 | 96100 58194 1401 | 2.559 % | 1117.68/1118.13 c =============================================================================== 1123.18/1123.69 c core #4 1123.18/1123.69 c Core size: 37939 Core Weight: 1 Total Weight: 4 1123.18/1123.69 c Elapsed CPU time: 1121.96 s Remaining CPU time: 678.037 s 1123.48/1123.97 c Learning 2 hard constraints 1123.48/1123.97 c ============================[ Search Statistics ]============================== 1123.48/1123.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1123.48/1123.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1123.48/1123.97 c =============================================================================== 1123.48/1123.97 c | 0 | 39153 75922 265602 | 25307 0 nan | 0.000 % | 1123.98/1124.46 c | 101 | 39153 75922 265602 | 27838 101 578 | 0.000 % | 1124.89/1125.36 c | 252 | 39153 75922 265602 | 30621 252 493 | 0.000 % | 1126.18/1126.61 c | 478 | 39153 75922 265602 | 33684 478 588 | 0.000 % | 1129.07/1129.60 c | 815 | 39153 75922 265602 | 37052 815 502 | 0.000 % | 1132.98/1133.41 c | 1324 | 39153 75922 265602 | 40757 1324 507 | 0.000 % | 1138.37/1138.89 c | 2086 | 39153 75922 265602 | 44833 2086 536 | 0.000 % | 1148.87/1149.37 c | 3226 | 39153 75922 265602 | 49316 3226 531 | 0.000 % | 1161.87/1162.31 c | 4934 | 39153 75922 265602 | 54248 4934 519 | 0.000 % | 1182.26/1182.78 c | 7497 | 39153 75922 265602 | 59673 7497 547 | 0.000 % | 1212.65/1213.17 c | 11342 | 39153 75922 265602 | 65640 11342 597 | 0.000 % | 1267.03/1267.53 c | 17109 | 39153 75922 265602 | 72204 17109 537 | 0.000 % | 1339.00/1339.54 c | 25760 | 39153 75922 265602 | 79425 25760 556 | 0.000 % | 1450.27/1450.82 c | 38735 | 39153 75922 265602 | 87367 38735 572 | 0.000 % | 1624.90/1625.53 c | 58199 | 39153 75922 265602 | 96104 58199 673 | 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-1875264-1245189621/watcher-1875264-1245189621 -o /tmp/evaluation-result-1875264-1245189621/solver-1875264-1245189621 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875264-1245189621.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.03 1.03 1.00 3/64 6630 /proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=5712 CPUtime=0 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 186556431 5849088 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 1428 253 125 292 0 424 0 [startup+0.043604 s] /proc/loadavg: 1.03 1.03 1.00 3/64 6630 /proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=8936 CPUtime=0.03 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 1021 0 0 0 3 0 0 0 18 0 1 0 186556431 9150464 1005 1992294400 134512640 135709839 4294956240 18446744073709551615 134570584 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 2234 1005 174 292 0 1230 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8936 [startup+0.101614 s] /proc/loadavg: 1.03 1.03 1.00 3/64 6630 /proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=11224 CPUtime=0.09 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 1669 0 0 0 9 0 0 0 18 0 1 0 186556431 11493376 1639 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 2806 1639 264 292 0 1802 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11224 [startup+0.301649 s] /proc/loadavg: 1.03 1.03 1.00 3/64 6630 /proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=13592 CPUtime=0.29 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 2596 0 0 0 29 0 0 0 19 0 1 0 186556431 13918208 2566 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 3398 2566 601 292 0 2394 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13592 [startup+0.701722 s] /proc/loadavg: 1.03 1.03 1.00 3/64 6630 /proc/meminfo: memFree=1813048/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=28684 CPUtime=0.69 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 8032 0 0 0 67 2 0 0 22 0 1 0 186556431 29372416 6410 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 7171 6410 134 292 0 6876 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28684 [startup+1.50187 s] /proc/loadavg: 1.03 1.03 1.00 2/65 6631 /proc/meminfo: memFree=1790064/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=26056 CPUtime=1.49 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 8077 0 0 0 147 2 0 0 25 0 1 0 186556431 26681344 5859 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 6514 5859 136 292 0 6219 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26056 [startup+3.10116 s] /proc/loadavg: 1.03 1.03 1.00 2/65 6631 /proc/meminfo: memFree=1789936/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=30332 CPUtime=3.08 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9618 0 0 0 306 2 0 0 25 0 1 0 186556431 31059968 6952 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 7583 6952 136 292 0 7288 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30332 [startup+6.30173 s] /proc/loadavg: 1.03 1.03 1.00 2/65 6631 /proc/meminfo: memFree=1785200/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=30332 CPUtime=6.29 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9618 0 0 0 626 3 0 0 25 0 1 0 186556431 31059968 6952 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 7583 6952 136 292 0 7288 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30332 [startup+12.7019 s] /proc/loadavg: 1.02 1.03 1.00 2/65 6631 /proc/meminfo: memFree=1783920/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=31784 CPUtime=12.69 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 9990 0 0 0 1264 5 0 0 25 0 1 0 186556431 32546816 7324 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 7946 7324 136 292 0 7651 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31784 [startup+25.5012 s] /proc/loadavg: 1.02 1.02 1.00 2/65 6631 /proc/meminfo: memFree=1780400/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=35364 CPUtime=25.48 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 10875 0 0 0 2542 6 0 0 25 0 1 0 186556431 36212736 8209 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 8841 8209 136 292 0 8546 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35364 [startup+51.1018 s] /proc/loadavg: 1.01 1.02 1.00 2/65 6637 /proc/meminfo: memFree=1771880/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=44232 CPUtime=51.07 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 13094 0 0 0 5097 10 0 0 25 0 1 0 186556431 45293568 10428 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 11058 10428 136 292 0 10763 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44232 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 6637 /proc/meminfo: memFree=1754728/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=61012 CPUtime=102.25 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 17283 0 0 0 10207 18 0 0 25 0 1 0 186556431 62476288 14617 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 15253 14617 136 292 0 14958 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 61012 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6637 /proc/meminfo: memFree=1729512/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=86340 CPUtime=162.23 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 23611 0 0 0 16197 26 0 0 25 0 1 0 186556431 88412160 20945 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 21585 20945 136 292 0 21290 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 86340 [startup+222.303 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6637 /proc/meminfo: memFree=1703016/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=112712 CPUtime=222.21 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 30214 0 0 0 22187 34 0 0 25 0 1 0 186556431 115417088 27548 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 28178 27548 136 292 0 27883 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 112712 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1675560/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=140436 CPUtime=282.18 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 37133 0 0 0 28176 42 0 0 25 0 1 0 186556431 143806464 34467 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 35109 34467 136 292 0 34814 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 140436 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1648808/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=166692 CPUtime=342.16 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 43698 0 0 0 34166 50 0 0 25 0 1 0 186556431 170692608 41032 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 41673 41032 136 292 0 41378 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 166692 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1621680/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=194080 CPUtime=402.14 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 50538 0 0 0 40158 56 0 0 25 0 1 0 186556431 198737920 47872 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 48520 47872 136 292 0 48225 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 194080 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1601328/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=214016 CPUtime=462.12 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 55535 0 0 0 46152 60 0 0 25 0 1 0 186556431 219152384 52869 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 53504 52869 136 292 0 53209 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 214016 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1573296/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=242376 CPUtime=522.1 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 62610 0 0 0 52143 67 0 0 25 0 1 0 186556431 248193024 59944 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 60594 59944 136 292 0 60299 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 242376 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1542384/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=273124 CPUtime=582.08 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 70268 0 0 0 58132 76 0 0 25 0 1 0 186556431 279678976 67602 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 68281 67602 136 292 0 67986 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 273124 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1506352/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=308692 CPUtime=642.06 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 79172 0 0 0 64122 84 0 0 25 0 1 0 186556431 316100608 76506 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 77173 76506 136 292 0 76878 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 308692 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1387312/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=427828 CPUtime=881.97 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 108946 0 0 0 88090 107 0 0 25 0 1 0 186556431 438095872 106280 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 106957 106280 136 292 0 106662 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 427828 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1354800/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=460316 CPUtime=941.95 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 117090 0 0 0 94083 112 0 0 25 0 1 0 186556431 471363584 114424 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 115079 114424 136 292 0 114784 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 460316 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1319920/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=495076 CPUtime=1001.92 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 125731 0 0 0 100074 118 0 0 25 0 1 0 186556431 506957824 123065 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 123769 123065 136 292 0 123474 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 495076 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1286128/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=528976 CPUtime=1061.9 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 134220 0 0 0 106064 126 0 0 25 0 1 0 186556431 541671424 131554 1992294400 134512640 135709839 4294956240 18446744073709551615 134601361 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 132244 131554 136 292 0 131949 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 528976 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1260592/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=554184 CPUtime=1121.88 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 140503 0 0 0 112057 131 0 0 25 0 1 0 186556431 567484416 137837 1992294400 134512640 135709839 4294956240 18446744073709551615 134584174 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 138546 137837 136 292 0 138251 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 554184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251504/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1181.86 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 118047 139 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140059 136 292 0 140490 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 563140 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1241.84 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 124039 145 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134572758 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140059 136 292 0 140490 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 563140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1301.82 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 130030 152 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140059 136 292 0 140490 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 563140 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251440/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1361.79 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143322 0 0 0 136023 156 0 0 25 0 1 0 186556431 576655360 140059 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140059 136 292 0 140490 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 563140 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251376/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1421.77 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143326 0 0 0 142016 161 0 0 25 0 1 0 186556431 576655360 140063 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140063 136 292 0 140490 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 563140 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251312/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1481.75 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143340 0 0 0 148009 166 0 0 25 0 1 0 186556431 576655360 140077 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140077 136 292 0 140490 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 563140 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251184/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1541.73 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143347 0 0 0 154001 172 0 0 25 0 1 0 186556431 576655360 140084 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140084 136 292 0 140490 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 563140 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251120/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1601.71 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143355 0 0 0 159996 175 0 0 25 0 1 0 186556431 576655360 140092 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140092 136 292 0 140490 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 563140 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251056/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1661.68 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143365 0 0 0 165989 179 0 0 25 0 1 0 186556431 576655360 140102 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140102 136 292 0 140490 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 563140 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1721.66 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143371 0 0 0 171984 182 0 0 25 0 1 0 186556431 576655360 140108 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140108 136 292 0 140490 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 563140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1251120/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1781.64 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143378 0 0 0 177979 185 0 0 25 0 1 0 186556431 576655360 140115 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140115 136 292 0 140490 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 563140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1800.04 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143399 0 0 0 179818 186 0 0 25 0 1 0 186556431 576655360 140136 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140136 136 292 0 140490 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 563140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6637 /proc/meminfo: memFree=1250992/2055920 swapFree=4182476/4192956 [pid=6630] ppid=6628 vsize=563140 CPUtime=1800.04 /proc/6630/stat : 6630 (wbo) R 6628 6630 5488 0 -1 4194304 143399 0 0 0 179818 186 0 0 25 0 1 0 186556431 576655360 140136 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/6630/statm: 140785 140136 136 292 0 140490 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 563140 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.15 CPU user time (s): 1798.19 CPU system time (s): 1.9557 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 565308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.19 system time used= 1.9557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143399 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= 1787 runsolver used 1.34479 second user time and 3.87841 second system time The end
Begin job on node67 at 2009-06-17 00:00:21 IDJOB=1875264 IDBENCH=48104 IDSOLVER=698 FILE ID=node67/1875264-1245189621 PBS_JOBID= 9368271 Free space on /tmp= 66428 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_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-1875264-1245189621/watcher-1875264-1245189621 -o /tmp/evaluation-result-1875264-1245189621/solver-1875264-1245189621 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875264-1245189621.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED=1775782288 node67.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.272 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.272 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: 1815904 kB Buffers: 30016 kB Cached: 147020 kB SwapCached: 4524 kB Active: 55480 kB Inactive: 129196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815904 kB SwapTotal: 4192956 kB SwapFree: 4182476 kB Dirty: 2888 kB Writeback: 0 kB Mapped: 13444 kB Slab: 41296 kB Committed_AS: 109976 kB PageTables: 1440 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875264-1245189621.opb Free space on /tmp at the end= 66424 MiB End job on node67 at 2009-06-17 00:30:25