Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1801.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb |
MD5SUM | c154cb0964ce03c2d199339cf62d0c63 |
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 | -28 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
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-1875401-1245207345.opb. 0.00/0.00 c Instance file HOME/instance-1875401-1245207345.opb 0.00/0.00 c File size is 107624 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1460 | 0.00/0.01 c | Number Clauses: 1460 | 0.00/0.01 c | Number Cardinality: 202 | 0.00/0.01 c | Number PB Constraints: 1260 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 201 Core Weight: 1 Total Weight: -99 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1560 2923 10980 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1526 2923 10980 | 5500 98 39 | 4.490 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #2 0.00/0.04 c Core size: 255 Core Weight: 1 Total Weight: -98 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.00/0.05 c Learning 23 hard constraints 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1636 2947 11200 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 1636 2947 11200 | 5500 100 64 | 0.061 % | 0.07/0.09 c | 251 | 1622 2947 11200 | 6050 210 63 | 0.856 % | 0.10/0.13 c | 490 | 1607 2947 11200 | 6655 377 75 | 2.628 % | 0.10/0.19 c | 827 | 1576 2947 11200 | 7320 662 73 | 4.341 % | 0.29/0.30 c | 1333 | 1482 2947 11200 | 8052 910 78 | 15.159 % | 0.39/0.45 c | 2092 | 1302 2947 11200 | 8857 1443 75 | 23.411 % | 0.49/0.56 c =============================================================================== 0.49/0.58 c core #3 0.49/0.58 c Core size: 373 Core Weight: 1 Total Weight: -97 0.49/0.58 c Elapsed CPU time: 0.567913 s Remaining CPU time: 1799.43 s 0.49/0.58 c Learning 31 hard constraints 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 1736 2979 12460 | 5000 0 nan | 0.000 % | 0.59/0.60 c | 101 | 1736 2979 12460 | 5500 101 131 | 0.001 % | 0.59/0.64 c | 274 | 1736 2979 12460 | 6050 274 80 | 0.000 % | 0.59/0.68 c | 501 | 1736 2979 12460 | 6655 501 72 | 0.000 % | 0.69/0.75 c | 839 | 1736 2979 12460 | 7320 839 69 | 0.000 % | 0.79/0.86 c | 1345 | 1736 2979 12460 | 8052 1345 75 | 0.001 % | 0.99/1.04 c | 2104 | 1736 2979 12460 | 8857 2104 71 | 0.000 % | 1.29/1.31 c | 3243 | 1736 2979 12460 | 9743 3243 74 | 0.002 % | 1.69/1.77 c | 4952 | 1736 2979 12460 | 10717 4952 74 | 0.000 % | 2.49/2.59 c | 7527 | 1736 2979 12460 | 11789 7527 72 | 0.001 % | 3.79/3.88 c | 11371 | 1736 2979 12460 | 12968 11371 71 | 0.001 % | 5.69/5.71 c | 17138 | 1719 2979 12460 | 14265 7192 66 | 0.981 % | 8.49/8.56 c | 25791 | 1692 2979 12460 | 15692 13117 72 | 2.535 % | 12.28/12.38 c | 38765 | 1616 2979 12460 | 17261 14638 66 | 21.601 % | 13.58/13.67 c =============================================================================== 14.38/14.40 c core #4 14.38/14.40 c Core size: 1199 Core Weight: 1 Total Weight: -96 14.38/14.40 c Elapsed CPU time: 14.2668 s Remaining CPU time: 1785.73 s 14.38/14.45 c Learning 362 hard constraints 14.38/14.45 c ============================[ Search Statistics ]============================== 14.38/14.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.45 c =============================================================================== 14.38/14.45 c | 0 | 1836 3342 28081 | 5000 0 nan | 0.000 % | 14.38/14.49 c | 100 | 1836 3342 28081 | 5500 100 157 | 0.001 % | 14.48/14.54 c | 251 | 1836 3342 28081 | 6050 251 88 | 0.000 % | 14.48/14.59 c | 477 | 1836 3342 28081 | 6655 477 86 | 0.000 % | 14.59/14.67 c | 815 | 1836 3342 28081 | 7320 815 88 | 0.000 % | 14.78/14.85 c | 1321 | 1836 3342 28081 | 8052 1321 91 | 0.000 % | 15.08/15.12 c | 2080 | 1836 3342 28081 | 8857 2080 94 | 0.000 % | 15.48/15.50 c | 3221 | 1836 3342 28081 | 9743 3221 93 | 0.000 % | 15.99/16.08 c | 4929 | 1836 3342 28081 | 10717 4929 94 | 0.000 % | 16.98/17.05 c | 7503 | 1836 3342 28081 | 11789 7503 101 | 0.000 % | 18.48/18.59 c | 11347 | 1836 3342 28081 | 12968 11347 102 | 0.000 % | 20.68/20.73 c | 17115 | 1836 3342 28081 | 14265 10393 111 | 0.001 % | 24.09/24.13 c | 25770 | 1836 3342 28081 | 15692 11547 94 | 0.000 % | 28.78/28.88 c | 38745 | 1836 3342 28081 | 17261 16293 85 | 0.000 % | 36.48/36.60 c | 58206 | 1836 3342 28081 | 18987 9074 80 | 0.000 % | 47.87/47.95 c | 87398 | 1836 3342 28081 | 20886 18840 77 | 0.000 % | 67.87/67.98 c | 131187 | 1836 3342 28081 | 22974 19462 84 | 0.000 % | 99.74/99.87 c | 196871 | 1824 3342 28081 | 25272 15183 79 | 0.654 % | 146.53/146.67 c | 295397 | 1797 3342 28081 | 27799 25105 86 | 2.129 % | 160.03/160.19 c =============================================================================== 167.93/168.03 c core #5 167.93/168.03 c Core size: 1894 Core Weight: 1 Total Weight: -95 167.93/168.03 c Elapsed CPU time: 166.73 s Remaining CPU time: 1633.27 s 168.33/168.40 c Learning 1850 hard constraints 168.33/168.40 c ============================[ Search Statistics ]============================== 168.33/168.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 168.33/168.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 168.33/168.40 c =============================================================================== 168.33/168.40 c | 0 | 1936 5193 169649 | 5000 0 nan | 0.000 % | 168.33/168.49 c | 100 | 1936 5193 169649 | 5500 100 162 | 0.000 % | 168.43/168.51 c | 251 | 1936 5193 169649 | 6050 251 93 | 0.000 % | 168.43/168.57 c | 476 | 1936 5193 169649 | 6655 476 127 | 0.000 % | 168.52/168.65 c | 813 | 1936 5193 169649 | 7320 813 120 | 0.000 % | 168.52/168.69 c | 1322 | 1936 5193 169649 | 8052 1322 79 | 0.000 % | 168.83/168.96 c | 2094 | 1936 5193 169649 | 8857 2094 108 | 0.000 % | 169.03/169.19 c | 3233 | 1936 5193 169649 | 9743 3233 106 | 0.000 % | 169.72/169.90 c | 4941 | 1936 5193 169649 | 10717 4941 92 | 0.000 % | 171.02/171.14 c | 7503 | 1936 5193 169649 | 11789 7503 100 | 0.000 % | 173.02/173.19 c | 11349 | 1936 5193 169649 | 12968 11349 115 | 0.000 % | 175.53/175.68 c | 17115 | 1936 5193 169649 | 14265 10489 116 | 0.000 % | 179.92/180.01 c | 25765 | 1936 5193 169649 | 15692 11644 91 | 0.000 % | 188.52/188.64 c | 38740 | 1936 5193 169649 | 17261 8684 121 | 0.000 % | 199.01/199.19 c | 58201 | 1936 5193 169649 | 18987 9936 132 | 0.000 % | 217.50/217.68 c | 87395 | 1936 5193 169649 | 20886 19555 141 | 0.000 % | 244.20/244.36 c | 131184 | 1936 5193 169649 | 22974 19988 100 | 0.000 % | 275.18/275.37 c | 196871 | 1936 5193 169649 | 25272 13771 87 | 0.001 % | 329.97/330.17 c | 295397 | 1936 5193 169649 | 27799 21256 106 | 0.000 % | 413.03/413.28 c | 443186 | 1936 5193 169649 | 30579 19156 86 | 0.001 % | 551.27/551.53 c | 664869 | 1936 5193 169649 | 33637 24018 117 | 0.000 % | 764.48/764.88 c | 997395 | 1936 5193 169649 | 37001 28878 90 | 0.000 % | 1132.45/1132.91 c | 1496185 | 1936 5193 169649 | 40701 37313 97 | 0.000 % | 1726.40/1727.18 c | 2244369 | 1936 5193 169649 | 44771 30827 95 | 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-1875401-1245207345/watcher-1875401-1245207345 -o /tmp/evaluation-result-1875401-1245207345/solver-1875401-1245207345 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875401-1245207345.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10403 /proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=2772 CPUtime=0 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 188331549 2838528 234 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 693 234 127 292 0 371 0 [startup+0.079543 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10403 /proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=3748 CPUtime=0.07 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 546 0 0 0 7 0 0 0 18 0 1 0 188331549 3837952 503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 937 503 136 292 0 642 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3748 [startup+0.101545 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10403 /proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=3748 CPUtime=0.1 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 546 0 0 0 10 0 0 0 18 0 1 0 188331549 3837952 503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 937 503 136 292 0 642 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3748 [startup+0.301565 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10403 /proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=4528 CPUtime=0.29 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 732 0 0 0 29 0 0 0 19 0 1 0 188331549 4636672 689 1992294400 134512640 135709839 4294956240 18446744073709551615 134572299 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 1132 689 136 292 0 837 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4528 [startup+0.701605 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10403 /proc/meminfo: memFree=1858224/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=5840 CPUtime=0.69 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 1062 0 0 0 68 1 0 0 23 0 1 0 188331549 5980160 1019 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 1460 1019 136 292 0 1165 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5840 [startup+1.50169 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1854696/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=7004 CPUtime=1.49 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 1358 0 0 0 147 2 0 0 25 0 1 0 188331549 7172096 1315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 1751 1315 136 292 0 1456 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7004 [startup+3.10185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1851496/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=11444 CPUtime=3.09 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 2456 0 0 0 306 3 0 0 25 0 1 0 188331549 11718656 2413 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 2861 2413 136 292 0 2566 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11444 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1843688/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=18896 CPUtime=6.28 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 4331 0 0 0 621 7 0 0 25 0 1 0 188331549 19349504 4288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 4724 4288 136 292 0 4429 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18896 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1830064/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=31372 CPUtime=12.69 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 7455 0 0 0 1257 12 0 0 25 0 1 0 188331549 32124928 7412 1992294400 134512640 135709839 4294956240 18446744073709551615 134600539 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 7843 7412 136 292 0 7548 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31372 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1819568/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=41464 CPUtime=25.48 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 9960 0 0 0 2526 22 0 0 25 0 1 0 188331549 42459136 9917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 10366 9917 136 292 0 10071 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41464 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1782000/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=79336 CPUtime=51.07 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 19433 0 0 0 5064 43 0 0 25 0 1 0 188331549 81240064 19390 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 19834 19390 136 292 0 19539 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79336 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1702320/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=157940 CPUtime=102.25 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 39081 0 0 0 10143 82 0 0 25 0 1 0 188331549 161730560 39038 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 39485 39038 136 292 0 39190 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 157940 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1630384/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=231216 CPUtime=162.22 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 57365 0 0 0 16099 123 0 0 25 0 1 0 188331549 236765184 57322 1992294400 134512640 135709839 4294956240 18446744073709551615 134516532 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 57804 57322 136 292 0 57509 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 231216 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1617712/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=242336 CPUtime=222.21 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 60207 0 0 0 22064 157 0 0 25 0 1 0 188331549 248152064 60136 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 60584 60136 136 292 0 60289 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 242336 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10404 /proc/meminfo: memFree=1553392/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=307648 CPUtime=282.18 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 76541 0 0 0 28023 195 0 0 25 0 1 0 188331549 315031552 76470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 76912 76470 136 292 0 76617 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 307648 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1480176/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=379616 CPUtime=342.16 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 94503 0 0 0 33981 235 0 0 25 0 1 0 188331549 388726784 94432 1992294400 134512640 135709839 4294956240 18446744073709551615 134572842 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 94904 94432 136 292 0 94609 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 379616 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1413040/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=447220 CPUtime=402.14 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 111414 0 0 0 39942 272 0 0 25 0 1 0 188331549 457953280 111343 1992294400 134512640 135709839 4294956240 18446744073709551615 134574234 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 111805 111343 136 292 0 111510 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 447220 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1339824/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=519576 CPUtime=462.11 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 129486 0 0 0 45897 314 0 0 25 0 1 0 188331549 532045824 129415 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 129894 129415 136 292 0 129599 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 519576 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1274160/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=585644 CPUtime=522.09 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 146003 0 0 0 51857 352 0 0 25 0 1 0 188331549 599699456 145932 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 146411 145932 136 292 0 146116 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 585644 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1203632/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=655804 CPUtime=582.07 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 163519 0 0 0 57818 389 0 0 25 0 1 0 188331549 671543296 163448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 163951 163448 136 292 0 163656 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 655804 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=1133040/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=725728 CPUtime=642.04 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 181018 0 0 0 63778 426 0 0 25 0 1 0 188331549 743145472 180947 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 181432 180947 136 292 0 181137 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 725728 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=884144/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=974236 CPUtime=881.94 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 243119 0 0 0 87632 562 0 0 25 0 1 0 188331549 997617664 243048 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 243559 243048 136 292 0 243264 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 974236 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=836016/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1022800 CPUtime=941.93 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 255229 0 0 0 93601 592 0 0 25 0 1 0 188331549 1047347200 255158 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 255700 255158 136 292 0 255405 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 1022800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=784048/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1074352 CPUtime=1001.89 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 268136 0 0 0 99568 621 0 0 25 0 1 0 188331549 1100136448 268065 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 268588 268065 136 292 0 268293 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1074352 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=731120/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1127468 CPUtime=1061.88 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 281398 0 0 0 105539 649 0 0 25 0 1 0 188331549 1154527232 281327 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 281867 281327 136 292 0 281572 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 1127468 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=678256/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1179892 CPUtime=1121.85 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 294516 0 0 0 111505 680 0 0 25 0 1 0 188331549 1208209408 294445 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 294973 294445 136 292 0 294678 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 1179892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=614128/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1244708 CPUtime=1181.82 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 310679 0 0 0 117465 717 0 0 25 0 1 0 188331549 1274580992 310608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 311177 310608 136 292 0 310882 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1244708 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=554480/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1303688 CPUtime=1241.8 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 325429 0 0 0 123428 752 0 0 25 0 1 0 188331549 1334976512 325358 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 325922 325358 136 292 0 325627 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1303688 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=498928/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1358468 CPUtime=1301.78 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 339128 0 0 0 129394 784 0 0 25 0 1 0 188331549 1391071232 339057 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 339617 339057 136 292 0 339322 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1358468 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=437808/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1419904 CPUtime=1361.75 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 354474 0 0 0 135359 816 0 0 25 0 1 0 188331549 1453981696 354403 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 354976 354403 136 292 0 354681 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1419904 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=387248/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1470096 CPUtime=1421.73 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 367007 0 0 0 141328 845 0 0 25 0 1 0 188331549 1505378304 366936 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 367524 366936 136 292 0 367229 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1470096 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=341296/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1516532 CPUtime=1481.7 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 378594 0 0 0 147298 872 0 0 25 0 1 0 188331549 1552928768 378523 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 379133 378523 136 292 0 378838 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1516532 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=291312/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1565928 CPUtime=1541.68 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 390955 0 0 0 153267 901 0 0 25 0 1 0 188331549 1603510272 390884 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 391482 390884 136 292 0 391187 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1565928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=248624/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1608884 CPUtime=1601.65 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 401668 0 0 0 159238 927 0 0 25 0 1 0 188331549 1647497216 401597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 402221 401597 136 292 0 401926 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 1608884 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=207024/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1650124 CPUtime=1661.63 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 411973 0 0 0 165216 947 0 0 25 0 1 0 188331549 1689726976 411902 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 412531 411902 136 292 0 412236 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1650124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=166384/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1691320 CPUtime=1721.6 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 422267 0 0 0 171190 970 0 0 25 0 1 0 188331549 1731911680 422196 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 422830 422196 136 292 0 422535 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1691320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=103664/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1753260 CPUtime=1781.58 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 437770 0 0 0 177153 1005 0 0 25 0 1 0 188331549 1795338240 437699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 438315 437699 136 292 0 438020 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1753260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=83888/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=1772680 CPUtime=1800.07 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4194304 442607 0 0 0 178993 1014 0 0 25 0 1 0 188331549 1815224320 442536 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 443170 442536 136 292 0 442875 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1772680 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: 1.00 1.00 1.00 2/65 10410 /proc/meminfo: memFree=83888/2055920 swapFree=4191900/4192956 [pid=10403] ppid=10401 vsize=0 CPUtime=1800.27 /proc/10403/stat : 10403 (wbo) R 10401 10403 8145 0 -1 4195332 442608 0 0 0 178993 1034 0 0 25 0 1 0 188331549 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/10403/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.06 CPU time (s): 1800.33 CPU user time (s): 1789.93 CPU system time (s): 10.3994 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 1772680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.93 system time used= 10.3994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 442608 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= 7172 runsolver used 1.58076 second user time and 4.98324 second system time The end
Begin job on node45 at 2009-06-17 04:55:46 IDJOB=1875401 IDBENCH=48241 IDSOLVER=698 FILE ID=node45/1875401-1245207345 PBS_JOBID= 9368363 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_2.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-1875401-1245207345/watcher-1875401-1245207345 -o /tmp/evaluation-result-1875401-1245207345/solver-1875401-1245207345 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875401-1245207345.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED=2003435951 node45.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.240 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.240 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: 1859728 kB Buffers: 20152 kB Cached: 89592 kB SwapCached: 416 kB Active: 17396 kB Inactive: 105788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859728 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2440 kB Writeback: 0 kB Mapped: 21816 kB Slab: 59076 kB Committed_AS: 185280 kB PageTables: 1384 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-1875401-1245207345.opb Free space on /tmp at the end= 66172 MiB End job on node45 at 2009-06-17 05:25:48