Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.29 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
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 | -27 |
Best CPU time to get the best result obtained on this benchmark | 1797 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
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) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
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-1875411-1245208620.opb. 0.00/0.00 c Instance file HOME/instance-1875411-1245208620.opb 0.00/0.00 c File size is 106648 bytes. 0.01/0.01 c Highest Coefficient sum: 200 0.01/0.01 c ============================[ Problem Statistics ]============================= 0.01/0.01 c | | 0.01/0.01 c | Parsing time: 0.02 s | 0.01/0.01 c | Number Variables: 1448 | 0.01/0.01 c | Number Clauses: 1448 | 0.01/0.01 c | Number Cardinality: 202 | 0.01/0.01 c | Number PB Constraints: 1248 | 0.01/0.01 c core #1 0.01/0.01 c Core size: 201 Core Weight: 1 Total Weight: -99 0.01/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 1548 2899 10884 | 5000 0 nan | 0.000 % | 0.01/0.03 c | 100 | 1548 2899 10884 | 5500 100 39 | 1.231 % | 0.01/0.04 c =============================================================================== 0.01/0.04 c core #2 0.01/0.04 c Core size: 258 Core Weight: 1 Total Weight: -98 0.01/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.01/0.05 c Learning 18 hard constraints 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 1636 2918 11114 | 5000 0 nan | 0.000 % | 0.01/0.07 c | 100 | 1635 2918 11114 | 5500 99 71 | 0.062 % | 0.01/0.09 c | 250 | 1621 2918 11114 | 6050 229 67 | 0.917 % | 0.09/0.13 c | 475 | 1607 2918 11114 | 6655 332 69 | 1.773 % | 0.19/0.20 c | 812 | 1595 2918 11114 | 7320 612 70 | 2.507 % | 0.19/0.30 c | 1318 | 1576 2918 11114 | 8052 1053 69 | 6.724 % | 0.39/0.46 c | 2077 | 1524 2918 11114 | 8857 1734 69 | 7.458 % | 0.69/0.73 c =============================================================================== 0.69/0.76 c core #3 0.69/0.76 c Core size: 379 Core Weight: 1 Total Weight: -97 0.69/0.76 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.77 c Learning 41 hard constraints 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1736 2960 12210 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 100 | 1736 2960 12210 | 5500 100 118 | 0.001 % | 0.79/0.83 c | 250 | 1736 2960 12210 | 6050 250 88 | 0.000 % | 0.79/0.87 c | 475 | 1736 2960 12210 | 6655 475 75 | 0.000 % | 0.89/0.95 c | 816 | 1736 2960 12210 | 7320 816 78 | 0.000 % | 0.99/1.07 c | 1322 | 1736 2960 12210 | 8052 1322 73 | 0.000 % | 1.19/1.26 c | 2081 | 1736 2960 12210 | 8857 2081 72 | 0.000 % | 1.49/1.54 c | 3239 | 1736 2960 12210 | 9743 3239 77 | 0.002 % | 1.99/2.01 c | 4948 | 1736 2960 12210 | 10717 4948 76 | 0.000 % | 2.69/2.78 c | 7511 | 1736 2960 12210 | 11789 7511 77 | 0.001 % | 3.98/4.03 c | 11355 | 1736 2960 12210 | 12968 11355 78 | 0.002 % | 5.89/5.99 c | 17121 | 1736 2960 12210 | 14265 10555 70 | 0.021 % | 9.09/9.15 c | 25770 | 1721 2960 12210 | 15692 7824 64 | 0.864 % | 13.68/13.75 c | 38745 | 1697 2960 12210 | 17261 9779 60 | 2.881 % | 18.89/18.92 c =============================================================================== 19.79/19.88 c core #4 19.79/19.88 c Core size: 1193 Core Weight: 1 Total Weight: -96 19.79/19.88 c Elapsed CPU time: 19.649 s Remaining CPU time: 1780.35 s 19.89/19.95 c Learning 542 hard constraints 19.89/19.95 c ============================[ Search Statistics ]============================== 19.89/19.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.89/19.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.89/19.95 c =============================================================================== 19.89/19.95 c | 0 | 1836 3503 29416 | 5000 0 nan | 0.000 % | 19.89/19.99 c | 100 | 1836 3503 29416 | 5500 100 142 | 0.001 % | 19.99/20.01 c | 251 | 1836 3503 29416 | 6050 251 111 | 0.000 % | 19.99/20.03 c | 476 | 1836 3503 29416 | 6655 476 63 | 0.000 % | 20.08/20.12 c | 822 | 1836 3503 29416 | 7320 822 89 | 0.000 % | 20.18/20.27 c | 1328 | 1836 3503 29416 | 8052 1328 96 | 0.000 % | 20.48/20.53 c | 2087 | 1836 3503 29416 | 8857 2087 94 | 0.000 % | 20.79/20.90 c | 3241 | 1836 3503 29416 | 9743 3241 96 | 0.000 % | 21.39/21.48 c | 4958 | 1836 3503 29416 | 10717 4958 98 | 0.000 % | 22.29/22.32 c | 7520 | 1836 3503 29416 | 11789 7520 102 | 0.000 % | 24.09/24.10 c | 11365 | 1836 3503 29416 | 12968 11365 102 | 0.000 % | 26.79/26.88 c | 17131 | 1836 3503 29416 | 14265 10487 97 | 0.000 % | 31.18/31.22 c | 25780 | 1836 3503 29416 | 15692 11809 96 | 0.000 % | 36.78/36.85 c | 38754 | 1836 3503 29416 | 17261 8737 83 | 0.000 % | 45.58/45.69 c | 58215 | 1836 3503 29416 | 18987 10598 77 | 0.000 % | 58.97/59.00 c | 87407 | 1836 3503 29416 | 20886 10554 69 | 0.000 % | 81.16/81.25 c | 131196 | 1836 3503 29416 | 22974 11047 71 | 0.000 % | 116.36/116.49 c | 196880 | 1836 3503 29416 | 25272 17965 83 | 0.000 % | 171.04/171.14 c | 295410 | 1836 3503 29416 | 27799 24753 86 | 0.000 % | 256.32/256.45 c | 443199 | 1435 3503 29416 | 30579 8070 61 | 21.841 % | 277.42/277.59 c =============================================================================== 290.62/290.78 c core #5 290.62/290.78 c Core size: 2121 Core Weight: 1 Total Weight: -95 290.62/290.78 c Elapsed CPU time: 288.507 s Remaining CPU time: 1511.49 s 291.22/291.32 c Learning 1292 hard constraints 291.22/291.32 c ============================[ Search Statistics ]============================== 291.22/291.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 291.22/291.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 291.22/291.32 c =============================================================================== 291.22/291.32 c | 0 | 1936 4796 138832 | 5000 0 nan | 0.000 % | 291.32/291.45 c | 100 | 1936 4796 138832 | 5500 100 193 | 0.000 % | 291.32/291.49 c | 250 | 1936 4796 138832 | 6050 250 138 | 0.000 % | 291.51/291.64 c | 475 | 1936 4796 138832 | 6655 475 96 | 0.000 % | 291.72/291.84 c | 826 | 1936 4796 138832 | 7320 826 102 | 0.000 % | 291.92/292.02 c | 1334 | 1936 4796 138832 | 8052 1334 99 | 0.000 % | 291.92/292.09 c | 2093 | 1936 4796 138832 | 8857 2093 68 | 0.000 % | 292.52/292.68 c | 3232 | 1936 4796 138832 | 9743 3232 93 | 0.000 % | 293.32/293.48 c | 4940 | 1936 4796 138832 | 10717 4940 105 | 0.000 % | 294.91/295.07 c | 7503 | 1936 4796 138832 | 11789 7503 108 | 0.000 % | 297.12/297.26 c | 11348 | 1936 4796 138832 | 12968 11348 107 | 0.000 % | 299.72/299.86 c | 17114 | 1936 4796 138832 | 14265 10410 100 | 0.000 % | 303.61/303.74 c | 25763 | 1936 4796 138832 | 15692 11804 92 | 0.000 % | 312.81/312.96 c | 38742 | 1936 4796 138832 | 17261 8807 115 | 0.000 % | 323.01/323.19 c | 58203 | 1936 4796 138832 | 18987 10172 88 | 0.000 % | 343.01/343.13 c | 87395 | 1936 4796 138832 | 20886 19567 98 | 0.000 % | 373.90/374.06 c | 131184 | 1936 4796 138832 | 22974 20569 92 | 0.000 % | 418.29/418.41 c | 196873 | 1936 4796 138832 | 25272 14924 93 | 0.000 % | 485.57/485.74 c | 295400 | 1936 4796 138832 | 27799 20029 88 | 0.000 % | 595.95/596.13 c | 443190 | 1936 4796 138832 | 30579 14978 129 | 0.000 % | 757.61/757.83 c | 664873 | 1936 4796 138832 | 33637 15000 84 | 0.000 % | 1008.04/1008.33 c | 997398 | 1936 4796 138832 | 37001 29541 115 | 0.000 % | 1365.26/1365.70 c | 1496186 | 1936 4796 138832 | 40701 13857 102 | 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-1875411-1245208620/watcher-1875411-1245208620 -o /tmp/evaluation-result-1875411-1245208620/solver-1875411-1245208620 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875411-1245208620.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 1695 /proc/meminfo: memFree=1798576/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=2776 CPUtime=0 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 188461793 2842624 230 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 694 230 126 292 0 372 0 [startup+0.014836 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1695 /proc/meminfo: memFree=1798576/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=2908 CPUtime=0.01 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 296 0 0 0 1 0 0 0 18 0 1 0 188461793 2977792 281 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 727 282 146 292 0 405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2908 [startup+0.101844 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1695 /proc/meminfo: memFree=1798576/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=3748 CPUtime=0.09 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 188461793 3837952 499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 937 499 136 292 0 642 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3748 [startup+0.30186 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1695 /proc/meminfo: memFree=1798576/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=4520 CPUtime=0.29 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 734 0 0 0 29 0 0 0 19 0 1 0 188461793 4628480 691 1992294400 134512640 135709839 4294956240 18446744073709551615 134563064 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 1130 691 136 292 0 835 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4520 [startup+0.701897 s] /proc/loadavg: 1.00 1.00 1.00 3/64 1695 /proc/meminfo: memFree=1798576/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=5564 CPUtime=0.69 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 1012 0 0 0 68 1 0 0 22 0 1 0 188461793 5697536 969 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 1391 969 136 292 0 1096 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5564 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1794600/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=6356 CPUtime=1.49 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 1196 0 0 0 147 2 0 0 25 0 1 0 188461793 6508544 1153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 1589 1153 136 292 0 1294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6356 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1792616/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=11004 CPUtime=3.09 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 2357 0 0 0 305 4 0 0 25 0 1 0 188461793 11268096 2314 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 2751 2314 136 292 0 2456 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11004 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1784104/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=18336 CPUtime=6.29 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 4191 0 0 0 621 8 0 0 25 0 1 0 188461793 18776064 4148 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 4584 4148 136 292 0 4289 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18336 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1770992/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=30640 CPUtime=12.69 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 7274 0 0 0 1252 17 0 0 25 0 1 0 188461793 31375360 7231 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 7660 7231 136 292 0 7365 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30640 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1758896/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=41592 CPUtime=25.48 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 10013 0 0 0 2520 28 0 0 25 0 1 0 188461793 42590208 9970 1992294400 134512640 135709839 4294956240 18446744073709551615 134600545 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 10398 9970 136 292 0 10103 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41592 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1730096/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=71224 CPUtime=51.07 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 17400 0 0 0 5057 50 0 0 25 0 1 0 188461793 72933376 17357 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 17806 17357 136 292 0 17511 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71224 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1668016/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=132448 CPUtime=102.27 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 32720 0 0 0 10136 91 0 0 25 0 1 0 188461793 135626752 32677 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 33112 32677 136 292 0 32817 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 132448 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1600368/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=200372 CPUtime=162.25 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 49690 0 0 0 16086 139 0 0 25 0 1 0 188461793 205180928 49647 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 50093 49647 136 292 0 49798 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 200372 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1533104/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=267340 CPUtime=222.23 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 66392 0 0 0 22036 187 0 0 25 0 1 0 188461793 273756160 66349 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 66835 66349 136 292 0 66540 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 267340 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1473840/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=327716 CPUtime=282.22 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 81480 0 0 0 28003 219 0 0 25 0 1 0 188461793 335581184 81437 1992294400 134512640 135709839 4294956240 18446744073709551615 134516659 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 81929 81437 136 292 0 81634 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 327716 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1469424/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=330524 CPUtime=342.21 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 82230 0 0 0 33971 250 0 0 25 0 1 0 188461793 338456576 82156 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 82631 82156 136 292 0 82336 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 330524 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1455984/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=344552 CPUtime=402.19 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 85762 0 0 0 39943 276 0 0 25 0 1 0 188461793 352821248 85688 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 86138 85688 136 292 0 85843 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 344552 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1411760/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=388308 CPUtime=462.18 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 96693 0 0 0 45906 312 0 0 25 0 1 0 188461793 397627392 96619 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 97077 96619 136 292 0 96782 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 388308 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1368432/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=431980 CPUtime=522.16 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 107608 0 0 0 51865 351 0 0 25 0 1 0 188461793 442347520 107534 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 107995 107534 136 292 0 107700 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 431980 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1314928/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=485096 CPUtime=582.15 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 120877 0 0 0 57832 383 0 0 25 0 1 0 188461793 496738304 120803 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 121274 120803 136 292 0 120979 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 485096 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1243888/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=555664 CPUtime=642.14 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 138505 0 0 0 63792 422 0 0 25 0 1 0 188461793 568999936 138431 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 138916 138431 136 292 0 138621 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 555664 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=1001072/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=798724 CPUtime=942.06 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 199229 0 0 0 93631 575 0 0 25 0 1 0 188461793 817893376 199155 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 199681 199155 136 292 0 199386 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 798724 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=946736/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=852852 CPUtime=1002.04 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 212734 0 0 0 99595 609 0 0 25 0 1 0 188461793 873320448 212660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 213213 212660 136 292 0 212918 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 852852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=891312/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=908760 CPUtime=1062.03 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 226726 0 0 0 105556 647 0 0 25 0 1 0 188461793 930570240 226652 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 227190 226652 136 292 0 226895 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 908760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=826096/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=973052 CPUtime=1122.02 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 242773 0 0 0 111512 690 0 0 25 0 1 0 188461793 996405248 242699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 243263 242699 136 292 0 242968 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 973052 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=763632/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1036536 CPUtime=1182 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 258652 0 0 0 117476 724 0 0 25 0 1 0 188461793 1061412864 258578 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 259134 258578 136 292 0 258839 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1036536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=699696/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1099788 CPUtime=1241.98 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 274459 0 0 0 123437 761 0 0 25 0 1 0 188461793 1126182912 274385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 274947 274385 136 292 0 274652 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1099788 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=645808/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1152752 CPUtime=1301.97 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 287698 0 0 0 129404 793 0 0 25 0 1 0 188461793 1180418048 287624 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 288188 287624 136 292 0 287893 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1152752 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=584176/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1214872 CPUtime=1361.96 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 303215 0 0 0 135367 829 0 0 25 0 1 0 188461793 1244028928 303141 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 303718 303141 136 292 0 303423 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1214872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=533040/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1265548 CPUtime=1421.95 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 315850 0 0 0 141333 862 0 0 25 0 1 0 188461793 1295921152 315776 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 316387 315776 136 292 0 316092 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1265548 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=497584/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1301096 CPUtime=1481.93 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 324744 0 0 0 147306 887 0 0 25 0 1 0 188461793 1332322304 324670 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 325274 324670 136 292 0 324979 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1301096 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=456688/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1341636 CPUtime=1541.92 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 334878 0 0 0 153279 913 0 0 25 0 1 0 188461793 1373835264 334804 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 335409 334804 136 292 0 335114 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1341636 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=422960/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1375780 CPUtime=1601.89 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 343372 0 0 0 159253 936 0 0 25 0 1 0 188461793 1408798720 343298 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 343945 343298 136 292 0 343650 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1375780 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=384240/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1414140 CPUtime=1661.88 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 352958 0 0 0 165226 962 0 0 25 0 1 0 188461793 1448079360 352884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 353535 352884 136 292 0 353240 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1414140 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=343280/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1455892 CPUtime=1721.87 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 363382 0 0 0 171199 988 0 0 25 0 1 0 188461793 1490833408 363308 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 363973 363308 136 292 0 363678 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1455892 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=296944/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1501508 CPUtime=1781.86 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 374794 0 0 0 177170 1016 0 0 25 0 1 0 188461793 1537544192 374720 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 375377 374720 136 292 0 375082 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1501508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 1696 /proc/meminfo: memFree=283824/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=1514216 CPUtime=1800.06 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4194304 377961 0 0 0 178981 1025 0 0 25 0 1 0 188461793 1550557184 377887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 378554 377887 136 292 0 378259 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1514216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1697 /proc/meminfo: memFree=939112/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=0 CPUtime=1800.16 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4195332 377962 0 0 0 178981 1035 0 0 25 0 1 0 188461793 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1697 /proc/meminfo: memFree=939112/2055920 swapFree=4181500/4192956 [pid=1695] ppid=1693 vsize=0 CPUtime=1800.26 /proc/1695/stat : 1695 (wbo) R 1693 1695 1590 0 -1 4195332 377962 0 0 0 178981 1045 0 0 25 0 1 0 188461793 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/1695/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.29 CPU user time (s): 1789.81 CPU system time (s): 10.4824 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1514216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.81 system time used= 10.4824 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 377962 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= 3549 runsolver used 1.13183 second user time and 3.98239 second system time The end
Begin job on node25 at 2009-06-17 05:17:00 IDJOB=1875411 IDBENCH=48251 IDSOLVER=698 FILE ID=node25/1875411-1245208620 PBS_JOBID= 9368401 Free space on /tmp= 66312 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.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-1875411-1245208620/watcher-1875411-1245208620 -o /tmp/evaluation-result-1875411-1245208620/solver-1875411-1245208620 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875411-1245208620.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED=732303789 node25.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.238 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.238 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: 1799184 kB Buffers: 56304 kB Cached: 123384 kB SwapCached: 5884 kB Active: 79872 kB Inactive: 108376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799184 kB SwapTotal: 4192956 kB SwapFree: 4181500 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 13652 kB Slab: 54564 kB Committed_AS: 213272 kB PageTables: 1464 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-1875411-1245208620.opb Free space on /tmp at the end= 66308 MiB End job on node25 at 2009-06-17 05:47:03