Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.34 | 1801.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
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 | -105 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12632 |
Sum of products size (including duplicates) | 25264 |
Number of different products | 6316 |
Sum of products size | 12632 |
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-1875407-1245208169.opb. 0.00/0.00 c Instance file HOME/instance-1875407-1245208169.opb 0.00/0.00 c File size is 566883 bytes. 0.04/0.09 c Highest Coefficient sum: 1000 0.04/0.09 c ============================[ Problem Statistics ]============================= 0.04/0.09 c | | 0.04/0.09 c | Parsing time: 0.09 s | 0.04/0.09 c | Number Variables: 7316 | 0.04/0.09 c | Number Clauses: 7316 | 0.04/0.09 c | Number Cardinality: 1002 | 0.04/0.09 c | Number PB Constraints: 6316 | 0.04/0.09 c core #1 0.04/0.09 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.04/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 7816 14635 55028 | 5000 0 nan | 0.000 % | 0.49/0.52 c | 100 | 7816 14635 55028 | 5500 100 98 | 0.512 % | 0.69/0.75 c | 250 | 7776 14635 55028 | 6050 248 247 | 0.512 % | 1.19/1.29 c | 475 | 7649 14635 55028 | 6655 458 212 | 3.877 % | 1.79/1.83 c =============================================================================== 1.79/1.84 c core #2 1.79/1.84 c Core size: 1252 Core Weight: 1 Total Weight: -498 1.79/1.84 c Elapsed CPU time: 1.83572 s Remaining CPU time: 1798.16 s 1.79/1.87 c Learning 104 hard constraints 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 8244 14740 56196 | 5000 0 nan | 0.000 % | 2.19/2.24 c | 100 | 8244 14740 56196 | 5500 100 299 | 0.000 % | 2.59/2.68 c | 250 | 8244 14740 56196 | 6050 250 330 | 0.000 % | 3.29/3.34 c | 475 | 8244 14740 56196 | 6655 475 361 | 0.000 % | 3.99/4.08 c | 812 | 8244 14740 56196 | 7320 812 381 | 0.000 % | 5.19/5.29 c | 1318 | 8244 14740 56196 | 8052 1318 357 | 0.000 % | 7.19/7.21 c | 2077 | 8244 14740 56196 | 8857 2077 351 | 0.000 % | 10.38/10.49 c | 3216 | 8244 14740 56196 | 9743 3216 374 | 0.000 % | 15.58/15.66 c | 4987 | 8243 14740 56196 | 10717 4986 380 | 0.024 % | 23.98/24.06 c | 7611 | 8222 14740 56196 | 11789 7608 401 | 0.558 % | 36.87/36.92 c | 11455 | 8207 14740 56196 | 12968 11452 418 | 1.977 % | 54.87/54.95 c | 17221 | 8066 14740 56196 | 14265 9340 449 | 3.457 % | 77.76/77.80 c | 25870 | 7795 14740 56196 | 15692 8996 458 | 6.174 % | 120.95/121.00 c | 38847 | 6877 14740 56196 | 17261 12900 498 | 17.152 % | 197.32/197.41 c | 58308 | 6487 14740 56196 | 18987 12434 454 | 27.681 % | 205.91/206.00 c =============================================================================== 207.71/207.86 c core #3 207.71/207.86 c Core size: 2828 Core Weight: 1 Total Weight: -497 207.71/207.86 c Elapsed CPU time: 207.274 s Remaining CPU time: 1592.73 s 207.82/207.95 c Learning 157 hard constraints 207.82/207.95 c ============================[ Search Statistics ]============================== 207.82/207.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.82/207.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.82/207.95 c =============================================================================== 207.82/207.95 c | 0 | 8743 14898 70076 | 5000 0 nan | 0.000 % | 208.31/208.47 c | 100 | 8743 14898 70076 | 5500 100 639 | 0.000 % | 208.82/208.93 c | 250 | 8743 14898 70076 | 6050 250 482 | 0.000 % | 209.91/210.07 c | 475 | 8743 14898 70076 | 6655 475 412 | 0.000 % | 211.01/211.12 c | 812 | 8743 14898 70076 | 7320 812 383 | 0.000 % | 212.71/212.89 c | 1318 | 8743 14898 70076 | 8052 1318 435 | 0.000 % | 215.41/215.51 c | 2077 | 8743 14898 70076 | 8857 2077 433 | 0.000 % | 218.81/218.97 c | 3216 | 8743 14898 70076 | 9743 3216 457 | 0.000 % | 224.40/224.58 c | 4957 | 8743 14898 70076 | 10717 4957 479 | 0.000 % | 233.01/233.14 c | 7519 | 8743 14898 70076 | 11789 7519 495 | 0.000 % | 246.50/246.67 c | 11418 | 8743 14898 70076 | 12968 11418 515 | 0.000 % | 268.87/269.04 c | 17184 | 8743 14898 70076 | 14265 10205 538 | 0.000 % | 309.06/309.28 c | 25972 | 8743 14898 70076 | 15692 11818 579 | 0.000 % | 371.23/371.44 c | 38946 | 8743 14898 70076 | 17261 16603 573 | 0.000 % | 462.69/462.94 c | 58476 | 8743 14898 70076 | 18987 16852 591 | 0.000 % | 588.15/588.41 c | 87668 | 8743 14898 70076 | 20886 15475 648 | 0.000 % | 802.25/802.65 c | 131457 | 8743 14898 70076 | 22974 22009 609 | 0.000 % | 1114.84/1115.40 c | 197209 | 8743 14898 70076 | 25272 21579 652 | 0.000 % | 1606.35/1607.06 c | 295735 | 8742 14898 70076 | 27799 13464 633 | 0.012 % |
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-1875407-1245208169/watcher-1875407-1245208169 -o /tmp/evaluation-result-1875407-1245208169/solver-1875407-1245208169 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875407-1245208169.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.98 0.99 3/65 6435 /proc/meminfo: memFree=1787504/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=3412 CPUtime=0 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 272 0 0 0 0 0 0 0 18 0 1 0 188415606 3493888 257 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 853 262 126 292 0 419 0 [startup+0.0509169 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6435 /proc/meminfo: memFree=1787504/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=4708 CPUtime=0.04 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 655 0 0 0 4 0 0 0 18 0 1 0 188415606 4820992 639 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 1177 639 189 292 0 743 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4708 [startup+0.101921 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6435 /proc/meminfo: memFree=1787504/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=6520 CPUtime=0.09 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 1299 0 0 0 9 0 0 0 18 0 1 0 188415606 6676480 1144 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 1630 1144 134 292 0 1335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6520 [startup+0.301941 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6435 /proc/meminfo: memFree=1787504/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=7024 CPUtime=0.29 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 1545 0 0 0 29 0 0 0 19 0 1 0 188415606 7192576 1304 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 1756 1304 135 292 0 1461 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7024 [startup+0.70198 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6435 /proc/meminfo: memFree=1787504/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=7420 CPUtime=0.69 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 1660 0 0 0 69 0 0 0 23 0 1 0 188415606 7598080 1419 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 1855 1419 136 292 0 1560 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7420 [startup+1.50106 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1781800/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=8612 CPUtime=1.49 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 1930 0 0 0 149 0 0 0 25 0 1 0 188415606 8818688 1689 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 2153 1689 136 292 0 1858 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8612 [startup+3.10123 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1778856/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=10576 CPUtime=3.09 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 2542 0 0 0 308 1 0 0 25 0 1 0 188415606 10829824 2209 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 2644 2209 136 292 0 2349 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10576 [startup+6.30155 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1776168/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=14800 CPUtime=6.29 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 3605 0 0 0 627 2 0 0 25 0 1 0 188415606 15155200 3272 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 3700 3272 136 292 0 3405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14800 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1766448/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=24052 CPUtime=12.68 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 5904 0 0 0 1264 4 0 0 25 0 1 0 188415606 24629248 5571 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 6013 5571 136 292 0 5718 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24052 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1749424/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=40568 CPUtime=25.48 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 10034 0 0 0 2541 7 0 0 25 0 1 0 188415606 41541632 9701 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 10142 9701 136 292 0 9847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40568 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1716528/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=73780 CPUtime=51.07 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 18329 0 0 0 5092 15 0 0 25 0 1 0 188415606 75550720 17996 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 18445 17996 136 292 0 18150 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73780 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1646832/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=142640 CPUtime=102.25 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 35541 0 0 0 10197 28 0 0 25 0 1 0 188415606 146063360 35208 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 35660 35208 136 292 0 35365 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 142640 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1583344/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=206392 CPUtime=162.22 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 51494 0 0 0 16182 40 0 0 25 0 1 0 188415606 211345408 51161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 51598 51161 136 292 0 51303 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 206392 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1528240/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=260856 CPUtime=222.2 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 65080 0 0 0 22166 54 0 0 25 0 1 0 188415606 267116544 64747 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 65214 64747 136 292 0 64919 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 260856 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1528240/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=260856 CPUtime=282.17 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 65080 0 0 0 28157 60 0 0 25 0 1 0 188415606 267116544 64747 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 65214 64747 136 292 0 64919 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 260856 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1521904/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=267200 CPUtime=342.14 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 66688 0 0 0 34149 65 0 0 25 0 1 0 188415606 273612800 66355 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 66800 66355 136 292 0 66505 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 267200 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1467184/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=322816 CPUtime=402.11 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 80580 0 0 0 40135 76 0 0 25 0 1 0 188415606 330563584 80247 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 80704 80247 136 292 0 80409 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 322816 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1406768/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=382456 CPUtime=462.09 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 95487 0 0 0 46122 87 0 0 25 0 1 0 188415606 391634944 95154 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 95614 95154 136 292 0 95319 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 382456 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1337264/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=452376 CPUtime=522.07 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 112963 0 0 0 52107 100 0 0 25 0 1 0 188415606 463233024 112630 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 113094 112630 136 292 0 112799 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 452376 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1272624/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=516348 CPUtime=582.05 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 128959 0 0 0 58091 114 0 0 25 0 1 0 188415606 528740352 128626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 129087 128626 136 292 0 128792 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 516348 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=1214640/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=573824 CPUtime=642.03 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 143325 0 0 0 64078 125 0 0 25 0 1 0 188415606 587595776 142992 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 143456 142992 136 292 0 143161 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 573824 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=986224/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=801944 CPUtime=881.94 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 200346 0 0 0 88016 178 0 0 25 0 1 0 188415606 821190656 200013 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 200486 200013 136 292 0 200191 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 801944 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=921584/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=867104 CPUtime=941.91 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 216645 0 0 0 94003 188 0 0 25 0 1 0 188415606 887914496 216312 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 216776 216312 136 292 0 216481 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 867104 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=857072/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=930908 CPUtime=1001.87 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 232592 0 0 0 99985 202 0 0 25 0 1 0 188415606 953249792 232259 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 232727 232259 136 292 0 232432 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 930908 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=794288/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=994192 CPUtime=1061.85 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 248415 0 0 0 105969 216 0 0 25 0 1 0 188415606 1018052608 248082 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 248548 248082 136 292 0 248253 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 994192 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=734320/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1053428 CPUtime=1121.83 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 263218 0 0 0 111956 227 0 0 25 0 1 0 188415606 1078710272 262885 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 263357 262885 136 292 0 263062 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1053428 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=670960/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1117880 CPUtime=1181.81 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 279331 0 0 0 117941 240 0 0 25 0 1 0 188415606 1144709120 278998 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 279470 278998 136 292 0 279175 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1117880 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=595568/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1192008 CPUtime=1241.79 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 297860 0 0 0 123926 253 0 0 25 0 1 0 188415606 1220616192 297527 1992294400 134512640 135709839 4294956240 18446744073709551615 134574297 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 298002 297527 136 292 0 297707 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1192008 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=537712/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1249236 CPUtime=1301.77 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 312143 0 0 0 129913 264 0 0 25 0 1 0 188415606 1279217664 311810 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 312309 311810 136 292 0 312014 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 1249236 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=483376/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1303832 CPUtime=1361.75 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 325818 0 0 0 135901 274 0 0 25 0 1 0 188415606 1335123968 325485 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 325958 325485 136 292 0 325663 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1303832 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=425648/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1361116 CPUtime=1421.73 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 340132 0 0 0 141888 285 0 0 25 0 1 0 188415606 1393782784 339799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 340279 339799 136 292 0 339984 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1361116 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=366320/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1420980 CPUtime=1481.69 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 355078 0 0 0 147871 298 0 0 25 0 1 0 188415606 1455083520 354745 1992294400 134512640 135709839 4294956240 18446744073709551615 134518192 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 355245 354745 136 292 0 354950 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1420980 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=299952/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1486632 CPUtime=1541.67 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 371497 0 0 0 153855 312 0 0 25 0 1 0 188415606 1522311168 371164 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 371658 371164 136 292 0 371363 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1486632 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=240176/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1546764 CPUtime=1601.65 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 386517 0 0 0 159841 324 0 0 25 0 1 0 188415606 1583886336 386184 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 386691 386184 136 292 0 386396 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1546764 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=179056/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1607380 CPUtime=1661.62 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 401702 0 0 0 165827 335 0 0 25 0 1 0 188415606 1645957120 401369 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 401845 401369 136 292 0 401550 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 1607380 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=118896/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1668036 CPUtime=1721.6 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 416867 0 0 0 171807 353 0 0 25 0 1 0 188415606 1708068864 416534 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 417009 416534 136 292 0 416714 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1668036 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=50800/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1735424 CPUtime=1781.59 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 433706 0 0 0 177792 367 0 0 25 0 1 0 188415606 1777074176 433373 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 433856 433373 136 292 0 433561 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1735424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=30448/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=1755496 CPUtime=1800.08 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4194304 438717 0 0 0 179637 371 0 0 25 0 1 0 188415606 1797627904 438384 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 438874 438384 136 292 0 438579 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1755496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6436 /proc/meminfo: memFree=30448/2055920 swapFree=4170004/4192956 [pid=6435] ppid=6433 vsize=0 CPUtime=1800.28 /proc/6435/stat : 6435 (wbo) R 6433 6435 6355 0 -1 4195332 438717 0 0 0 179637 391 0 0 25 0 1 0 188415606 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/6435/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.05 CPU time (s): 1800.34 CPU user time (s): 1796.37 CPU system time (s): 3.9674 CPU usage (%): 99.9603 Max. virtual memory (cumulated for all children) (KiB): 1755496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.37 system time used= 3.9674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 438717 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= 6955 runsolver used 2.06868 second user time and 3.79342 second system time The end
Begin job on node84 at 2009-06-17 05:09:30 IDJOB=1875407 IDBENCH=48247 IDSOLVER=698 FILE ID=node84/1875407-1245208169 PBS_JOBID= 9368397 Free space on /tmp= 66524 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_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-1875407-1245208169/watcher-1875407-1245208169 -o /tmp/evaluation-result-1875407-1245208169/solver-1875407-1245208169 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875407-1245208169.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=1825613895 node84.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1788312 kB Buffers: 47172 kB Cached: 138696 kB SwapCached: 17044 kB Active: 65380 kB Inactive: 139884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788312 kB SwapTotal: 4192956 kB SwapFree: 4170004 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 25156 kB Slab: 48320 kB Committed_AS: 112560 kB PageTables: 1396 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-1875407-1245208169.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-17 05:39:33