Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1521.34 | 1521.79 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
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 | -51 |
Best CPU time to get the best result obtained on this benchmark | 1796.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
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-1875439-1245212089.opb. 0.00/0.00 c Instance file HOME/instance-1875439-1245212089.opb 0.00/0.00 c File size is 219296 bytes. 0.00/0.03 c Highest Coefficient sum: 400 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: 2888 | 0.00/0.03 c | Number Clauses: 2888 | 0.00/0.03 c | Number Cardinality: 402 | 0.00/0.03 c | Number PB Constraints: 2488 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 401 Core Weight: 1 Total Weight: -199 0.00/0.03 c Elapsed CPU time: 0.031995 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 | 3088 5779 21704 | 5000 0 nan | 0.000 % | 0.07/0.09 c | 102 | 3088 5779 21704 | 5500 102 99 | 1.072 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #2 0.09/0.11 c Core size: 409 Core Weight: 1 Total Weight: -198 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.12 c Learning 7 hard constraints 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 3276 5787 22101 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 101 | 3276 5787 22101 | 5500 101 144 | 0.000 % | 0.19/0.25 c | 251 | 3276 5787 22101 | 6050 251 128 | 0.000 % | 0.29/0.37 c | 478 | 3276 5787 22101 | 6655 478 128 | 0.005 % | 0.49/0.53 c | 815 | 3276 5787 22101 | 7320 815 127 | 0.000 % | 0.79/0.80 c | 1321 | 3258 5787 22101 | 8052 1188 141 | 0.885 % | 1.19/1.24 c | 2080 | 3218 5787 22101 | 8857 1826 142 | 2.106 % | 1.89/1.92 c | 3219 | 3190 5787 22101 | 9743 2909 141 | 3.724 % | 3.09/3.18 c | 4927 | 3190 5787 22101 | 10717 4617 142 | 3.724 % | 4.98/5.06 c | 7489 | 3140 5787 22101 | 11789 6974 142 | 7.479 % | 8.59/8.66 c | 11333 | 2995 5787 22101 | 12968 10507 143 | 16.545 % | 9.19/9.29 c =============================================================================== 9.49/9.53 c core #3 9.49/9.53 c Core size: 756 Core Weight: 1 Total Weight: -197 9.49/9.53 c Elapsed CPU time: 9.45856 s Remaining CPU time: 1790.54 s 9.49/9.56 c Learning 64 hard constraints 9.49/9.56 c ============================[ Search Statistics ]============================== 9.49/9.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.56 c =============================================================================== 9.49/9.56 c | 0 | 3475 5852 26434 | 5000 0 nan | 0.000 % | 9.59/9.64 c | 102 | 3475 5852 26434 | 5500 102 212 | 0.000 % | 9.69/9.73 c | 252 | 3475 5852 26434 | 6050 252 155 | 0.000 % | 9.89/9.91 c | 477 | 3475 5852 26434 | 6655 477 131 | 0.000 % | 10.09/10.13 c | 814 | 3475 5852 26434 | 7320 814 140 | 0.000 % | 10.39/10.45 c | 1320 | 3475 5852 26434 | 8052 1320 163 | 0.000 % | 10.89/10.95 c | 2081 | 3475 5852 26434 | 8857 2081 163 | 0.000 % | 11.59/11.67 c | 3220 | 3475 5852 26434 | 9743 3220 169 | 0.000 % | 12.89/12.95 c | 4928 | 3475 5852 26434 | 10717 4928 183 | 0.000 % | 14.99/15.06 c | 7512 | 3475 5852 26434 | 11789 7512 185 | 0.000 % | 17.98/18.05 c | 11394 | 3475 5852 26434 | 12968 11394 190 | 0.000 % | 22.58/22.65 c | 17160 | 3475 5852 26434 | 14265 10601 189 | 0.000 % | 29.98/30.06 c | 25809 | 3475 5852 26434 | 15692 11867 194 | 0.001 % | 41.68/41.75 c | 38783 | 3475 5852 26434 | 17261 8593 226 | 0.000 % | 61.17/61.27 c | 58268 | 3461 5852 26434 | 18987 5186 173 | 0.403 % | 90.27/90.32 c | 87462 | 3461 5852 26434 | 20886 14082 207 | 0.403 % | 138.75/138.85 c | 131253 | 3430 5852 26434 | 22974 13149 187 | 1.295 % | 208.13/208.29 c | 196938 | 3277 5852 26434 | 25272 24452 179 | 6.360 % | 287.50/287.69 c =============================================================================== 296.71/296.88 c core #4 296.71/296.88 c Core size: 2330 Core Weight: 1 Total Weight: -196 296.71/296.88 c Elapsed CPU time: 295.164 s Remaining CPU time: 1504.84 s 297.01/297.20 c Learning 449 hard constraints 297.01/297.20 c ============================[ Search Statistics ]============================== 297.01/297.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.01/297.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.01/297.20 c =============================================================================== 297.01/297.20 c | 0 | 3675 6302 57438 | 5000 0 nan | 0.000 % | 297.20/297.36 c | 100 | 3675 6302 57438 | 5500 100 302 | 0.000 % | 297.20/297.37 c | 250 | 3675 6302 57438 | 6050 250 126 | 0.000 % | 297.40/297.54 c | 475 | 3675 6302 57438 | 6655 475 178 | 0.000 % | 297.60/297.78 c | 812 | 3675 6302 57438 | 7320 812 179 | 0.000 % | 298.11/298.29 c | 1318 | 3675 6302 57438 | 8052 1318 197 | 0.000 % | 298.80/298.98 c | 2077 | 3675 6302 57438 | 8857 2077 179 | 0.000 % | 300.40/300.59 c | 3216 | 3675 6302 57438 | 9743 3216 206 | 0.000 % | 302.51/302.60 c | 4946 | 3675 6302 57438 | 10717 4946 209 | 0.000 % | 305.10/305.23 c | 7509 | 3675 6302 57438 | 11789 7509 223 | 0.000 % | 309.41/309.51 c | 11353 | 3675 6302 57438 | 12968 11353 243 | 0.000 % | 318.20/318.32 c | 17120 | 3675 6302 57438 | 14265 10369 247 | 0.000 % | 329.50/329.68 c | 25787 | 3675 6302 57438 | 15692 10961 273 | 0.000 % | 343.70/343.87 c | 38761 | 3675 6302 57438 | 17261 15545 229 | 0.000 % | 375.58/375.77 c | 58222 | 3675 6302 57438 | 18987 17205 253 | 0.000 % | 420.07/420.22 c | 87414 | 3675 6302 57438 | 20886 16739 286 | 0.000 % | 469.76/469.92 c | 131205 | 3675 6302 57438 | 22974 14931 204 | 0.000 % | 525.94/526.12 c | 196891 | 3675 6302 57438 | 25272 15977 223 | 0.000 % | 674.30/674.59 c | 295422 | 3675 6302 57438 | 27799 19580 279 | 0.000 % | 803.35/803.67 c | 443211 | 3675 6302 57438 | 30579 19924 176 | 0.000 % | 1037.79/1038.11 c | 664895 | 3675 6302 57438 | 33637 20215 136 | 0.000 % | 1482.16/1482.63 c | 997422 | 3675 6302 57438 | 37001 34726 221 | 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-1875439-1245212089/watcher-1875439-1245212089 -o /tmp/evaluation-result-1875439-1245212089/solver-1875439-1245212089 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875439-1245212089.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7409 /proc/meminfo: memFree=1854512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=2884 CPUtime=0 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 188808818 2953216 230 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 721 232 126 292 0 372 0 [startup+0.082794 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7409 /proc/meminfo: memFree=1854512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=4532 CPUtime=0.07 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 729 0 0 0 7 0 0 0 18 0 1 0 188808818 4640768 659 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 1133 659 135 292 0 838 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4532 [startup+0.101796 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7409 /proc/meminfo: memFree=1854512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=4532 CPUtime=0.09 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 188808818 4640768 661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 1133 661 136 292 0 838 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4532 [startup+0.301819 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7409 /proc/meminfo: memFree=1854512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=5108 CPUtime=0.29 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 901 0 0 0 29 0 0 0 19 0 1 0 188808818 5230592 831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 1277 831 136 292 0 982 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5108 [startup+0.701863 s] /proc/loadavg: 0.99 0.97 0.98 3/64 7409 /proc/meminfo: memFree=1854512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=6404 CPUtime=0.69 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 1228 0 0 0 69 0 0 0 22 0 1 0 188808818 6557696 1158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 1601 1158 136 292 0 1306 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6404 [startup+1.50196 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1849512/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=8596 CPUtime=1.49 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 1789 0 0 0 148 1 0 0 25 0 1 0 188808818 8802304 1719 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 2149 1719 136 292 0 1854 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8596 [startup+3.10214 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1846440/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=12332 CPUtime=3.09 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 2713 0 0 0 306 3 0 0 25 0 1 0 188808818 12627968 2643 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 3083 2643 136 292 0 2788 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12332 [startup+6.3015 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1839784/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=18176 CPUtime=6.29 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 4169 0 0 0 624 5 0 0 25 0 1 0 188808818 18612224 4099 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 4544 4099 136 292 0 4249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18176 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1833768/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=22772 CPUtime=12.69 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 5315 0 0 0 1259 10 0 0 25 0 1 0 188808818 23318528 5245 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 5693 5245 136 292 0 5398 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22772 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1815400/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=41560 CPUtime=25.49 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 10031 0 0 0 2530 19 0 0 25 0 1 0 188808818 42557440 9961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 10390 9961 136 292 0 10095 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41560 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1767336/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=90312 CPUtime=51.08 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 22198 0 0 0 5074 34 0 0 25 0 1 0 188808818 92479488 22128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 22578 22128 136 292 0 22283 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90312 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1678184/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=178164 CPUtime=102.27 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 44153 0 0 0 10161 66 0 0 25 0 1 0 188808818 182439936 44083 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 44541 44083 136 292 0 44246 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 178164 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1584808/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=272564 CPUtime=162.24 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 67764 0 0 0 16125 99 0 0 25 0 1 0 188808818 279105536 67694 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 68141 67694 136 292 0 67846 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 272564 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1490856/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=365240 CPUtime=222.23 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 90918 0 0 0 22091 132 0 0 25 0 1 0 188808818 374005760 90848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 91310 90848 136 292 0 91015 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 365240 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1411560/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=445280 CPUtime=282.21 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 110944 0 0 0 28062 159 0 0 25 0 1 0 188808818 455966720 110874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 111320 110874 136 292 0 111025 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 445280 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1395496/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=460000 CPUtime=342.19 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 114633 0 0 0 34042 177 0 0 25 0 1 0 188808818 471040000 114563 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 115000 114563 136 292 0 114705 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 460000 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1395368/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=460000 CPUtime=402.17 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 114644 0 0 0 40025 192 0 0 25 0 1 0 188808818 471040000 114574 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 115000 114574 136 292 0 114705 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 460000 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1350120/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=505412 CPUtime=462.15 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 125978 0 0 0 46001 214 0 0 25 0 1 0 188808818 517541888 125908 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 126353 125908 136 292 0 126058 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 505412 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1303400/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=554416 CPUtime=522.14 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 138216 0 0 0 51973 241 0 0 25 0 1 0 188808818 567721984 138146 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 138604 138146 136 292 0 138309 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 554416 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1216808/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=638808 CPUtime=582.12 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 159309 0 0 0 57938 274 0 0 25 0 1 0 188808818 654139392 159239 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 159702 159239 136 292 0 159407 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 638808 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1134376/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=720564 CPUtime=642.11 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 179753 0 0 0 63910 301 0 0 25 0 1 0 188808818 737857536 179683 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 180141 179683 136 292 0 179846 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 720564 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=1048616/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=806888 CPUtime=702.09 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 201326 0 0 0 69877 332 0 0 25 0 1 0 188808818 826253312 201256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 201722 201256 136 292 0 201427 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 806888 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=955368/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=899344 CPUtime=762.07 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 224442 0 0 0 75838 369 0 0 25 0 1 0 188808818 920928256 224372 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 224836 224372 136 292 0 224541 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 899344 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=881896/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=973636 CPUtime=822.05 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 242981 0 0 0 81807 398 0 0 25 0 1 0 188808818 997003264 242911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 243409 242911 136 292 0 243114 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 973636 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=821544/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1033048 CPUtime=882.03 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 257836 0 0 0 87776 427 0 0 25 0 1 0 188808818 1057841152 257766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 258262 257766 136 292 0 257967 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1033048 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=762792/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1092560 CPUtime=942.02 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 272703 0 0 0 93748 454 0 0 25 0 1 0 188808818 1118781440 272633 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 273140 272633 136 292 0 272845 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1092560 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=705384/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1149008 CPUtime=1002 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 286805 0 0 0 99720 480 0 0 25 0 1 0 188808818 1176584192 286735 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 287252 286735 136 292 0 286957 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1149008 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=630248/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1225380 CPUtime=1061.98 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 305897 0 0 0 105685 513 0 0 25 0 1 0 188808818 1254789120 305827 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 306345 305827 136 292 0 306050 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1225380 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=548072/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1306140 CPUtime=1121.96 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 326088 0 0 0 111652 544 0 0 25 0 1 0 188808818 1337487360 326018 1992294400 134512640 135709839 4294956240 18446744073709551615 134579591 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 326535 326018 136 292 0 326240 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1306140 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=468712/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1385912 CPUtime=1181.95 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 346044 0 0 0 117622 573 0 0 25 0 1 0 188808818 1419173888 345974 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 346478 345974 136 292 0 346183 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1385912 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=394408/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1459808 CPUtime=1241.93 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 364511 0 0 0 123596 597 0 0 25 0 1 0 188808818 1494843392 364441 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 364952 364441 136 292 0 364657 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1459808 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=307304/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1545972 CPUtime=1301.92 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 386033 0 0 0 129567 625 0 0 25 0 1 0 188808818 1583075328 385963 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 386493 385963 136 292 0 386198 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1545972 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=224104/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1629744 CPUtime=1361.9 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 406987 0 0 0 135539 651 0 0 25 0 1 0 188808818 1668857856 406917 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 407436 406917 136 292 0 407141 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1629744 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=145128/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1707928 CPUtime=1421.88 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 426540 0 0 0 141510 678 0 0 25 0 1 0 188808818 1748918272 426470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 426982 426470 136 292 0 426687 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1707928 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=61800/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1791604 CPUtime=1481.86 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 447427 0 0 0 147474 712 0 0 25 0 1 0 188808818 1834602496 447357 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 447901 447357 136 292 0 447606 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1791604 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1521.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=15784/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=1843248 CPUtime=1521.05 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4194304 460327 0 0 0 151376 729 0 0 25 0 1 0 188808818 1887485952 460257 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 460812 460257 136 292 0 460517 0 Current children cumulated CPU time (s) 1521.05 Current children cumulated vsize (KiB) 1843248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1521.61 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=15784/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=0 CPUtime=1521.15 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4195332 460327 0 0 0 151376 739 0 0 25 0 1 0 188808818 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1521.15 Current children cumulated vsize (KiB) 0 [startup+1521.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 7410 /proc/meminfo: memFree=15784/2055920 swapFree=4181924/4192956 [pid=7409] ppid=7407 vsize=0 CPUtime=1521.25 /proc/7409/stat : 7409 (wbo) R 7407 7409 7133 0 -1 4195332 460327 0 0 0 151376 749 0 0 25 0 1 0 188808818 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7409/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1521.25 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1521.79 CPU time (s): 1521.34 CPU user time (s): 1513.77 CPU system time (s): 7.57685 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1843248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1513.77 system time used= 7.57685 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460327 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= 2339 runsolver used 1.15682 second user time and 3.10353 second system time The end
Begin job on node23 at 2009-06-17 06:14:49 IDJOB=1875439 IDBENCH=48279 IDSOLVER=698 FILE ID=node23/1875439-1245212089 PBS_JOBID= 9368372 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_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-1875439-1245212089/watcher-1875439-1245212089 -o /tmp/evaluation-result-1875439-1245212089/solver-1875439-1245212089 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875439-1245212089.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=1579490387 node23.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: 1855120 kB Buffers: 45812 kB Cached: 92852 kB SwapCached: 4748 kB Active: 42952 kB Inactive: 103548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855120 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 2452 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40296 kB Committed_AS: 171000 kB PageTables: 1392 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-1875439-1245212089.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-17 06:40:13