Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| npSolver inc-topdown-quickBound | ? (TO) | 1800.05 | 1800.91 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo |
| MD5SUM | e84f9fd9c38a67d9707b8aa628966b83 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 674555 |
| Best CPU time to get the best result obtained on this benchmark | 208.351 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 418 |
| Total number of constraints | 818 |
| Number of soft constraints | 779 |
| Number of constraints which are clauses | 779 |
| Number of constraints which are cardinality constraints (but not clauses) | 39 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 2939907 |
| Min constraint cost | 1 |
| Max constraint cost | 2939907 |
| Sum of constraints costs | 1138582091 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 20 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c run usual solver 0.00/0.03 o 884937 0.00/0.03 c starting approximation 0.00/0.03 c factor = 2 0.00/0.03 c factor still to low - shrinking to 2068.1 0.00/0.03 c approx number of clauses: 1e+06 0.00/0.03 c current bound: 442468 0.00/0.19 c leaving approximation 0.00/0.19 c finished approximation 0.00/0.19 c fallback to adder encoding 23.66/23.76 o 884882 23.66/23.76 c fallback to adder encoding 31.46/31.55 o 884822 31.46/31.55 c fallback to adder encoding 51.05/51.16 o 884796 51.05/51.16 c fallback to adder encoding 57.55/57.66 o 884374 57.55/57.66 c fallback to adder encoding 78.34/78.47 o 884340 78.34/78.47 c fallback to adder encoding 92.95/93.07 o 883840 92.95/93.07 c fallback to adder encoding 100.45/100.57 o 883211 100.45/100.57 c fallback to adder encoding 112.14/112.25 o 882972 112.14/112.25 c fallback to adder encoding 123.73/123.80 o 882645 123.73/123.80 c fallback to adder encoding 136.74/136.86 o 882521 136.74/136.86 c fallback to adder encoding 149.65/149.74 o 882492 149.65/149.74 c fallback to adder encoding 155.92/156.04 o 876379 155.92/156.04 c fallback to adder encoding 167.34/167.48 o 874619 167.34/167.48 c fallback to adder encoding 180.72/180.81 o 874580 180.72/180.81 c fallback to adder encoding 192.33/192.40 o 873539 192.33/192.40 c fallback to adder encoding 213.02/213.12 o 872830 213.02/213.12 c fallback to adder encoding 230.09/230.21 o 872096 230.09/230.21 c fallback to adder encoding 250.61/250.77 o 871663 250.61/250.77 c fallback to adder encoding 253.41/253.58 o 871586 253.41/253.58 c fallback to adder encoding 258.59/258.70 o 870350 258.59/258.70 c fallback to adder encoding 266.41/266.52 o 870320 266.41/266.52 c fallback to adder encoding 273.69/273.81 o 869065 273.69/273.81 c fallback to adder encoding 291.50/291.67 o 868771 291.50/291.67 c fallback to adder encoding 304.40/304.54 o 868751 304.40/304.54 c fallback to adder encoding 311.88/312.07 o 867828 311.88/312.07 c fallback to adder encoding 323.59/323.72 o 867719 323.59/323.72 c fallback to adder encoding 337.26/337.40 o 864396 337.26/337.40 c fallback to adder encoding 359.99/360.14 o 863158 359.99/360.14 c fallback to adder encoding 364.36/364.50 o 863015 364.36/364.50 c fallback to adder encoding 380.07/380.24 o 861708 380.07/380.24 c fallback to adder encoding 390.06/390.21 o 861582 390.06/390.21 c fallback to adder encoding 395.07/395.24 o 861358 395.07/395.24 c fallback to adder encoding 412.37/412.51 o 859547 412.37/412.51 c fallback to adder encoding 425.26/425.44 o 859457 425.26/425.44 c fallback to adder encoding 436.25/436.43 o 858966 436.25/436.43 c fallback to adder encoding 454.07/454.24 o 858117 454.07/454.24 c fallback to adder encoding 465.35/465.55 o 856679 465.35/465.55 c fallback to adder encoding 480.34/480.56 o 855107 480.34/480.56 c fallback to adder encoding 485.45/485.68 o 850968 485.45/485.68 c fallback to adder encoding 499.32/499.51 o 849662 499.32/499.51 c fallback to adder encoding 510.34/510.56 o 848389 510.34/510.56 c fallback to adder encoding 519.63/519.83 o 847167 519.63/519.83 c fallback to adder encoding 532.72/532.97 o 847104 532.72/532.97 c fallback to adder encoding 545.12/545.36 o 846990 545.12/545.36 c fallback to adder encoding 553.13/553.34 o 846705 553.13/553.34 c fallback to adder encoding 564.82/565.06 o 846307 564.82/565.06 c fallback to adder encoding 573.60/573.84 o 846172 573.60/573.84 c fallback to adder encoding 582.10/582.36 o 845598 582.10/582.36 c fallback to adder encoding 592.01/592.24 o 844833 592.01/592.24 c fallback to adder encoding 609.59/609.89 o 843863 609.59/609.89 c fallback to adder encoding 621.98/622.20 o 842079 621.98/622.20 c fallback to adder encoding 634.68/634.92 o 842054 634.68/634.92 c fallback to adder encoding 637.79/638.09 o 841568 637.79/638.09 c fallback to adder encoding 658.97/659.25 o 840185 658.97/659.25 c fallback to adder encoding 661.76/662.00 o 839196 661.76/662.00 c fallback to adder encoding 668.79/669.08 o 839162 668.79/669.08 c fallback to adder encoding 680.08/680.37 o 838263 680.08/680.37 c fallback to adder encoding 692.37/692.67 o 837669 692.37/692.67 c fallback to adder encoding 714.78/715.03 o 837394 714.78/715.03 c fallback to adder encoding 727.97/728.26 o 837179 727.97/728.26 c fallback to adder encoding 749.25/749.57 o 835616 749.25/749.57 c fallback to adder encoding 755.66/755.96 o 835466 755.66/755.96 c fallback to adder encoding 770.55/770.88 o 835165 770.55/770.88 c fallback to adder encoding 788.45/788.78 o 834529 788.45/788.78 c fallback to adder encoding 811.83/812.17 o 833558 811.83/812.17 c fallback to adder encoding 827.12/827.46 o 832444 827.12/827.46 c fallback to adder encoding 841.62/841.96 o 831312 841.62/841.96 c fallback to adder encoding 858.50/858.81 o 828858 858.50/858.81 c fallback to adder encoding 871.62/871.93 o 828119 871.62/871.93 c fallback to adder encoding 889.71/890.08 o 828015 889.71/890.08 c fallback to adder encoding 898.40/898.74 o 823407 898.40/898.74 c fallback to adder encoding 908.20/908.52 o 823071 908.20/908.52 c fallback to adder encoding 917.40/917.79 o 822618 917.40/917.79 c fallback to adder encoding 932.79/933.19 o 822440 932.79/933.19 c fallback to adder encoding 940.19/940.51 o 822311 940.19/940.51 c fallback to adder encoding 959.29/959.64 o 822210 959.29/959.64 c fallback to adder encoding 978.88/979.25 o 820969 978.88/979.25 c fallback to adder encoding 986.88/987.25 o 820025 986.88/987.25 c fallback to adder encoding 1000.08/1000.46 o 819679 1000.08/1000.46 c fallback to adder encoding 1006.78/1007.14 o 819644 1006.78/1007.14 c fallback to adder encoding 1014.46/1014.85 o 819635 1014.46/1014.85 c fallback to adder encoding 1021.15/1021.51 o 818526 1021.15/1021.51 c fallback to adder encoding 1038.35/1038.78 o 817756 1038.35/1038.78 c fallback to adder encoding 1057.65/1058.01 o 817613 1057.65/1058.01 c fallback to adder encoding 1073.74/1074.14 o 817464 1073.74/1074.14 c fallback to adder encoding 1079.74/1080.12 o 817148 1079.74/1080.12 c fallback to adder encoding 1087.42/1087.81 o 816092 1087.42/1087.81 c fallback to adder encoding 1097.63/1098.09 o 814318 1097.63/1098.09 c fallback to adder encoding 1107.63/1108.03 o 813406 1107.63/1108.03 c fallback to adder encoding 1122.72/1123.14 o 813304 1122.72/1123.14 c fallback to adder encoding 1138.41/1138.88 o 810817 1138.41/1138.88 c fallback to adder encoding 1149.42/1149.90 o 809746 1149.42/1149.90 c fallback to adder encoding 1155.60/1156.09 o 808637 1155.60/1156.09 c fallback to adder encoding 1164.01/1164.40 o 807648 1164.01/1164.40 c fallback to adder encoding 1173.69/1174.14 o 804500 1173.69/1174.14 c fallback to adder encoding 1183.21/1183.67 o 804286 1183.21/1183.67 c fallback to adder encoding 1195.79/1196.27 o 802861 1195.79/1196.27 c fallback to adder encoding 1202.17/1202.66 o 802808 1202.17/1202.66 c fallback to adder encoding 1208.19/1208.60 o 801821 1208.19/1208.60 c fallback to adder encoding 1212.07/1212.55 o 799274 1212.07/1212.55 c fallback to adder encoding 1214.36/1214.83 o 797734 1214.36/1214.83 c fallback to adder encoding 1228.75/1229.28 o 796832 1228.75/1229.28 c fallback to adder encoding 1234.14/1234.69 o 795108 1234.14/1234.69 c fallback to adder encoding 1251.13/1251.66 o 794530 1251.13/1251.66 c fallback to adder encoding 1259.32/1259.86 o 793679 1259.32/1259.86 c fallback to adder encoding 1275.82/1276.30 o 793101 1275.82/1276.30 c fallback to adder encoding 1285.42/1285.99 o 788967 1285.42/1285.99 c fallback to adder encoding 1291.40/1291.99 o 788665 1291.40/1291.99 c fallback to adder encoding 1303.58/1304.10 o 788635 1303.58/1304.10 c fallback to adder encoding 1318.59/1319.19 o 787807 1318.59/1319.19 c fallback to adder encoding 1330.28/1330.82 o 786996 1330.28/1330.82 c fallback to adder encoding 1344.28/1344.82 o 785930 1344.28/1344.82 c fallback to adder encoding 1350.05/1350.64 o 784202 1350.05/1350.64 c fallback to adder encoding 1375.16/1375.79 o 783713 1375.16/1375.79 c fallback to adder encoding 1383.95/1384.53 o 782343 1383.95/1384.53 c fallback to adder encoding 1390.84/1391.47 o 781212 1390.84/1391.47 c fallback to adder encoding 1397.64/1398.28 o 779307 1397.64/1398.28 c fallback to adder encoding 1407.64/1408.20 o 779237 1407.64/1408.20 c fallback to adder encoding 1429.63/1430.26 o 778565 1429.63/1430.26 c fallback to adder encoding 1441.42/1442.08 o 778053 1441.42/1442.08 c fallback to adder encoding 1449.91/1450.51 o 776104 1449.91/1450.51 c fallback to adder encoding 1459.79/1460.42 o 774675 1459.79/1460.42 c fallback to adder encoding 1463.51/1464.10 o 774206 1463.51/1464.10 c fallback to adder encoding 1470.86/1471.50 o 772484 1470.86/1471.50 c fallback to adder encoding 1486.68/1487.39 o 772311 1486.68/1487.39 c fallback to adder encoding 1502.96/1503.61 o 772119 1502.96/1503.61 c fallback to adder encoding 1507.67/1508.34 o 771479 1507.67/1508.34 c fallback to adder encoding 1519.76/1520.48 o 769827 1519.76/1520.48 c fallback to adder encoding 1531.76/1532.44 o 769003 1531.76/1532.44 c fallback to adder encoding 1544.25/1544.93 o 768555 1544.25/1544.93 c fallback to adder encoding 1556.15/1556.84 o 768274 1556.15/1556.84 c fallback to adder encoding 1569.74/1570.42 o 768205 1569.74/1570.42 c fallback to adder encoding 1578.63/1579.32 o 767105 1578.63/1579.32 c fallback to adder encoding 1585.72/1586.43 o 766868 1585.72/1586.43 c fallback to adder encoding 1594.39/1595.11 o 766597 1594.39/1595.11 c fallback to adder encoding 1602.81/1603.52 o 765336 1602.81/1603.52 c fallback to adder encoding 1615.69/1616.45 o 765195 1615.69/1616.45 c fallback to adder encoding 1626.80/1627.55 o 764712 1626.80/1627.55 c fallback to adder encoding 1644.98/1645.76 o 764148 1644.98/1645.76 c fallback to adder encoding 1655.89/1656.69 o 762796 1655.89/1656.69 c fallback to adder encoding 1674.47/1675.27 o 762599 1674.47/1675.27 c fallback to adder encoding 1681.27/1682.08 o 761684 1681.27/1682.08 c fallback to adder encoding 1689.45/1690.25 o 761098 1689.45/1690.25 c fallback to adder encoding 1697.45/1698.25 o 761084 1697.45/1698.25 c fallback to adder encoding 1711.64/1712.49 o 760927 1711.64/1712.49 c fallback to adder encoding 1716.68/1717.52 o 760106 1716.68/1717.52 c fallback to adder encoding 1726.47/1727.33 o 759197 1726.47/1727.33 c fallback to adder encoding 1738.94/1739.80 o 758531 1738.94/1739.80 c fallback to adder encoding 1750.54/1751.40 o 758519 1750.54/1751.40 c fallback to adder encoding 1774.64/1775.52 o 757512 1774.64/1775.52 c fallback to adder encoding 1785.21/1786.11 o 757244 1785.21/1786.11 c fallback to adder encoding 1795.92/1796.81 o 756792 1795.92/1796.81 c fallback to adder encoding 1800.01/1800.90 ./satsolver.sh: line 5: 28285 Terminated ./glucose $1 > $2 2> /dev/null 1800.01/1800.90 c error: unexpected solver exit code 1800.01/1800.90 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715382-1338244268/watcher-3715382-1338244268 -o /tmp/evaluation-result-3715382-1338244268/solver-3715382-1338244268 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715382-1338244268.wbo 395688915 HOME HOME running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.91 1.92 1.90 3/179 27163 /proc/meminfo: memFree=30253692/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [startup+0.0315799 s] /proc/loadavg: 1.91 1.92 1.90 3/179 27163 /proc/meminfo: memFree=30253692/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.10026 s] /proc/loadavg: 1.91 1.92 1.90 3/179 27163 /proc/meminfo: memFree=30253692/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.3002 s] /proc/loadavg: 1.91 1.92 1.90 3/179 27163 /proc/meminfo: memFree=30253692/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700241 s] /proc/loadavg: 1.91 1.92 1.90 3/179 27163 /proc/meminfo: memFree=30253692/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50032 s] /proc/loadavg: 1.91 1.92 1.90 3/183 27184 /proc/meminfo: memFree=30232312/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=0.22 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 3982 13812 0 0 8 1 11 2 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27183] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27183/stat : 27183 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290552866 9367552 266 33554432000 4194304 5064252 140734654225760 140734654224672 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27183/statm: 2287 266 226 213 0 72 0 [pid=27184] ppid=27183 vsize=16756 CPUtime=1.25 cores=0,2,4,6 /proc/27184/stat : 27184 (glucose) R 27183 27163 22749 0 -1 4202496 4029 0 0 0 124 1 0 0 20 0 1 0 290552866 17158144 3667 33554432000 4194304 5208918 140736161152272 140736161150232 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27184/statm: 4189 3667 104 248 0 3938 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 45936 [startup+3.10035 s] /proc/loadavg: 1.91 1.92 1.90 3/183 27184 /proc/meminfo: memFree=30226164/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=0.22 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 3982 13812 0 0 8 1 11 2 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27183] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27183/stat : 27183 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290552866 9367552 266 33554432000 4194304 5064252 140734654225760 140734654224672 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27183/statm: 2287 266 226 213 0 72 0 [pid=27184] ppid=27183 vsize=22152 CPUtime=2.84 cores=0,2,4,6 /proc/27184/stat : 27184 (glucose) R 27183 27163 22749 0 -1 4202496 5174 0 0 0 283 1 0 0 20 0 1 0 290552866 22683648 5220 33554432000 4194304 5208918 140736161152272 140736161148584 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27184/statm: 5538 5220 104 248 0 5287 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 51332 [startup+6.30029 s] /proc/loadavg: 1.92 1.92 1.90 3/183 27184 /proc/meminfo: memFree=30221396/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=0.22 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 3982 13812 0 0 8 1 11 2 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27183] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27183/stat : 27183 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290552866 9367552 266 33554432000 4194304 5064252 140734654225760 140734654224672 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27183/statm: 2287 266 226 213 0 72 0 [pid=27184] ppid=27183 vsize=23828 CPUtime=6.04 cores=0,2,4,6 /proc/27184/stat : 27184 (glucose) R 27183 27163 22749 0 -1 4202496 5618 0 0 0 603 1 0 0 20 0 1 0 290552866 24399872 5639 33554432000 4194304 5208918 140736161152272 140736161148648 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27184/statm: 5957 5639 104 248 0 5706 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 53008 [startup+12.7004 s] /proc/loadavg: 1.92 1.92 1.90 3/183 27184 /proc/meminfo: memFree=30224952/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=0.22 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 3982 13812 0 0 8 1 11 2 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27183] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27183/stat : 27183 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290552866 9367552 266 33554432000 4194304 5064252 140734654225760 140734654224672 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27183/statm: 2287 266 226 213 0 72 0 [pid=27184] ppid=27183 vsize=31044 CPUtime=12.44 cores=0,2,4,6 /proc/27184/stat : 27184 (glucose) R 27183 27163 22749 0 -1 4202496 6206 0 0 0 1243 1 0 0 20 0 1 0 290552866 31789056 6739 33554432000 4194304 5208918 140736161152272 140736161150216 4228952 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27184/statm: 7761 6739 104 248 0 7510 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 60224 [startup+25.5004 s] /proc/loadavg: 1.94 1.93 1.91 3/183 27191 /proc/meminfo: memFree=30230928/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=23.78 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 5420 24723 0 0 12 2 2358 6 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27190] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27190/stat : 27190 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290555223 9367552 267 33554432000 4194304 5064252 140734815837696 140734815836608 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27190/statm: 2287 267 226 213 0 72 0 [pid=27191] ppid=27190 vsize=19172 CPUtime=1.68 cores=0,2,4,6 /proc/27191/stat : 27191 (glucose) R 27190 27163 22749 0 -1 4202496 4328 0 0 0 167 1 0 0 20 0 1 0 290555223 19632128 4338 33554432000 4194304 5208918 140736366527184 140736366525128 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27191/statm: 4793 4338 104 248 0 4542 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 48352 [startup+51.1004 s] /proc/loadavg: 1.96 1.93 1.91 3/183 27198 /proc/meminfo: memFree=30204884/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=31.57 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 6858 33328 0 0 16 3 3129 9 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27197] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27197/stat : 27197 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290556002 9367552 266 33554432000 4194304 5064252 140737202207984 140737202206896 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27197/statm: 2287 266 226 213 0 72 0 [pid=27198] ppid=27197 vsize=38100 CPUtime=19.48 cores=0,2,4,6 /proc/27198/stat : 27198 (glucose) R 27197 27163 22749 0 -1 4202496 6171 0 0 0 1947 1 0 0 20 0 1 0 290556002 39014400 9179 33554432000 4194304 5208918 140735126267680 140735126264056 4211540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27198/statm: 9525 9179 104 248 0 9274 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 67280 [startup+102.3 s] /proc/loadavg: 1.98 1.94 1.91 3/183 27233 /proc/meminfo: memFree=30221464/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=100.58 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 14048 82305 0 0 36 6 9990 26 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27232] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27232/stat : 27232 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290562904 9367552 266 33554432000 4194304 5064252 140734179896448 140734179895360 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/27232/statm: 2287 266 226 213 0 72 0 [pid=27233] ppid=27232 vsize=19272 CPUtime=1.67 cores=0,2,4,6 /proc/27233/stat : 27233 (glucose) R 27232 27163 22749 0 -1 4202496 4502 0 0 0 167 0 0 0 20 0 1 0 290562904 19734528 4313 33554432000 4194304 5208918 140736155731552 140736155729416 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/27233/statm: 4818 4313 104 248 0 4567 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 48452 [startup+162.3 s] /proc/loadavg: 2.04 1.96 1.91 3/183 27268 /proc/meminfo: memFree=30212384/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=156.04 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 21238 129958 0 0 56 9 15496 43 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27267] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.99 1.97 1.91 3/183 27985 /proc/meminfo: memFree=30183884/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1350.17 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 166476 1068026 0 0 454 74 134103 386 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=27984] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27984/stat : 27984 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290687910 9367552 265 33554432000 4194304 5064252 140733468947344 140733468946256 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/27984/statm: 2287 265 226 213 0 72 0 [pid=27985] ppid=27984 vsize=30872 CPUtime=11.6 cores=0,2,4,6 /proc/27985/stat : 27985 (glucose) R 27984 27163 22749 0 -1 4202496 5471 0 0 0 1159 1 0 0 20 0 1 0 290687911 31612928 6746 33554432000 4194304 5208918 140733303048992 140733303046984 4211632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/27985/statm: 7718 6746 104 248 0 7467 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 60052 [startup+1422.3 s] /proc/loadavg: 1.99 1.97 1.91 3/183 28020 /proc/meminfo: memFree=30190596/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1407.69 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 173666 1112939 0 0 473 77 139817 402 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28019] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28019/stat : 28019 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290693666 9367552 266 33554432000 4194304 5064252 140734072179728 140734072178640 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28019/statm: 2287 266 226 213 0 72 0 [pid=28020] ppid=28019 vsize=30804 CPUtime=14.04 cores=0,2,4,6 /proc/28020/stat : 28020 (glucose) R 28019 27163 22749 0 -1 4202496 5037 0 0 0 1404 0 0 0 20 0 1 0 290693666 31543296 5120 33554432000 4194304 5208918 140733655914048 140733655911992 4229456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28020/statm: 7701 5120 104 248 0 7450 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 59984 [startup+1482.3 s] /proc/loadavg: 1.99 1.97 1.91 3/183 28063 /proc/meminfo: memFree=30188364/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1470.94 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 182294 1166836 0 0 496 81 146098 419 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28062] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28062/stat : 28062 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290699997 9367552 265 33554432000 4194304 5064252 140734816195456 140734816194368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28062/statm: 2287 265 226 213 0 72 0 [pid=28063] ppid=28062 vsize=19400 CPUtime=10.73 cores=0,2,4,6 /proc/28063/stat : 28063 (glucose) R 28062 27163 22749 0 -1 4202496 5832 0 0 0 1072 1 0 0 20 0 1 0 290699997 19865600 4574 33554432000 4194304 5208918 140733251152192 140733251148504 4211049 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28063/statm: 4850 4574 104 248 0 4599 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 48580 [startup+1542.31 s] /proc/loadavg: 2.06 1.99 1.91 3/183 28098 /proc/meminfo: memFree=30188972/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1531.85 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 189484 1213250 0 0 516 83 152150 436 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28097] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28097/stat : 28097 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290706091 9367552 266 33554432000 4194304 5064252 140735306167168 140735306166080 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28097/statm: 2287 266 226 213 0 72 0 [pid=28098] ppid=28097 vsize=19396 CPUtime=9.8 cores=0,2,4,6 /proc/28098/stat : 28098 (glucose) R 28097 27163 22749 0 -1 4202496 5819 0 0 0 979 1 0 0 20 0 1 0 290706091 19861504 4573 33554432000 4194304 5208918 140736591602640 140736591600728 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28098/statm: 4849 4573 104 248 0 4598 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 48576 [startup+1602.3 s] /proc/loadavg: 2.02 1.99 1.91 3/183 28140 /proc/meminfo: memFree=30184756/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1594.47 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 198112 1265315 0 0 539 87 158367 454 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28139] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28139/stat : 28139 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290712357 9367552 267 33554432000 4194304 5064252 140733366287632 140733366286544 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28139/statm: 2287 267 226 213 0 72 0 [pid=28140] ppid=28139 vsize=23684 CPUtime=7.13 cores=0,2,4,6 /proc/28140/stat : 28140 (glucose) R 28139 27163 22749 0 -1 4202496 5527 0 0 0 712 1 0 0 20 0 1 0 290712358 24252416 5604 33554432000 4194304 5208918 140734892634160 140734892630536 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28140/statm: 5921 5604 104 248 0 5670 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 52864 [startup+1662.3 s] /proc/loadavg: 2.06 2.00 1.92 3/183 28175 /proc/meminfo: memFree=30181832/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1656.03 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 205302 1310506 0 0 558 91 164483 471 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28174] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28174/stat : 28174 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290718516 9367552 266 33554432000 4194304 5064252 140733577649136 140733577648048 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28174/statm: 2287 266 226 213 0 72 0 [pid=28175] ppid=28174 vsize=23728 CPUtime=5.55 cores=0,2,4,6 /proc/28175/stat : 28175 (glucose) R 28174 27163 22749 0 -1 4202496 4642 0 0 0 554 1 0 0 20 0 1 0 290718516 24297472 5616 33554432000 4194304 5208918 140733464113296 140733464109672 4229311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28175/statm: 5932 5616 104 248 0 5681 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 52908 [startup+1722.3 s] /proc/loadavg: 2.02 2.00 1.92 3/183 28217 /proc/meminfo: memFree=30181092/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1716.76 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 213930 1361601 0 0 580 95 170509 492 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28216] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28216/stat : 28216 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290724599 9367552 267 33554432000 4194304 5064252 140735262998480 140735262997392 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28216/statm: 2287 267 226 213 0 72 0 [pid=28217] ppid=28216 vsize=19448 CPUtime=4.71 cores=0,2,4,6 /proc/28217/stat : 28217 (glucose) R 28216 27163 22749 0 -1 4202496 5872 0 0 0 471 0 0 0 20 0 1 0 290724599 19914752 4092 33554432000 4194304 5208918 140737348670464 140737348666840 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28217/statm: 4862 4092 104 248 0 4611 0 Current children cumulated CPU time (s) 1721.47 Current children cumulated vsize (KiB) 48628 [startup+1782.3 s] /proc/loadavg: 2.01 2.00 1.92 3/184 28249 /proc/meminfo: memFree=30177932/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1774.7 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 219682 1400424 0 0 595 97 176274 504 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28248] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28248/stat : 28248 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290730398 9367552 267 33554432000 4194304 5064252 140736396972800 140736396971712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28248/statm: 2287 267 226 213 0 72 0 [pid=28249] ppid=28248 vsize=23600 CPUtime=6.72 cores=0,2,4,6 /proc/28249/stat : 28249 (glucose) R 28248 27163 22749 0 -1 4202496 5269 0 0 0 671 1 0 0 20 0 1 0 290730399 24166400 5592 33554432000 4194304 5208918 140733635312896 140733635309272 4211605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/28249/statm: 5900 5592 104 248 0 5649 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (KiB) 52780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 2.00 2.00 1.92 3/184 28337 /proc/meminfo: memFree=30230200/32873648 swapFree=6860/6860 [pid=27163] ppid=27161 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/27163/stat : 27163 (npSolver-wbo-It) S 27161 27163 22749 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290552842 9367552 275 33554432000 4194304 5064252 140733225019952 140733225018864 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27163/statm: 2287 275 233 213 0 72 0 [pid=27164] ppid=27163 vsize=10884 CPUtime=1795.98 cores=0,2,4,6 /proc/27164/stat : 27164 (npSolver-wbo) S 27163 27163 22749 0 -1 4202496 222558 1418168 0 0 603 98 178387 510 20 0 1 0 290552842 11145216 2127 33554432000 4194304 5990268 140736671764544 140736671755968 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/27164/statm: 2721 2127 182 439 0 2278 0 [pid=28284] ppid=27164 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/28284/stat : 28284 (satsolver.sh) S 27164 27163 22749 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290732528 9367552 267 33554432000 4194304 5064252 140735397639632 140735397638544 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/28284/statm: 2287 267 226 213 0 72 0 [pid=28285] ppid=28284 vsize=23756 CPUtime=4.03 cores=0,2,4,6 /proc/28285/stat : 28285 (glucose) R 28284 27163 22749 0 -1 4202496 4673 0 0 0 402 1 0 0 20 0 1 0 290732528 24326144 5349 33554432000 4194304 5208918 140733208058384 140733208054696 4229507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/28285/statm: 5939 5349 104 248 0 5688 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 52936 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.05 CPU user time (s): 1793.94 CPU system time (s): 6.11107 CPU usage (%): 99.9524 Max. virtual memory (cumulated for all children) (KiB): 90188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.94 system time used= 6.11107 maximum resident set size= 50336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1646389 page faults= 0 swaps= 0 block input operations= 0 block output operations= 792552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4993 involuntary context switches= 4825 runsolver used 5.9111 second user time and 14.9587 second system time The end
Begin job on node116 at 2012-05-29 00:31:08 IDJOB=3715382 IDBENCH=79446 IDSOLVER=2297 FILE ID=node116/3715382-1338244268 RUNJOBID= node116-1338233401-24068 PBS_JOBID= 14624642 Free space on /tmp= 71456 MiB SOLVER NAME= npSolver inc-topdown-quickBound BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715382-1338244268/watcher-3715382-1338244268 -o /tmp/evaluation-result-3715382-1338244268/solver-3715382-1338244268 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715382-1338244268.wbo 395688915 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e84f9fd9c38a67d9707b8aa628966b83 RANDOM SEED=395688915 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 30253956 kB Buffers: 448404 kB Cached: 1227636 kB SwapCached: 3232 kB Active: 1013460 kB Inactive: 748956 kB Active(anon): 76000 kB Inactive(anon): 8956 kB Active(file): 937460 kB Inactive(file): 740000 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103672 kB Dirty: 27416 kB Writeback: 0 kB AnonPages: 86904 kB Mapped: 13504 kB Shmem: 96 kB Slab: 718404 kB SReclaimable: 161028 kB SUnreclaim: 557376 kB KernelStack: 1528 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 212052 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71444 MiB End job on node116 at 2012-05-29 01:01:09